wiki:ThesesForDegrees.ja

Version 2 (modified by yonelab, 15 years ago) (diff)

--

英語

学位論文

博士論文
修士論文
学士論文

数字は年度を表しています。

博士論文

2007

  • Type Systems for Formal Verification of Concurrent Programs
    並行プログラムの形式的検証のための型システム
    (末永 幸平)
  • Formal Verification of Low-level Software
    低レベルソフトウェアの形式的な証明
    (マーティ ニコラ)

2005

  • Writing an Operating System with a Strictly Typed Assembly Language
    厳密に型付けされたアセンブリ言語を用いたオペレーティングシステムの記述
    (前田 俊行)
  • Middleware Systems for Enabling users to Adapt to Dynamic Changes in Execution Environments
    実行環境の動的な変化にユーザが適応することを可能にするためのミドルウェアシステム
    (金田 憲二)

2004

  • Implementation of a Fail-Safe ANSI C Compiler
    安全な ANSI C コンパイラの実装手法
    (大岩 寛)
  • Defending against Distributed Denial of Service Attacks
    分散サービス停止攻撃の対策方式
    (Eric Y. Chen)
  • Verification of Concurrent Programs using Proof Assistants
    定理証明器に基づく並行プログラムの検証
    (Reynald Affeldt)

2001

  • Scalable Dynamic Memory Management Module on Shared Memory Multiprocessors
    共有メモリ並列計算機上のスケーラブルな動的メモリ管理モジュール
    (遠藤 敏夫)

2000

  • Achieving High Performance for Parallel Programs that Contain Unscalable Modules
    スケーラブルでないモジュールを含む並列プログラムにおける高性能の達成
    (大山 恵弘)
  • Regular Expression Types for XML
    XMLのための正規表現型
    (細谷 晴夫)

1999

  • A Study on Mobile Language Systems
    モーバイル言語システムに関する研究
    (関口 龍郎)

1998

  • Analyses and Reduction of Operational Overhead in Computer-Assisted Drawing
    計算機支援の描画における操作負荷の分析と削減
    (河内谷 幸子)
  • Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages
    並行オブジェクト指向言語における自己反映アーキテクチャの設計と部分計算を用いたコンパイル方法
    (増原 英彦)

1997

  • Theoretical Properties and Efficient Satisfaction of Hierarchical Constraint Systems
    階層制約系の理論的性質と効率的解消法
    (細部 博史)
  • Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers
    分散記憶並列計算機のための効率的で再利用可能な細粒度マルチスレッディング及びゴミ集め
    (田浦 健次朗)

1996

  • Modularity and Composability in an Object-Oriented Library Framework for Parallel and Distributed Computation
    (佐藤 直人)
  • Concurrent Linear Logic Programming
    並行線形論理プログラミング
    (小林 直樹)

1994

  • New Methods to Analyze Japanese Morphemes and Dependency Structure AND Formalization of Rules to Derive Implied Meanings
    日本語形態素構文解析のための新手法 及び 含意導出規則の定式化
    (渕 武志)
  • Formal Models of Dialogue Participants
    対話行為者の形式的モデル
    (杉本 徹)
  • Label-Selective Lambda-Calculi and Transformation Calculi
    (Jacques Garrigue)
    Postscript file: A4 size, letter size (283k bytes each)

1993

  • A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications
    (八杉 昌宏)
    Postscript file: A4 size, letter size (590k bytes each)
  • Language Features for Extensibility and Re-use in Concurrent Object-Oriented Languages
    (松岡 聡)
    Postscript file: A4 size, letter size (923k bytes each)

1992

  • A Reflective Object-Oriented Concurrent Language for Distributed Environments
    分散環境におけるリフレクティブな並列オブジェクト指向言語
    (一杉 裕志)

修士論文

2007

  • Reactive Model Checking for Game Scenarios
    ゲームシナリオのための反応性の良いモデル検査
    (山崎 孝裕)
  • Design and Implementation of a Strongly Typed Intermediate Language for GCC
    GCC のための強く型付けされた中間言語の設計と実装
    (小田 泰)
  • Extending Alias Types with Separating
    Separating Implication による Alias Types の拡張
    (佐藤 春旗)
  • Automatic Parallelization of Purely Functional Programs with Estimation of Function Evaluation Cost
    関数評価のコストの推定を用いた純粋関数型言語の自動並列化
    (田中 英行)
  • Secure Information Flow for Resources
    リソースのための情報流解析
    (山下 諒蔵)

2006

  • Fast and Precise Code Clone Reduction by Incremental Analysis
    差分解析による高速かつ正確なコードクローンの解消
    (佐藤 秀明)
  • (島本 大輔)
  • Distributed System Test Bed by Virtualization of the View for OS Resources
    OS資源ビューの仮想化を用いた分散システムテストベッド
    (西川 賀樹)
  • Design and Implementation of Locality-Aware Distributed File System for Wide-Area Grid Environments
    (頓 楠)

