米澤研究室の学位論文

In English

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

[ ] 内の数字は年度を表しています．

博士論文

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

修士論文

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

学士論文

[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
  状態遷移モデルに基づいたシナリオ記述言語の設計と同言語上での自動検証
  (清木 昌)
• Soft Typingを利用したScheme-to-Javaトランスレータ
  Scheme-to-Java Translator with Soft Typing
  (永田 章人)
• 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)