Changes between Version 4 and Version 5 of ThesesForDegrees.ja

Timestamp:

06/11/09 23:51:54 (16 years ago)

Author:

yonelab

Comment:

--

ThesesForDegrees.ja

@@ -106 +106 @@
 
 = 修士論文 = #master
+== 2008 ==
+ * A Distributed Storage System for Virtual Disk Management
+[[br]]
+ 仮想ディスク管理のための分散ストレージシステム[[br]]
+ ([/~osumi/ 
+大住 裕之])
+ * A Typed Assembly Language with Reference Counting
+[[br]]
+ 参照カウントを用いる型付きアセンブリ言語
+[[br]]
+ ([/~kosakai/ 小酒井 隆広])
+ * A Merging Facility for a Tree-Structured Versioning File System
+[[br]]
+ ツリー構造バージョン管理ファイルシステムのためのマージ機構[[br]]
+ ([/~takaki/ 
+高木 渉])
+
 == 2007 ==
  * Reactive Model Checking for Game Scenarios[[br]]
  ゲームシナリオのための反応性の良いモデル検査[[br]]
- ([/~koyu/ 山崎　孝裕])
+ ([/~koyu/ 山崎 孝裕])
  * Design and Implementation of a Strongly Typed Intermediate Language for GCC[[br]]
  GCC のための強く型付けされた中間言語の設計と実装[[br]]
- ([/~oda-ys/ 小田　泰])
+ ([/~oda-ys/ 小田 泰])
  * Extending Alias Types with Separating[[br]]
  Separating Implication による Alias Types の拡張[[br]]
- ([/~haruki/ 佐藤　春旗])
+ ([/~haruki/ 佐藤 春旗])
  * Automatic Parallelization of Purely Functional Programs with Estimation of Function Evaluation Cost[[br]]
  関数評価のコストの推定を用いた純粋関数型言語の自動並列化[[br]]
@@ -342 +359 @@
 
 = 学士論文 = #senior
+== 2008 ==
+ * Realizing Fairness in StackThreads/MP Scheme
+[[br]]
+ StackThreads/MP への公平性の導入[[br]]
+ ([/~uemura/ 
+植村 圭一朗])
+ * A Honeypot System Solving Dilemma Between Freedom and Restriction
+[[br]]
+ 攻撃者に与える自由と制約のジレンマを解消するハニーポットシステム[[br]]
+ ([/~tsuzuki/ 
+鈴木 友博])
+ * Extending Hoare Type Theory for Arrays[[br]]
+ 
+配列のためのホーア型理論の拡張
+[[br]]
+ ([/~ywtnb/ 渡邊 裕貴])
+
 == 2007 ==
  * Dependent Types in Imperative Programming Language[[br]]