2005

  • Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference
    型解析とモデル検査を組み合わせた非干渉性の反例発見法
    (海野 広志)
  • Continuation Join Point
    継続ジョインポイント
    (遠藤 侑介)
  • Application-Specific Virtual Environments for Migration and Checkpointing
    アプリケーションに特化した計算移動やチェックポインティングのための仮想環境
    (横山 陽介)
  • A Framework Using a Common Language to Build Program Verifiers for Low-Level Languages
    低級言語のプログラム検証器を構成するための共通言語を用いたフレームワーク
    (吉野 寿宏)

2004

  • A Bytecode Translation for Pointcut Description Based on Data Dependency
    データ間依存性に基づくポイントカット記述のためのバイトコード変換
    (大根田 裕一)
  • Design and Implementation of a Mobile Computing System Based on a CPU Emulator
    CPU エミュレータを用いた移動計算システムの設計と実装
    (尾上 浩一)
  • Translation of Tree-processing Programs into Stream-processing Programs Based on Ordered Linear Types
    順序付き線形型に基づく木構造処理プログラムからストリーム処理プログラムへの変換
    (末永 幸平)
  • An Aspect-oriented Language for Functional Programming
    アスペクト指向のための関数型プログラミング言語
    (立沢 秀晃)
  • An Integrated Approach to Assessing the Reliability of Large-Scale Protein-Protein Interaction Data
    大規模蛋白質間相互作用データの統合的な信頼性評価法
    (徳田 顕人)
  • A Fault-tolerant, Autonomic, Adaptive Search Engine
    耐故障性を備えた自律適応型検索エンジン
    (藤本 浩史)

2003

  • Model Checking for Computer Game Scenarios
    モデル検査理論のゲームシナリオへの適用
    (清木 昌)
  • Region-Based Memory Management for Dynamic Typed Language
    動的型付き言語のためのリージョン推論に基づくメモリ管理
    (永田 章人)
  • Designing and Implementing a Distributed Component Language with Transparent Mobility
    透明な移動が可能な分散コンポーネント言語の設計と実装
    (増山 隆)

2002

  • Implementing a Runtime System for Parallel and Distributed Computation on the Internet and Its Applications
    インターネット上の並列分散計算のための実行時システムとそのアプリケーションの実装
    (金田 憲二)
  • An Efficient Garbage Collector in the Presence of Ambiguous References
    曖昧なポインタの存在下での効率的なゴミ集め
    (小林 義徳)
  • Regular Expression Types for Strings in a Text Processing Language
    テキスト処理言語における文字列のための正規表現型
    (田淵 直)
  • Java Bytecode Transformation for Fine Grain CPU Resource Management
    Javaバイトコード変換による細粒度CPU資源管理
    (速水 雄太)
  • Resource Usage Analysis with References
    参照を扱った資源使用解析
    (水上 達夫)

2001

  • Supporting Object-Oriented Features in Run-time Bytecode Specialization
    実行時バイトコード特化のオブジェクト指向言語への拡張
    (レナルド・アフェルト)
  • A Self-organizing Hierarchical Network for Global Parallel Computing
    広域分散並列計算のための自己編成可能な階層的ネットワーク
    (上田 陽平)
  • Dynamic Thread Mapping for Distributed Data Intensive Applications
    分散データintensiveなアプリケーションのための動的スレッド配置
    (坂本 崇裕)
  • A Type System for Object Usage Analysis in Java Bytecode
    Javaバイトコードにおけるオブジェクトの使用解析のための型システム
    (浜中 信行)
  • Distributed web crawling with dynamically joining/leaving resources
    動的に増減する資源を利用した広域分散 web crawling
    (洪 淳祥)
  • Safe Execution of User Programs in Kernel Mode using Typed Assembly Language
    型付きアセンブリ言語を用いてユーザプログラムをカーネルモードで実行する方法
    (前田 俊行)
  • Designing a Virtual Machine Independent Compiler Interface
    仮想マシン独立なコンパイラインタフェースの設計
    (山内 裕史)

2000

  • A Java-based Language With Type-safe Dynamic Code Generation
    型安全な動的コード生成をサポートする Java の言語拡張
    (大岩 寛)
  • Evaluation of Expressiveness and Performance of OpenMP Using a Suite of SPLASH2 Applications
    SPLASH2アプリケーション集を用いたOpenMPの記述性と性能の評価
    (大角 周平)
  • Efficient Type Inference for the Quasi-linear type system
    擬似線形型システムの効率的な型推論
    (假家 英樹)
  • Implementation and Evaluation of Nested Parallelism in OpenMP
    OpenMPにおける入れ子並列性の実装と評価
    (田中 義純)
  • A Study on a Typed Process Calculus for Access Control in Distributed Computation
    分散計算におけるアクセスコントロールのための型付きプロセス計算の研究
    (星名 大輔)

