{{{ #!html
英語
}}} = 学位論文 = #titleheading [#doctor 博士論文][[br]] [#master 修士論文][[br]] [#senior 学士論文] 数字は年度を表しています。 = 博士論文 = #doctor == 2007 == * Type Systems for Formal Verification of Concurrent Programs[[br]] 並行プログラムの形式的検証のための型システム[[br]] ([/~kohei/ 末永 幸平]) * Formal Verification of Low-level Software[[br]] 低レベルソフトウェアの形式的な証明[[br]] ([/~nicolas/ マーティ　ニコラ]) == 2005 == * Writing an Operating System with a Strictly Typed Assembly Language[[br]] 厳密に型付けされたアセンブリ言語を用いたオペレーティングシステムの記述[[br]] ([/~tosh/ 前田 俊行]) * Middleware Systems for Enabling users to Adapt to Dynamic Changes in Execution Environments[[br]] 実行環境の動的な変化にユーザが適応することを可能にするためのミドルウェアシステム[[br]] ([/~kaneda/ 金田 憲二]) == 2004 == * Implementation of a Fail-Safe ANSI C Compiler[[br]] 安全な ANSI C コンパイラの実装手法[[br]] ([/~oiwa/ 大岩 寛]) * Defending against Distributed Denial of Service Attacks[[br]] 分散サービス停止攻撃の対策方式[[br]] ([/~eric/ Eric Y. Chen]) * Verification of Concurrent Programs using Proof Assistants[[br]] 定理証明器に基づく並行プログラムの検証[[br]] ([/~affeldt/ Reynald Affeldt]) == 2001 == * Scalable Dynamic Memory Management Module on Shared Memory Multiprocessors[[br]] 共有メモリ並列計算機上のスケーラブルな動的メモリ管理モジュール[[br]] ([/~endo/ 遠藤 敏夫]) == 2000 == * Achieving High Performance for Parallel Programs that Contain Unscalable Modules[[br]] スケーラブルでないモジュールを含む並列プログラムにおける高性能の達成[[br]] ([/~oyama/ 大山 恵弘]) * Regular Expression Types for XML[[br]] XMLのための正規表現型[[br]] ([/~haruo/ 細谷 晴夫]) == 1999 == * A Study on Mobile Language Systems[[br]] モーバイル言語システムに関する研究[[br]] ([/~cocoa/ 関口 龍郎]) == 1998 == * Analyses and Reduction of Operational Overhead in Computer-Assisted Drawing[[br]] 計算機支援の描画における操作負荷の分析と削減[[br]] ([/~sachiko/ 河内谷 幸子]) * Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages[[br]] 並行オブジェクト指向言語における自己反映アーキテクチャの設計と部分計算を用いたコンパイル方法[[br]] ([/~masuhara 増原 英彦]) == 1997 == * Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems[[br]] 階層制約系の理論的性質と効率的解消法[[br]] ([/~detail/index-j.html 細部 博史]) * Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers[[br]] 分散記憶並列計算機のための効率的で再利用可能な細粒度マルチスレッディング及びゴミ集め[[br]] ([/~tau/home.html 田浦 健次朗]) == 1996 == * Modularity and Composability in an Object-Oriented Library Framework for Parallel and Distributed Computation[[br]] (佐藤 直人) * Concurrent Linear Logic Programming[[br]] 並行線形論理プログラミング[[br]] ([/~koba/home-j.html 小林 直樹]) == 1994 == * New Methods to Analyze Japanese Morphemes and Dependency Structure AND Formalization of Rules to Derive Implied Meanings[[br]] 日本語形態素構文解析のための新手法 及び 含意導出規則の定式化[[br]] (渕 武志) * Formal Models of Dialogue Participants[[br]] 対話行為者の形式的モデル[[br]] (杉本 徹) * Label-Selective Lambda-Calculi and Transformation Calculi[[br]] (Jacques Garrigue)[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/Garrigue-PhD-a4.ps.gz A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/Garrigue-PhD-letter.ps.gz letter size] (283k bytes each) == 1993 == * A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications[[br]] ([/~yasugi/home.html 八杉 昌宏])[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/YasugiThesis-TR94-07-a4.ps.Z A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/YasugiThesis-TR94-07-letter.ps.Z letter size] (590k bytes each) * Language Features for Extensibility and Re-use in Concurrent Object-Oriented Languages[[br]] (松岡 聡)[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/matsuoka-thesis-a4.ps.Z A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/matsuoka-thesis-letter.ps.Z letter size] (923k bytes each) == 1992 == * A Reflective Object-Oriented Concurrent Language for Distributed Environments[[br]] 分散環境におけるリフレクティブな並列オブジェクト指向言語[[br]] (一杉 裕志) = 修士論文 = #master == 2007 == * Reactive Model Checking for Game Scenarios[[br]] ゲームシナリオのための反応性の良いモデル検査[[br]] ([/~koyu/ 山崎　孝裕]) * Design and Implementation of a Strongly Typed Intermediate Language for GCC[[br]] GCC のための強く型付けされた中間言語の設計と実装[[br]] ([/~oda-ys/ 小田　泰]) * Extending Alias Types with Separating[[br]] Separating Implication による Alias Types の拡張[[br]] ([/~haruki/ 佐藤　春旗]) * Automatic Parallelization of Purely Functional Programs with Estimation of Function Evaluation Cost[[br]] 関数評価のコストの推定を用いた純粋関数型言語の自動並列化[[br]] ([/~tanakh/ 田中 英行]) * Secure Information Flow for Resources[[br]] リソースのための情報流解析[[br]] ([/~yamashita/ 山下 諒蔵]) == 2006 == * Fast and Precise Code Clone Reduction by Incremental Analysis[[br]] 差分解析による高速かつ正確なコードクローンの解消[[br]] ([/~hedkandi/ 佐藤 秀明]) * ([/~disk-ec7/ 島本 大輔]) * Distributed System Test Bed by Virtualization of the View for OS Resources[[br]] OS資源ビューの仮想化を用いた分散システムテストベッド[[br]] ([/~zbkt/ 西川 賀樹]) * Design and Implementation of Locality-Aware Distributed File System for Wide-Area Grid Environments[[br]] ([/~dunnan/ 頓 楠]) == 2005 == * Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference[[br]] 型解析とモデル検査を組み合わせた非干渉性の反例発見法[[br]] ([/~uhiro/ 海野 広志]) * Continuation Join Point[[br]] 継続ジョインポイント[[br]] ([/~mame/ 遠藤 侑介]) * Application-Specific Virtual Environments for Migration and Checkpointing[[br]] アプリケーションに特化した計算移動やチェックポインティングのための仮想環境[[br]] ([/~y_yoko/ 横山 陽介]) * A Framework Using a Common Language to Build Program Verifiers for Low-Level Languages[[br]] 低級言語のプログラム検証器を構成するための共通言語を用いたフレームワーク[[br]] ([/~tossy-2/ 吉野 寿宏]) == 2004 == * A Bytecode Translation for Pointcut Description Based on Data Dependency[[br]] データ間依存性に基づくポイントカット記述のためのバイトコード変換[[br]] ([/~oyuichi/ 大根田 裕一]) * Design and Implementation of a Mobile Computing System Based on a CPU Emulator[[br]] CPU エミュレータを用いた移動計算システムの設計と実装[[br]] ([/~koichi/ 尾上 浩一]) * Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Types[[br]] 順序付き線形型に基づく木構造処理プログラムからストリーム処理プログラムへの変換[[br]] ([/~kohei/ 末永 幸平]) * An Aspect-oriented Language for Functional Programming[[br]] アスペクト指向のための関数型プログラミング言語[[br]] ([/~hideaki/ 立沢 秀晃]) * An Integrated Approach to Assessing the Reliability of Large-Scale Protein-Protein Interaction Data[[br]] 大規模蛋白質間相互作用データの統合的な信頼性評価法[[br]] (徳田 顕人) * A Fault-tolerant, Autonomic, Adaptive Search Engine[[br]] 耐故障性を備えた自律適応型検索エンジン[[br]] (藤本 浩史) == 2003 == * Model Checking for Computer Game Scenarios[[br]] モデル検査理論のゲームシナリオへの適用[[br]] ([/~mass/ 清木 昌]) * Region-Based Memory Management for Dynamic Typed Language[[br]] 動的型付き言語のためのリージョン推論に基づくメモリ管理[[br]] ([/~ganat/ 永田 章人]) * Designing and Implementing a Distributed Component Language with Transparent Mobility[[br]] 透明な移動が可能な分散コンポーネント言語の設計と実装[[br]] ([/~tak/ 増山 隆]) == 2002 == * Implementing a Runtime System for Parallel and Distributed Computation on the Internet and Its Applications[[br]] インターネット上の並列分散計算のための実行時システムとそのアプリケーションの実装[[br]] ([/~kaneda/ 金田 憲二]) * An Efficient Garbage Collector in the Presence of Ambiguous References[[br]] 曖昧なポインタの存在下での効率的なゴミ集め[[br]] ([/~yoshinor/ 小林 義徳]) * Regular Expression Types for Strings in a Text Processing Language[[br]] テキスト処理言語における文字列のための正規表現型[[br]] ([/~tabee/ 田淵 直]) * Java Bytecode Transformation for Fine Grain CPU Resource Management[[br]] Javaバイトコード変換による細粒度CPU資源管理[[br]] ([/~hayami/ 速水 雄太]) * Resource Usage Analysis with References[[br]] 参照を扱った資源使用解析[[br]] ([/~tatsuo/ 水上 達夫]) == 2001 == * Supporting Object-Oriented Features in Run-time Bytecode Specialization[[br]] 実行時バイトコード特化のオブジェクト指向言語への拡張[[br]] ([/~affeldt/ レナルド・アフェルト]) * A Self-organizing Hierarchical Network for Global Parallel Computing[[br]] 広域分散並列計算のための自己編成可能な階層的ネットワーク[[br]] ([/~yohei/ 上田 陽平]) * Dynamic Thread Mapping for Distributed Data Intensive Applications[[br]] 分散データintensiveなアプリケーションのための動的スレッド配置[[br]] ([/~takas/ 坂本 崇裕]) * A Type System for Object Usage Analysis in Java Bytecode[[br]] Javaバイトコードにおけるオブジェクトの使用解析のための型システム[[br]] ([/~hamanaka/ 浜中 信行]) * Distributed web crawling with dynamically joining/leaving resources[[br]] 動的に増減する資源を利用した広域分散 web crawling[[br]] ([/~sshong/ 洪 淳祥]) * Safe Execution of User Programs in Kernel Mode using Typed Assembly Language[[br]] 型付きアセンブリ言語を用いてユーザプログラムをカーネルモードで実行する方法[[br]] ([/~tosh/ 前田 俊行]) * Designing a Virtual Machine Independent Compiler Interface[[br]] 仮想マシン独立なコンパイラインタフェースの設計[[br]] ([/~yamauchi/ 山内 裕史]) == 2000 == * A Java-based Language With Type-safe Dynamic Code Generation[[br]] 型安全な動的コード生成をサポートする Java の言語拡張[[br]] ([/~oiwa/ 大岩 寛]) * Evaluation of Expressiveness and Performance of OpenMP Using a Suite of SPLASH2 Applications[[br]] SPLASH2アプリケーション集を用いたOpenMPの記述性と性能の評価[[br]] ([/~shuhei/ 大角 周平]) * Efficient Type Inference for the Quasi-linear type system[[br]] 擬似線形型システムの効率的な型推論[[br]] ([/~kariya/ 假家 英樹]) * Implementation and Evaluation of Nested Parallelism in OpenMP[[br]] OpenMPにおける入れ子並列性の実装と評価[[br]] ([/~y-tanaka/ 田中 義純]) * A Study on a Typed Process Calculus for Access Control in Distributed Computation[[br]] 分散計算におけるアクセスコントロールのための型付きプロセス計算の研究[[br]] ([/~hoshina/ 星名 大輔]) == 1999 == * Dynamic accesss control of mobile objects by switching name spaces[[br]] 名前空間の切り替えによる移動オブジェクトの動的アクセス制御[[br]] ([/~takeo/ 今井 健男]) * Lazy Task Creation with Stack Swapping to Improve Memory Locality[[br]] メモリ局所性を高めるスタック交換方式を導入した遅延タスク生成[[br]] ([/~sumio/ 外山 純生]) * An extension of C++ that supports thread migration with little loss of normal execution efficiency[[br]] 通常の実行効率を損わないスレッドマイグレーションが可能な C++[[br]] ([/~nayuta/ 多賀 奈由太]) == 1998 == * Software-based Fine-grained Memory Protection Supporting Dynamic Changes of Attributes[[br]] 保護属性の動的変更が可能なソフトウェアによる細粒度メモリの保護[[br]] ([/~gotoh/ 後藤 礼史]) * Lazy Task Creation on Shared Memory Machines for C Programs[[br]] 共有メモリ並列計算機上におけるCプログラムのためのLazy Task Creation[[br]] ([/~tabata/index-j.html 田端 邦男]) * Research on Effects of Mobile Object Programming with Describing Distributed Application[[br]] 移動オブジェクトプログラミングの分散処理記述による有効性の研究[[br]] ([/~eye/ 人見 俊太郎]) * Implementation of an Efficient and Reusable Distributed Garbage Collector and Evaluation of Its Performance[[br]] 効率的で再利用可能な分散GCライブラリの設計と性能評価[[br]] ([/~ymmt/ 山本 泰宇]) == 1997 == * A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines[[br]] 大規模共有メモリマシン上のスケーラブルなマークスイープ法ガーベジコレクタ[[br]] ([/~endo/ 遠藤 敏夫]) * An Efficient Compilation Framework for Parallel Programming Languages Based on a Concurrent Process Calculus[[br]] 並行計算に基づく並列プログラミング言語のための効率的なコンパイルの枠組み[[br]] ([/~oyama/ 大山 恵弘]) == 1996 == * ([/~haruo/ 細谷 晴夫]) == 1995 == * ([/~shimizu/home.html 清水 智弘]) * ([http://platinum.ims.u-tokyo.ac.jp/~nakaya/index.htm 中谷 明弘]) == 1994 == * A Study on Debugging Schemes in Concurrent Programs on Massively Parallel Processors[[br]] 超並列計算機上の並列プログラム用デバッグ方式の研究[[br]] ([/~kamada/home.html Tomio Kamada]) * An Extension to a Parallel Constraint Logic Programming Language For Applications in Optimization Problems[[br]] 最適化問題への応用のための並列制約論理型言語の拡張[[br]] (今野 和浩) * A Study on Structure of Concurrent Object-Oriented Languages[[br]] 並列オブジェクト指向言語の構造に関する研究[[br]] ([/~cocoa/home.html 関口 龍郎]) * Efficient Satisfaction of Constraint Hierarchies[[br]] 制約階層の効率的な解消法[[br]] ([/~detail/index-j.html 細部 博史]) == 1993 == * Design and Implementation of Concurrent Object-Oriented Programming Languages on Stock Multicomputers[[br]] 並列オブジェクト指向言語のマルチコンピュータ上における設計および実装[[br]] ([/~tau/home.html 田浦 健次朗])[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-master-thesis-a4.ps.Z A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-master-thesis-letter.ps.Z letter size] (375k bytes each) * Study on a Reflective Architecture to Provide Efficient Dynamic Resource Management for Highly-Parallel Object-Oriented Applications[[br]] 高並列オブジェクト指向アプリケーションのための効率のよい動的資源管理方式を提供する自己反映アーキテクチャの研究[[br]] ([/~masuhara/home.html 増原 英彦])[[br]] Postscript file: [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-a4.ps.Z A4 size], [ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-letter.ps.Z letter size] (278k bytes each) * Lexicon Acquisition in HPSG-based Grammars[[br]] (鳥澤 健太郎) * An Application of Parallel Object-Oriented Methodology to Molecular Dynamics Simulation[[br]] (Naohito Omori) * Compiler Design and Implementation Techniques for Parallel Constraint Logic Programming Languages[[br]] 並列制約論理型言語のコンパイラ設計と実装技法[[br]] (長塚 雅明) * Interactive Generation of Graphical User Interfaces by Multiple Visual Examples[[br]] 複数の視覚的例による直接操作インターフェースの対話的実現[[br]] (宮下 健) == 1992 == * Asynchronous Communication Model based on Linear Logic[[br]] 線形論理に基づく非同期通信モデル[[br]] ([/~koba/home-j.html 小林 直樹]) * Dialogue System Based on Dynamical Constraint Programming[[br]] 力学制約プログラミングに基づいた対話システム[[br]] ([/~mya-u/home.html 宮田 高志]) * A Framework for Constructing Animations via Declarative Mapping Rules[[br]] 宣言的対応規則によるアニメーション作成のための枠組み[[br]] ([/~takahasi/home.html 高橋 伸]) * RNA Secondary Structure Prediction Using Highly Parallel Computer[[br]] 高並列計算機による RNA の２次構造予測[[br]] (Yoshisato Takeda) * Parallel Conservative Garbage Collection with !``Almost Synchronization-free!'' Fast Object Allocation[[br]] 同期のほぼ不要にオブジェクト割り付けの可能な Conservative Garbage Collection[[br]] ([/~furuso/home.html 古荘 進一]) == 1991 == * Model Checking of Finite State CSP[[br]] 有限状態 CSP のモデル検査[[br]] ([http://www.is.s.u-tokyo.ac.jp/~asai/ 浅井 健一]) * A Framework for Describing Mental States and their Dynamic Changes of Dialog Participants[[br]] 対話参加者の心的記述とその動的変化に関する枠組[[br]] (村田 剛志) = 学士論文 = #senior (under construction)