学位論文

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

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

博士論文

2010

• Operating System Structures for High Performance Computer Clusters
  高性能計算機クラスタのためのオペレーティングシステム構成法
  (清水 正明)
• Rapidly Deployable, Scalable, and High-Performance Distributed File System for Data-Intensive Distributed Computing
  (頓 楠)

2009

• VMM-based Systems for Enhancing Application Security
  VMMを利用した アプリケーションプログラムの安全性を向上させるシステム
  (尾上 浩一)

2008

• Dependent Type Inference for Program Verification
  プログラム検証のための依存型推論
  (海野 広志)

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
  分散環境におけるリフレクティブな並列オブジェクト指向言語
  (一杉 裕志)

修士論文

2011

• Fine-Grain Multithread Framework for Divide-and-Conquer Applications on Distributed Memory Machines
  分割統治アプリケーションのための分散メモリ計算機向け細粒度マルチスレッド処理系
  (秋山 茂樹)
• Implementation of Inline Caching with Variables of Bytecode for Python
  バイトコード内の変数を用いたインラインキャッシングの Python への実装
  (池尻 拓朗)
• Deterministic Parallel Copying Garbage Collection
  決定的な並列コピーガベージコレクション
  (村田 雅之)

2010

• Programming Language Support for Multiple Mobile Ad Hoc Networks
  複数のモバイルアドホックネットワークのためのプログラミング言語サポート
  (鈴木 友博)
• Study on Proof of Type Preservation in CPS Transformation
  CPS 変換における型保存の証明に関する研究
  (渡邊 裕貴)

2009

• Stack Types with Bounded Existential Quantification
  境界つき存在量化子を用いたスタック型
  (飯塚 大輔)
• A Hybrid Virtual Machine Monitor for Implementing Flexible and High-Performance Security Mechanisms
  柔軟かつ高性能なセキュリティ機構を実装するためのハイブリッド仮想マシンモニタ
  (澤崎 純也)
• Parallelization of Safety Verification in SPIN Model Checker
  モデル検査器 SPIN における安全性検証の並列化
  (野尻 隆宏)

2008

• A Distributed Storage System for Virtual Disk Management
  仮想ディスク管理のための分散ストレージシステム
  (大住 裕之)
• A Typed Assembly Language with Reference Counting
  参照カウントを用いる型付きアセンブリ言語
  (小酒井 隆広)
• A Merging Facility for a Tree-Structured Versioning File System
  ツリー構造バージョン管理ファイルシステムのためのマージ機構
  (高木 渉)

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

• Type Inference Garbage Collection and Its Parallelization
  型推論ガベージコレクションとその並列アルゴリズム
  (細谷 晴夫)
• Type-based Analysis of Usage of Values for Concurrent Programming Languages
  並列言語における型システムによる値の使用回数の解析
  (五十嵐淳)

1995

• A Study on Implementation of a Typed Concurrent Programming Language on Distributed Machines
  型付並列言語の分散メモリマシンへの実装
  (清水 智弘)