1999

  • Dynamic accesss control of mobile objects by switching name spaces
    名前空間の切り替えによる移動オブジェクトの動的アクセス制御
    (今井 健男)
  • Lazy Task Creation with Stack Swapping to Improve Memory Locality
    メモリ局所性を高めるスタック交換方式を導入した遅延タスク生成
    (外山 純生)
  • An extension of C++ that supports thread migration with little loss of normal execution efficiency
    通常の実行効率を損わないスレッドマイグレーションが可能な C++
    (多賀 奈由太)

1998

  • Software-based Fine-grained Memory Protection Supporting Dynamic Changes of Attributes
    保護属性の動的変更が可能なソフトウェアによる細粒度メモリの保護
    (後藤 礼史)
  • Lazy Task Creation on Shared Memory Machines for C Programs
    共有メモリ並列計算機上におけるCプログラムのためのLazy Task Creation
    (田端 邦男)
  • Research on Effects of Mobile Object Programming with Describing Distributed Application
    移動オブジェクトプログラミングの分散処理記述による有効性の研究
    (人見 俊太郎)
  • Implementation of an Efficient and Reusable Distributed Garbage Collector and Evaluation of Its Performance
    効率的で再利用可能な分散GCライブラリの設計と性能評価
    (山本 泰宇)

1997

  • A Scalable Mark-Sweep Garbage Collector on Large-Scale Shared-Memory Machines
    大規模共有メモリマシン上のスケーラブルなマークスイープ法ガーベジコレクタ
    (遠藤 敏夫)
  • An Efficient Compilation Framework for Parallel Programming Languages Based on a Concurrent Process Calculus
    並行計算に基づく並列プログラミング言語のための効率的なコンパイルの枠組み
    (大山 恵弘)

1996

1995

1994

  • A Study on Debugging Schemes in Concurrent Programs on Massively Parallel Processors
    超並列計算機上の並列プログラム用デバッグ方式の研究
    (Tomio Kamada)
  • An Extension to a Parallel Constraint Logic Programming Language For Applications in Optimization Problems
    最適化問題への応用のための並列制約論理型言語の拡張
    (今野 和浩)
  • A Study on Structure of Concurrent Object-Oriented Languages
    並列オブジェクト指向言語の構造に関する研究
    (関口 龍郎)
  • Efficient Satisfaction of Constraint Hierarchies
    制約階層の効率的な解消法
    (細部 博史)

1993

  • Design and Implementation of Concurrent Object-Oriented Programming Languages on Stock Multicomputers
    並列オブジェクト指向言語のマルチコンピュータ上における設計および実装
    (田浦 健次朗)
    Postscript file: A4 size, letter size (375k bytes each)
  • Study on a Reflective Architecture to Provide Efficient Dynamic Resource Management for Highly-Parallel Object-Oriented Applications
    高並列オブジェクト指向アプリケーションのための効率のよい動的資源管理方式を提供する自己反映アーキテクチャの研究
    (増原 英彦)
    Postscript file: A4 size, letter size (278k bytes each)
  • Lexicon Acquisition in HPSG-based Grammars
    (鳥澤 健太郎)
  • An Application of Parallel Object-Oriented Methodology to Molecular Dynamics Simulation
    (Naohito Omori)
  • Compiler Design and Implementation Techniques for Parallel Constraint Logic Programming Languages
    並列制約論理型言語のコンパイラ設計と実装技法
    (長塚 雅明)
  • Interactive Generation of Graphical User Interfaces by Multiple Visual Examples
    複数の視覚的例による直接操作インターフェースの対話的実現
    (宮下 健)

1992

  • Asynchronous Communication Model based on Linear Logic
    線形論理に基づく非同期通信モデル
    (小林 直樹)
  • Dialogue System Based on Dynamical Constraint Programming
    力学制約プログラミングに基づいた対話システム
    (宮田 高志)
  • A Framework for Constructing Animations via Declarative Mapping Rules
    宣言的対応規則によるアニメーション作成のための枠組み
    (高橋 伸)
  • RNA Secondary Structure Prediction Using Highly Parallel Computer
    高並列計算機による RNA の2次構造予測
    (Yoshisato Takeda)
  • Parallel Conservative Garbage Collection with ``Almost Synchronization-free'' Fast Object Allocation
    同期のほぼ不要にオブジェクト割り付けの可能な Conservative Garbage Collection
    (古荘 進一)

1991

  • Model Checking of Finite State CSP
    有限状態 CSP のモデル検査
    (浅井 健一)
  • A Framework for Describing Mental States and their Dynamic Changes of Dialog Participants
    対話参加者の心的記述とその動的変化に関する枠組
    (村田 剛志)

学士論文

(under construction)