wiki:ThesesForDegrees.ja

Version 13 (modified by yonelab, 12 years ago) (diff)

--

学位論文

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

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

博士論文

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

学士論文

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)