• RNA Secondary Structure Prediction and Visualization Using Highly Parallel Computers
  高並列計算機を用いたRNA の2 次構造予測と視覚化
  (​中谷 明弘)

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 の２次構造予測
  (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
  対話参加者の心的記述とその動的変化に関する枠組
  (村田 剛志)

学士論文

2010

• Lightweight Implementation of Profile-Driven Implicit Parallelization for Haskell
  Haskellのためのプロファイル駆動暗黙的並列化の簡潔な実装
  (新井 淳也)
• Analysis and Sugesstion on Security Requirements for Software Development
  ソフトウェア開発におけるセキュリティ要件の分析と提案
  (竹井 悠人)
• Improving BEEP Approach for Preventing XSS Attacks and Reducing its Overhead
  XSS攻撃の防御のためのBEEP手法の改善とそのオーバーヘッドの削減
  (田中 雅人)

2009

• Encapsulation in Prototype-Based Object-Oriented Language using Ownership Types
  Ownership Types を用いたプロトタイプ・ベースオブジェクト指向言語のカプセル化
  (池尻 拓朗)

2008

• Realizing Fairness in StackThreads/MP Scheme
  StackThreads/MP への公平性の導入
  (植村 圭一朗)
• A Honeypot System Solving Dilemma Between Freedom and Restriction
  攻撃者に与える自由と制約のジレンマを解消するハニーポットシステム
  (鈴木 友博)
• Extending Hoare Type Theory for Arrays
  配列のためのホーア型理論の拡張
  (渡邊 裕貴)

2007

• Dependent Types in Imperative Programming Language
  命令型プログラミング言語における依存型
  (潮田 資秀)
• Detecting Creation of Processes and Execution of Applications without Modifying Guest OS Kernel on Virtual Machine Monitor
  OS カーネルを修正することなく仮想マシンモニタ上でのプロセス生成とアプリケーション実行を検出する手法
  (澤崎 純也)
• Array Bounds Inference with a Model Checker for a Dependent Type System
  モデル検査器を用いた依存型システムのための配列境界の推論
  (野尻 隆宏)
• Constraint Solver for Bounded Integer with Correctness Proof
  正しさの証明が与えられた有限範囲の整数に対する制約解消器
  (村田 雅之)

2006

• Typed Assembly Language for Conditional Execution
  条件実行に対応する型付きアセンブリ言語
  (飯塚 大輔)
• Compiling C Programs into a Type-safe Assembly Language
  C 言語から型安全なアセンブリ言語へのコンパイル
  (小酒井 隆広)
• Examination of Application of Model Checking for Automatic Verification of Safety of Memory Operation
  モデル検査の応用によるメモリ操作の安全性を自動検証する手法に関する研究
  (後藤 哲志)

2005

• A Library for Replay-based Recovery
  リプレイに基づくリカバリのためのライブラリ
  (大住 裕之)
• Implementation of Programming Language based on Alias Types and Measurement of Its Ability
  Alias Types に基づくプログラミング言語の実装とその評価
  (佐藤 春旗)
• Implementation of Information Flow Analysis using Dynamic Type Checking
  動的な型検査を用いた情報流解析の実装
  (山下 諒蔵)

2004

• Effective Software Obfuscation by Mixing Instructions and Data
  命令とデータの混合による効果的なソフトウェアの難読化
  (佐藤 秀明)
• Detecting Intrusions on Windows Operating Systems by Monitoring System Services
  System Service の監視による Windows 用侵入検知システム
  (島本 大輔)
• Reliable Peer-to-Peer Framework for Massively Multiplayer Online Games
  大規模多人数オンラインゲームのための信頼性のある Peer-to-Peer の枠組み
  (山崎 孝裕)

2003

• Aspect-Oriented Virtual Machine for Supporting Dynamic Weaving and High-Level Features
  高級な言語機能を持ちアスペクトを動的に適用する仮想機械
  (遠藤 侑介)
• Region Representation Inference for Dynamically-Typed Language
  動的型付け言語の為のリージョン表現推論
  (川中 真耶)
• A Toolkit for Developing Extensible and Portable Checkpoint Systems
  拡張性と互換性を持つチェックポイントシステムの構築を容易にする方法
  (横山 陽介)
• Design and Implementation of a Self-Repairing Reference Monitor
  自己修復型リファレンスモニタの設計と実装
  (吉野 寿宏)

2002

• The Interface Definition Language for Fail-Safe C
  Fail-Safe Cのためのインターフェイス定義言語
  (末永 幸平)
• Cps Conversion of Procedural Language with Exception Handling and Its Formalization
  例外処理機構を備えた手続き型言語のCPS変換とその定式化
  (大根田 裕一)
• Packrat Parsing with State
  状態つきPackrat Parsing
  (鈴木 拓男)
• Translating Security Protocols from Informal Notation into Spi Calculus
  セキュリティプロトコルの略式表現からspi calculusへの変換
  (立沢 秀晃)

2001

• Parallelizing Programs Using Access Traces
  アクセス履歴によるプログラムの並列化
  (グェン ヴェト ハ)
• A Scenario Description Language Based on a State Transition Model and its Automatic Consistency Checking
  状態遷移モデルに基づいたシナリオ記述言語の設計と同言語上での自動検証
  (清木 昌)
• Scheme-to-Java Translator with Soft Typing
  Soft Typingを利用したScheme-to-Javaトランスレータ
  (永田 章人)
• An Approach to Separate compilation of C++ Templates
  C++のテンプレート関数を分割コンパイル可能にするためのアプローチ
  (増山 隆)

2000

• A New Type System for JVM Lock Primitive
  JVMにおけるロックの整合性検証のための 新しい型システム
  (岩間 太)
• Virtual Private Grid (VPG): A Command Shell for Utilizing Remote Machines Efficiently
  Virtual Private Grid (VPG): 遠隔計算機を効率的に利用するシェル
  (金田 憲二)
• Java Bytecode Transformation for Fine Grain CPU Resource Management
  Javaバイトコード変換による細粒度CPU資源管理
  (速水 雄太)
• Design and Implementation of Storage Server for Mobile Clients
  モバイルクライアントのためのストレージサーバーのデザインと実装
  (水上 達夫)

1999

• Single Memory Image for Heterogeneous Distributed Computing: Its Implementation and Evaluation
  異種計算機間の分散計算のための単一メモリイメージの実現と性能評価
  (上田 陽平)
• Java Bytecode Translation for Transparent Migration
  透明なマイグレーションのためのJavaバイトコード変換
  (坂本 崇裕)
• An Implementation of Distributed Cyclic Garbage Collection for Java RMI
  Java RMIでの分散環状ゴミ集めの実装
  (浜中 信行)
• Automatic Library Translation for Host-local Resources in Languages with Object Mobility
  オブジェクト移動性を持った言語におけるホストローカルなリソースのための自動ライブラリ変換
  (山内 裕史)

1998

• Extending Java Virtual Machine to Improve Performance of Dynamically-Typed Languages
  動的型付き言語の効率向上のためのJava仮想マシンの拡張
  (大岩 寛)
• Adding Fine-Grain Threading to Python Using StackThreads/MP
  StackThreads/MPによるPythonへの細粒度スレッドの追加
  (大角 周平)
• Copying Garbage Collection in the Presence of Uncertain Pointers
  不確かなポインタの存在下でのコピーイングガーベジコレクション
  (田中 義純)

1997

• Implementation and Evaluation of Concurrent Object in Schematic
  Schematicにおける並列オブジェクトの実装と評価
  (外山 純生)
• Implementation of Mobile Scheme
  モーバイルSchemeの実装
  (多賀 奈由太)

1996

• Improving execution efficiency of Tree-Structure-Based Parallel Programs
  木構造を扱う並列プログラムの効率化
  (後藤 礼史)
• Mobile Emacs Lisp: An Extension to Emacs Lisp for Efficient Editing on Wide-Area Network
  Mobile Emacs Lisp: 広域ネットワーク上の効率的な編集作業のためのEmacs Lispの拡張
  (人見 俊太郎)
• A Research on Execution Performance of Parallel Programs on a Workstation Cluster
  並列プログラムのワークステーションクラスタ上における実行効率の研究
  (山本 泰宇)

1995

• A Methodology for Constructing a Portable Garbage Collector on Parallel Machines
  並列マシンにおけるPortableなGarbage Collectorの実装法
  (遠藤 敏夫)
• A General Framework for Compiling Fine-grain Threads in Concurrent Object-Oriented Languages
  並列オブジェクト指向言語における細粒度スレッドコンパイルのための一般的枠組み
  (大山 恵弘)

1994

• Study on Mechanisms For Multi-Object Synchronization and Their Implementation
  オブジェクト間同期機構とその実装に関する研究
  (五十嵐 淳)
• Static Analysis on Communication for Asynchronous Concurrent Programming Languages
  非同期並行言語における通信の静的解析
  (中出 元樹)
• Control Constructs in Concurrent Object-Oriented Languages
  並列オブジェクト指向言語における制御構
  (細谷 晴夫)
• Dialogue processing with Mental World Structure
  心的世界構造を用いた対話処理
  (BEKKI Daisuke)
• Construction of a Japanese-text Generation System With Semantic-Head-Driven Generation
  意味主辞駆動生成アルゴリズムを用いた日本語文生成システムの構築
  (森脇 敏)
• Automatic Acquisition of The Cost of Connectivity in A Japanese Morphological Analyzer
  日本語形態素解析システムにおける連接コストの自動獲得
  (​野畑 周)

1993

• Type Inference for Polymorphic Reference with Subtyping
  部分型の入った多相参照のための型推論
  (​中谷 明弘)
• A study on an implemenation of HACL compiler on multicomputers
  HACLコンパイラのマルチコンピュータ上での実装技術の研究
  (SHIMIZU Toshihiro)

1992

• An Efficient Implementation of a Parallel Constraint Logic Programming Language and its Applications
  並列制約論理型言語の効率的な実装と応用
  (今野 和浩)
• An Algorithm of Distributed Garbage Collections on a Multicomputer and its Performance Evaluation
  並列計算機上の分散ガーベージ・コレクションのアルゴリズムとその性能評価
  (Tomio Kamada)
• A Constraint Solving Method for Real-Time Interaction in User Interfaces
  ユーザインターフェースで実時間のインタラクションを実現する制約解消法
  (細部 博史)
• An Object-Oriented Approach to Parsing for Unification-based Grammars
  オブジェクト指向方式による単一化文化を用いたパージング
  (Kengpang Lee)
• Construction of Type Inference Systems for Concurrent Object-Oriented Languages
  並列オブジェクト指向言語のための型推論体系の構築
  (関口 龍郎)

1991

• Inductive Inference under Algebraic Specifications
  代数的仕様の下での帰納的推論について
  (鈴木 大介)
• A Study of an Implementation of an Object-Oriented Concurrent Language on Distributed Memory Parallel Architecture
  マルチコンピュータ上の並列オブジェクト指向言語の高効率な実装に関する研究
  (田浦 健次朗)
• Acquiring Discourse Domain Knowledge with a Dialog System
  対話領域に関する知識の対話システムによる獲得
  (鳥澤 健太郎)
• The Implementation of Constraint Logic Programming on Parallel Computer
  制約論理型言語の並列計算機上への実装
  (長塚 雅明)
• Study on Implementation of an Object-Oriented Concurrent Reflective Language
  自己反映計算の機能を持つ並列オブジェクト指向言語の実装に関する研究
  (増原 英彦)
• Programming by Visual Example
  視覚的例によるプログラミング
  (宮下 健)

1990

• Control of Parallel Computation in Constraint Logic Programming
  制約論理プログラムにおける並列計算の制御
  (小林 直樹)
• User Interface on a Model of Bi-directional Translation Between Picture and Data
  絵-データ間の双方向変換に関するモデルに基づいたユーザインターフェース
  (高橋 伸)
• Dynamic and Reflective Scheduling in Concurrent Object-Oriented Programming Language
  並列オブジェクト指向言語における動的で自己反映的なスケジューリング
  (Yoshisato Takeda)
• A Distributed Problem Solving Platform with Distributed Blackboard Architecture
  分散ブラックボード・アーキテクチャに基づいた分散問題解決のプラットフォーム
  (Tsuyoshi Hayashi)
• Garbage Collection in A Concurrent Architecture:
  並列アーキテクチャ上の Garbage Collection
  (古荘 進一)
• Domain Independent Dialog System
  獲得すべきデータの仕様を独立させた対話システム
  (宮田 高志)

1989

• Multilisp Implementation
  マルチリスプの実現
  (​浅井 健一)
• Fast Implementation of Production Systems
  プロダクションシステムの高速化
  (Hideaki Kuwada)
• FDS-A Flexible Dialog System
  柔軟な対話システムFDS
  (村田 剛志)
• A Study of Hopfield Network
  Hopfield Network に関する研究
  (Susumu Hasegawa)