| 1 | {{{ |
| 2 | #!html |
| 3 | <div style="text-align: right"><a href="ThesesForDegrees.en">英語</a></div> |
| 4 | }}} |
| 5 | |
| 6 | = 学位論文 = #titleheading |
| 7 | [#doctor 博士論文][[br]] |
| 8 | [#master 修士論文][[br]] |
| 9 | [#senior 学士論文] |
| 10 | |
| 11 | 数字は年度を表しています。 |
| 12 | |
| 13 | = 博士論文 = #doctor |
| 14 | == 2007 == |
| 15 | * Type Systems for Formal Verification of Concurrent Programs[[br]] |
| 16 | 並行プログラムの形式的検証のための型システム[[br]] |
| 17 | ([/~kohei/ 末永 幸平]) |
| 18 | * Formal Verification of Low-level Software[[br]] |
| 19 | 低レベルソフトウェアの形式的な証明[[br]] |
| 20 | ([/~nicolas/ マーティ ニコラ]) |
| 21 | |
| 22 | == 2005 == |
| 23 | * Writing an Operating System with a Strictly Typed Assembly Language[[br]] |
| 24 | 厳密に型付けされたアセンブリ言語を用いたオペレーティングシステムの記述[[br]] |
| 25 | ([/~tosh/ 前田 俊行]) |
| 26 | * Middleware Systems for Enabling users to Adapt to Dynamic Changes in Execution Environments[[br]] |
| 27 | 実行環境の動的な変化にユーザが適応することを可能にするためのミドルウェアシステム[[br]] |
| 28 | ([/~kaneda/ 金田 憲二]) |
| 29 | |
| 30 | == 2004 == |
| 31 | * Implementation of a Fail-Safe ANSI C Compiler[[br]] |
| 32 | 安全な ANSI C コンパイラの実装手法[[br]] |
| 33 | ([/~oiwa/ 大岩 寛]) |
| 34 | * Defending against Distributed Denial of Service Attacks[[br]] |
| 35 | 分散サービス停止攻撃の対策方式[[br]] |
| 36 | ([/~eric/ Eric Y. Chen]) |
| 37 | * Verification of Concurrent Programs using Proof Assistants[[br]] |
| 38 | 定理証明器に基づく並行プログラムの検証[[br]] |
| 39 | ([/~affeldt/ Reynald Affeldt]) |
| 40 | |
| 41 | == 2001 == |
| 42 | * Scalable Dynamic Memory Management Module on Shared Memory Multiprocessors[[br]] |
| 43 | 共有メモリ並列計算機上のスケーラブルな動的メモリ管理モジュール[[br]] |
| 44 | ([/~endo/ 遠藤 敏夫]) |
| 45 | |
| 46 | == 2000 == |
| 47 | * Achieving High Performance for Parallel Programs that Contain Unscalable Modules[[br]] |
| 48 | スケーラブルでないモジュールを含む並列プログラムにおける高性能の達成[[br]] |
| 49 | ([/~oyama/ 大山 恵弘]) |
| 50 | * Regular Expression Types for XML[[br]] |
| 51 | XMLのための正規表現型[[br]] |
| 52 | ([/~haruo/ 細谷 晴夫]) |
| 53 | |
| 54 | == 1999 == |
| 55 | * A Study on Mobile Language Systems[[br]] |
| 56 | モーバイル言語システムに関する研究[[br]] |
| 57 | ([/~cocoa/ 関口 龍郎]) |
| 58 | |
| 59 | == 1998 == |
| 60 | * Analyses and Reduction of Operational Overhead in Computer-Assisted Drawing[[br]] |
| 61 | 計算機支援の描画における操作負荷の分析と削減[[br]] |
| 62 | ([/~sachiko/ 河内谷 幸子]) |
| 63 | * Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages[[br]] |
| 64 | 並行オブジェクト指向言語における自己反映アーキテクチャの設計と部分計算を用いたコンパイル方法[[br]] |
| 65 | ([/~masuhara 増原 英彦]) |
| 66 | |
| 67 | == 1997 == |
| 68 | * Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems[[br]] |
| 69 | 階層制約系の理論的性質と効率的解消法[[br]] |
| 70 | ([/~detail/index-j.html 細部 博史]) |
| 71 | * Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers[[br]] |
| 72 | 分散記憶並列計算機のための効率的で再利用可能な細粒度マルチスレッディング及びゴミ集め[[br]] |
| 73 | ([/~tau/home.html 田浦 健次朗]) |
| 74 | |
| 75 | == 1996 == |
| 76 | * Modularity and Composability in an Object-Oriented Library Framework for Parallel and Distributed Computation[[br]] |
| 77 | (佐藤 直人) |
| 78 | * Concurrent Linear Logic Programming[[br]] |
| 79 | 並行線形論理プログラミング[[br]] |
| 80 | ([/~koba/home-j.html 小林 直樹]) |
| 81 | |
| 82 | == 1994 == |
| 83 | * New Methods to Analyze Japanese Morphemes and Dependency Structure AND Formalization of Rules to Derive Implied Meanings[[br]] |
| 84 | 日本語形態素構文解析のための新手法 及び 含意導出規則の定式化[[br]] |
| 85 | (渕 武志) |
| 86 | * Formal Models of Dialogue Participants[[br]] |
| 87 | 対話行為者の形式的モデル[[br]] |
| 88 | (杉本 徹) |
| 89 | * Label-Selective Lambda-Calculi and Transformation Calculi[[br]] |
| 90 | (Jacques Garrigue)[[br]] |
| 91 | Postscript file: |
| 92 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/Garrigue-PhD-a4.ps.gz A4 size], |
| 93 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/Garrigue-PhD-letter.ps.gz letter size] (283k bytes each) |
| 94 | |
| 95 | == 1993 == |
| 96 | * A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications[[br]] |
| 97 | ([/~yasugi/home.html 八杉 昌宏])[[br]] |
| 98 | Postscript file: |
| 99 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/YasugiThesis-TR94-07-a4.ps.Z A4 size], |
| 100 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/YasugiThesis-TR94-07-letter.ps.Z letter size] (590k bytes each) |
| 101 | * Language Features for Extensibility and Re-use in Concurrent Object-Oriented Languages[[br]] |
| 102 | (松岡 聡)[[br]] |
| 103 | Postscript file: |
| 104 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/matsuoka-thesis-a4.ps.Z A4 size], |
| 105 | [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/matsuoka-thesis-letter.ps.Z letter size] (923k bytes each) |
| 106 | |
| 107 | |
| 108 | |
| 109 | == 1992 == |
| 110 | * A Reflective Object-Oriented Concurrent Language for Distributed Environments[[br]] |
| 111 | 分散環境におけるリフレクティブな並列オブジェクト指向言語[[br]] |
| 112 | (一杉 裕志) |
| 113 | |
| 114 | = 修士論文 = #master |
| 115 | (under construction) |
| 116 | |
| 117 | = 学士論文 = #senior |
| 118 | (under construction) |