| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 2005 | 蓬来 祐一郎 Horai, Yuichiro | Research on Network-aware Parallel Computing （計算機のネットワーク構造を考慮した並列計算の研究） | 小柳 義夫 | DD:198 |
| 2005 | 下野 寿之 Shimono, Toshiyuki | Analysis of the entanglement cost and calculation of the Holevo capacity （エンタングルメントコストの解析とホレボ容量の計算） | 今井 浩 | DD:199 |
| 2005 | 角越 和也 Sumikoshi, Kazuya | A fast protein-protein docking algorithm using orthonormal basis functions based on spherical harmonics （球面調和関数に基づく正規直交基底関数を用いたタンパク質間相互作用様式の高速計算法） | 清水 謙多郎 | DD:200 |
| 2005 | 前田 俊行 Maeda, Toshiyuki | Writing an operating system with a strictly typed assembly language （厳密に型付けされたアセンブリ言語を用いたオペレーティングシステムの記述） | 米澤 明憲 | DD:201 |
| 2005 | 金田 憲二 Kaneda, Kenji | Middleware systems for enabling users to adapt to dynamic changes in execution environments （実行環境の動的な変化にユーザが適応することを可能にするためのミドルウェアシステム） | 米澤 明憲 | DD:202 |
| 2005 | 中岡 慎一郎 Nakaoka, Shinichiro | Learning from observation paradigm: leg task models for reproducing human dance motion on biped humanoid robots （観察学習パラダイム : 脚タスクモデルを用いた二足歩行ヒューマノイドロボットによる人の舞踊動作の再現） | 池内 克史 | DD:203 |
| 2005 | 西澤 弘毅 Nishizawa, Koki | Algebraic structure for a modal fixed point logic and abstract interpretation （様相不動点論理と抽象解釈のための代数構造） | 萩谷 昌己 | DD:204 |
| 2005 | 増田 智仁 Masuda, Tomohito | Registration and deformation of 3D shape data through parameterized formulation （パラメタ表現式に基づく三次元形状データの位置・形状合わせ） | 池内 克史 | DD:205 |
| 2005 | 藥師寺 あかね Yakushiji, Akane | Relation information extraction using deep syntactic analysis （深い統語解析を用いた関係情報抽出） | 辻井 潤一 | DD:206 |
| 2005 | ルガル フランソワ Gall, Francois Le | Resource-bounded quantum computation （資源制約下における量子計算モデルの計算能力） | 今井 浩 | DD:207 |
| 2005 | 森山 園子 Moriyama, Sonoko | Shelling orientations for polytopal complexes: deciding shellability and combinatorial structure of discrete optimization （多面体的複体のシェリング向き付け： シェラビリティー判定と離散最適化の組合せ構造） | 今井 浩 | DD:208,DD:220 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 2004 | アフェルト レナルド | Verification of Concurrent Programs using Proof Assistants (定理証明器に基づく並行プログラムの検証) | DD:187 | |
| 2004 | 藤井 昭宏 Fujii, Akihiro | Smoothed Aggregation Algebraic MultiGrid Method in High-performance Computing Environment (高性能計算環境におけるスムーズド・アグリゲーション代数的マルチグリッド法） | DD:188 | |
| 2004 | 住井 英二郎 Sumii, Eijiro | Theories of Information Hiding in Lambda-Calculus : Logical Relations and Bisimulations for Encryption and Type Abstraction (ラムダ計算における情報隠蔽の理論 : 暗号化と型抽象のための論理関係と双模倣) | DD:189 | |
| 2004 | 大岩 寛 Oiwa, Yutaka | Implementation of a Fail-Safe ANSI C Compiler （安全なANSI Cコンパイラの実装手法） | DD:190 | |
| 2004 | 大平 怜 Odaira, Rei | REDUNDANCY ELIMINATION BEYOND DATA, CONTROL, AND EXCEPTION DEPENDENCY （データ、制御、および例外依存関係を越える冗長性除去） | DD:191 | |
| 2004 | 大和田 茂 Owada, Shigeru | Practical Volume Graphics （実用的なボリュームグラフィックス） | DD:192 | |
| 2004 | 工藤 俊亮 Kudoh, Shunsuke | BALANCE MAINTENANCE FOR HUMAN-LIKE MODELS WITH WHOLE BODY MOTION （人型モデルのための全身動作を用いたバランス保持動作の生成） | DD193 | |
| 2004 | 菅原 豊 Sugawara, Yutaka | HIGH-SPEED STRING MATCHING METHOD FOR MULTI-STREAM PACKET SCANNING SYSTEMS＜br/>（マルチストリームパケット検査機構向け高速文字列照合手法） | 所蔵なし(DD:194) | |
| 2004 | 宮崎 大輔 Miyazaki, Daisuke | Shape Estimation of Transparent Objects by using Polarization Analyses （偏光解析による透明物体の形状計測） | DD:195 | |
| 2004 | 吉永 直樹 Yoshinaga, Naoki | Collaborative and Corpus-Driven Approaches towards Lexicalized Grammar-Based Natural Lauguage Processing （語彙化文法による自然言語処理実現にに向けて − 共同的かつコーパスに基づくアプローチ） | DD:196 | |
| 2004 | チェン エリック イファ Chen, Eric Y. | DEFENDING AGAINST DISTRIBUTED DENIAL OF SERVICE ATTACKS （分散サービス停止攻撃の対策方式） | DD:197 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 2003 | 新堂 克徳 Shindo, Katsunori | Interaction model in ubiquitous information space (ユビキタス情報空間における対話モデル) | DD:176 | |
| 2003 | 高橋 伸 | A Framework for Constructing Visualization, Animation, and Direct Manipulation Interfaces （視覚化，アニメーション，直接操作インターフェース作成のための枠組） | DD:176-2 | |
| 2003 | カノンシャイヨス ピサヌ Kanongchaiyos, Pizzanu | A Study of Transformation of 3D Objects Using Topological Analysis by Reeb Graph-based Models （レーブグラフによる位相解析を用いた3次元物体の変換の研究） | DD:177 | |
| 2003 | 倉光 君郎 | Studies on Nomadic Data on a Internet and Ubiquitous Computing Environments （インターネットとユビキタスコンピューティング環境におけるノマデックデータの研究） | DD:177-2 | |
| 2003 | 長崎 正朗 Nagasaki, Masao | A platform for biopathway modeling/simulation and recreating biopathway databases towards simulation （生体内パスウェイのシミュレーションソフトウェア開発と、シミュレーションにむけての生体内パスウェイデータベースの再構築) | DD:178 | |
| 2003 | 風間 淳一 Kazama, Jun'ichi | Improving Maximum Entropy Natural LanguageProcessing by Uncertainty-aware Extensions and Unsupervised Learning (最大エントロピー法に基づく自然言語処理の不確実性拡張と教師なし学習による改良) | DD:179 | |
| 2003 | 高木 将通 Takagi, Masamichi | Improving Cache Performance by Exploiting Redundancy , Temporal Affinity ,and Reuse of Data （データの冗長性、時間的親和性、再利用を用いたキャッシュの性能向上） | DD:180 | |
| 2003 | 高松 淳 Takamatsu, Jun | Abstraction of Manipulation Tasks to Automatically Generate Robot Motion from Observation (ロボット動作の自動生成のための観察による手作業の抽象化に関する研究 ) | DD:181 | |
| 2003 | タン ロッビ タントウィ Tan, Robby Tantowi | Illumination Color and Intrinsic Surface Properties ‐‐Physics‐based Color Analyses from a Single Image‐‐ (照明光源色と物体固有の表面特性‐‐物理学に基づく単一画像からの色の解析‐‐） | DD:182 | |
| 2003 | ジョハン ヘンリー Johan, Henry | Blending 2D Shapes Using Progressive Approaches （プログレッシブ手法による2次元形状の補間） | DD:183 | |
| 2003 | 山崎 俊太郎 Yamazaki, Shuntaro | Photo-realistic Rendering of Real-world Objects Based on Insufficient Measurement （不十分な計測情報に基づく実物体の写実的な画像合成） | DD:184 | |
| 2003 | オット ザーシャ Ott, Sascha | Finding Optimal Models For Gene Networks （遺伝子ネットワークにおける最適なモデルの探索） | DD:185 | |
| 2003 | 黒田 久泰 | A Study of Auto-tuning Parallel Library (自動チューニング機能付き並列ライブラリに関する研究) | DD:186 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 2002 | 陳 柄宇 Chen, Bing-Yu | Java-based Multiresolution Streaming Mesh with QoS‐like Controlling for Web graphics （ウェブグラフィックスのためのQoSを目指したJavaによる多重解像度ストリーミングメッシュ） | DD:175 | |
| 2002 | 小川 瑞史 | Automatic Analysis, Verification, and Generation of Functional Programs （関数型プログラムの自動解析・検証・生成） | DD:169-2 | |
| 2002 | 渋谷 哲朗 | Research on Fast Algorithms for Comparison and Indexing of Biological Sequence Information （生物配列情報の比較と検索のための高速なアルゴリズムの研究） | DD:169-3 | |
| 2002 | 山本 光晴 | Studies on Verification by Search on Infinite Systems and Its Optimization （無限状態システム上の探索による検証とその最適化に関する研究） | DD:169-4 | |
| 2002 | 浅野 泰仁 Asano, Yasuhito | A NEW Framework for Link-based Information Retrieval from the Web （リンクベースのWeb上情報発見手法の新しいフレームワーク） | DD:170 | |
| 2002 | 石関 隆幸 Ishizeki, Takayuki | Computational Algebraic Analysis for Unimodular or Lawrence-Type Integer Programs （単模およびLawrence 型整数計画問題に対する計算代数的解析） | DD:171 | |
| 2002 | 品川 高廣 Shinagawa, Takahiro | A Kernel Support of Fine‐grained Protection Domains for Open Distributed Systems （開放型分散システムのためのカーネルによる細粒度保護ドメイン） | DD:172 | |
| 2002 | 仲尾 由雄 Nakao, Yoshio | STUDIES ON THEMATIC HIERARCHY DETECTION AND ITS APPLICATION FOR TEXT SUMMARIZATION （話題階層の検出とテキスト要約への適用に関する研究） | DD:173 | |
| 2002 | 吉田 稔 Yoshida, Minoru | A METHOD FOR INFORMATION EXTRACTION FEOM TABLES AND LISTS （表形式と箇条書き形式からの情報抽出手法） | DD:174 | |
| 2002 | 陳 柄宇 Chen, Bing-Yu | Java-based Multiresolution Streaming Mesh with QoS‐like Controlling for Web graphics （ウェブグラフィックスのためのQoSを目指したJavaによる多重解像度ストリーミングメッシュ） | DD:175 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 2001 | 牧野 貴樹 Makino, Takaki | A pulsed neural network for language understanding - discrete-event simulation of a short-term memory mechanism and sentence understanding - (言語理解のためのパルス神経回路網 -短期記憶機構と文理解の離散イベント式シミュレーション- ) | DD:169 | |
| 2001 | 遠藤 敏夫 Endo, Toshio | Scalable dynamic memory management module on shared memory multiprocessors (共有メモリ並列計算機上のスケーラブルな動的メモリ管理モジュール) | DD:160 | |
| 2001 | 松本 尚 | A Study on Memory-Based Communications and Synchronization in Distributed-Memory Systems （分散メモリ環境におけるメモリベース通信同期に関する研究） | DD:160-0 | |
| 2001 | 福田 賢一郎 Fukuda, Ken-ichiro | Representation of signal transduction pathways : Toward computational analysis of signal transduction pathways (シグナル伝達経路の再構築 : シグナル伝達経路の解析に向けて) | DD:161 | |
| 2001 | 米田 穣 | Marine Radiocarbon Reservoir Effect and Prehistoric Human Diet （放射性炭素の海洋リザーバー効果と先史時代人の食性） | DD:161-2 | |
| 2001 | 高橋 孝一 | Abstraction and Search in Verification by State Exploration （状態検査による検証における抽象化と探索） | DD:161-3 | |
| 2001 | 重定 如彦 Shigesada, Yukihiko | Software architecture for open distributed hypermedia system (オープンな分散ハイパーメディアシステムの為のソフトウェアアーキテクチャ) | DD:162 | |
| 2001 | 光來 健一 Kourai, Kenichi | A study of a dynamic safety net for server software (サーバソフトウェアのための動的なセーフティネットの研究) | DD:163 | |
| 2001 | 古賀 久志 Koga, Hisashi | Algorithms for guaranteeing communication quality in network communications (ネットワーク通信において通信品質を保証するアルゴリズム) | DD:164 | |
| 2001 | 小林 弘忠 Kobayashi, Hirotada | Complexity-theoretical aspects of quantum computational models (計算量的観点における量子計算モデルの計算能力) | DD:165 | |
| 2001 | 長井 歩 Nagai, Ayumu | Df-pn algorithm for searching AND/OR trees and its applications (AND/OR木探索アルゴリズムDf-pnの提案とその応用) | DD:166 | |
| 2001 | 西野 恒 Nishino, Ko | Photometric object modeling -rendering from a dense/sparse set of images- (光学的モデリング - 蜜/疎な画像列からのレンダリング-) | DD:167 | |
| 2001 | 平賀 督基 Hilaga, Masaki | Construction, compression and recognition of 3D shapes using topological analysis by enhanced homotopy model (拡張ホモトピーモデルによる位相解析を用いた３次元形状の生成、圧縮および認識の手法) | DD:168 | |
| 2001 | 牧野 貴樹 Makino, Takaki | A pulsed neural network for language understanding - discrete-event simulation of a short-term memory mechanism and sentence understanding - (言語理解のためのパルス神経回路網 -短期記憶機構と文理解の離散イベント式シミュレーション- ) | DD:169 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 2000 | 鵜坂 智則 Tomonori, Usaka | A multi-user virtual environment system for distributed virtual museums with multi-server architecture (マルチサーバアーキテクチャによる分散仮想博物館のためのマルチユーザ仮想環境システム) | DD:144 | |
| 2000 | 久光 徹 Hisamitsu, Toru | Local structure analysis of Japanese using lower-level contextual information (低レベル文脈情報を用いた日本語局所構造解析) | DD:145 | |
| 2000 | 鳥澤 健太郎 Torisawa, Kentaro | Towards practical HPSG parsing (主辞駆動句構造文法による実用的なテキストの解析にむけて) | DD:146 | |
| 2000 | 戸次 大介 Bekki, Daisuke | Typed dynamic logic for compositional grammar (構成的言語理論のための型付き動的論理) | DD:150 | |
| 2000 | ローランド シュタイナー Steiner, Roland | Rule-driven parsing strategies for robust processing of extra-grammatical input in HPSG and similar unification-based formalisms (HPSG等の単一化文法における文法外入力の頑健な処理のための規則駆動型構文解析戦略) | DD:151 | |
| 2000 | 日置 尋久 Hioki, Hirohisa | Adaptive light projection and highlight analysis method for measuring three−dimensional scenes (適応的光投影法による三次元シーン計測) | DD:152 | |
| 2000 | 細谷 晴夫 Hosoya, Haruo | Regular expression types for XML (XMLのための正規表現型) | DD:153 | |
| 2000 | 大山 恵弘 Oyama, Yoshihiro | Achieving high performance in parallel programs containing unscalable modules (スケーラブルでないモジュールを含む並列プログラムにおける高性能の達成) | DD:154 | |
| 2000 | 片桐 孝洋 Katagiri, Takahiro | A study on large scale eigensolvers for distributed memory parallel machines (分散メモリ型並列計算機における大規模固有値ソルバの研究) | DD:155 | |
| 2000 | 竹内 史比古 Takeuchi, Fumihiko | Combinatorics of triangulations (３角形分割の組合せ論) | DD:156 | |
| 2000 | 土井 晃一郎 Doi, Koichiro | A computer aided design of large scale biological experiments based on subsequence properties (部分文字列の性質に基づく計算機援用大規模生物実験設計) | DD:157 | |
| 2000 | 二宮 崇 Ninomiya, Takashi | Parallel ｐarsing and robust processing within unification based grammar formalism (単一化に基づく文法枠組みにおける並列構文解析と頑健処理) | DD:158 | |
| 2000 | 高野 明彦 Takano, Akihiko | Fusion ｔransformation of functional programs (関数プログラムの融合変換) | DD:159 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1999 | 関口 龍郎 Sekiguchi, Tatsurou | A study on mobile language systems (モーバイル言語システムに関する研究) | DD:130 | |
| 1999 | 有田 正規 Arita, Masanori | Automated metabolic reconstruction: theory and experiments (代謝系の再構築：理論と実験) | DD:131 | |
| 1999 | 馬見塚 拓 Mamitsuka, Hiroshi | Stochastic knowledge representations and machine learning strategies for biological sequence analysis (生物学上の配列解析のための確率的知識表現と機械学習手法の研究) | DD:136 | |
| 1999 | 中谷 明弘 Nakaya, Akihiro | Parallel data mining for analysis of correlated genetic factors (相関した遺伝的要素の解析に向けた並列データマイニング) | DD:137 | |
| 1999 | 五十嵐 淳 Igarashi, Atsushi | Formalizing advanced class mechanisms (先進的なクラス機構の形式化) | DD:138 | |
| 1999 | 幸村 琢 Komura, Taku | Creating and retargetting motion by the musculoskeletal human body model (筋骨格系モデルを用いた人体動作の生成・変形) | DD:139 | |
| 1999 | 田島 玲 Tajima, Akira | Optimizing geometric triangulations by using integer programming (整数計画法による三角形分割の最適化) | DD:140 | |
| 1999 | 田中 清史 Tanaka, Kiyofumi | Study on distributed shared memory managed by lightweight hardware (軽量ハードウェアによる分散共有メモリの研究) | DD:141 | |
| 1999 | 丹羽 純平 Niwa, Junpei | Study on optimizing compilers to support software distributed shared memory system (ソフトウェアDSMを支援する最適化コンパイラに関する研究) | DD:142 | |
| 1999 | 野畑 周 Nobata, Chikashi | Knowledge acquisition for an information extraction system (情報抽出システムのための知識獲得) | DD:143 | |
| 1999 | 定兼 邦彦 Sadakane, Kunihiko | Unifying text search and compression -suffix sorting, block sorting and suffix arrays- (文書検索と圧縮の統合 -接尾辞ソート、ブロックソート法、接尾辞配列-) | DD:147 | |
| 1999 | 河野 健二 Kono, Kenji | Integrating RPC with virtual memory management for distributed shared objects in heterogeneous environments (RPCと仮想記憶の統合による異機種環境における分散共有オブジェクトの実現) | DD:148 | |
| 1999 | 任 哲弘 Im, C. | A classification method of leaf shapes based on their structural properties (葉の形状の構造的特徴に基づく分類法) | DD:149 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1998 | 河内谷 幸子 Kawachiya, Sachiko | Analyses and reduction of operational overhead in computer-assisted drawing (計算機支援の描画における操作負荷の分析と削減) | DD:121 | |
| 1998 | 矢田 哲士 Yada, Tetsushi | Stochastic models representing DNA sequence data : Construction algorithms and their applications to prediction of gene structure and function (DNA配列データの確率論的表現モデル ： 構築アルゴリズムとその遺伝子構造予測・機能予測ヘの応用) | DD:122 | |
| 1998 | 李 航 Li, Hang | A probabilistic approach to lexical semantic knowledge acquisition and structural disambiguation (確率的なアプローチによる語彙意味知識獲得と構造的曖昧性解消) | DD:123 | |
| 1998 | 大西 建輔 Onishi, Kensuke | Riemannian computational geometry : convex hull, Voronoi diagram and Delaunay-type triangulation (リーマン計算幾何 ： 凸包、ボロノイ図とデローネ型三角形分割) | DD:124 | |
| 1998 | 中野 幹生 Nakano, Mikio | Spoken language analysis based on logical constraint processing (論理制約の処理に基づく話しことばの解析) | DD:125 | |
| 1998 | 宮澤 元 Miyazawa, Hajime | Design and implementation of a large-scale distributed file system (大規模分散ファイルシステムの設計と実装) | DD:126 | |
| 1998 | 梅津 信幸 Umezu, Nobuyuki | A unified framework of shape modeling and direct illumination for volume data using multiresolution voxel interaction (多重解像度ボクセル相互作用を用いたボリュームデータのための形状モデリングおよび直接照明の統一的フレームワーク) | DD:127 | |
| 1998 | 佐山 弘樹 Sayama, Hiroki | Constructing evolutionary systems on a simple deterministic cellular automata space | DD:128 | |
| 1998 | 由良 俊介 Yura, Shunsuke | A study on the browser for the large-scaled collaborative virtual environment (大規模な共有仮想環境のためのブラウザに関する研究) | DD:129 | |
| 1998 | 小林 聡 Kobayashi, Satoshi | Monad and modality from computational point of view (計算の観点から見たモナドと様相) | DD:132 | |
| 1998 | 増原 英彦 Masuhara, Hidehiko | Architecture design and compilation techniques using partial evaluation in reflective concurrent object-oriented languages (並行オブジェクト指向言語における自己反映アーキテクチャの設計と部分計算を用いたコンパイル技法) | DD:133 | |
| 1998 | 稲葉 真理 Inaba, Mary | Geometic clustering on feature manifold (特徴多様体上のクラスタリング問題について) | 所蔵なし(DD:134) | |
| 1998 | 高橋 大介 Takahashi, Daisuke | Fast multiple-precision arithmetic on distributed memory parallel computers and its applications (分散メモリ型並列計算機における高速多倍長計算とその応用) | DD:135 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1997 | 脇田 建 Wakita, Ken | Continuations and concurrent transactions: extensible language constructs for concurrent computing (継続と並行トランザクション： 並行計算のための拡張可能な言語機構) | DD:113 | |
| 1997 | 田浦 健次朗 | Efficient and reusable implementation of fine-grain multithreading and garbage collection on distributed-memory parallel computers (分散記憶並列計算機のための効率的で再利用可能な細粒度マルチスレッディング及びゴミ集め) | DD:114 | |
| 1997 | 福本 文代 | A study on corpus-based techniques for syntactic and semantic ambiguity resolution and their application (構文・意味的曖昧性解消のためのコーパスに基づく手法とその応用に関する研究) | DD:115 | |
| 1997 | 鈴木 大郎 Suzuki, Taro | Studies on conditional narrowing for rewrite systems with extra variables (外変数をもつ条件付き項書換え系に対するナローイングの研究) | DD:116 | |
| 1997 | 三好 博之 Miyoshi, Hiroyuki | Categorical aspects of rewriting logic and related topics (書き換え論理の圏論的側面及び関連する話題) | DD:117 | |
| 1997 | 上原 敬太郎 Uehara, Keitaro | A system for describing distributed cooperativ transactions (分散協調トランザクション記述システム) | DD:118 | |
| 1997 | 西田 晃 Nishida, Akira | Polynomial acceleration for large nonsymmetric eigenproblems (加速付反復固有値解法) | DD:119 | |
| 1997 | 細部 博史 Hosobe, Hiroshi | Theoretical properties and efficient satisfaction of hierarchical constraint systems (階層制約系の理論的性質と効率的解消法) | DD:120 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1996 | 須田 礼仁 Suda, Reiji | New iterative linear solvers for parallel circuit simulation (並列回路シミュレーションのための新しい反復線形解法の研究) | DD:101 | |
| 1996 | 梅野 英典 Umeno, Hidenori | Research on performance design of virtual machine systems (仮想計算機システムの性能設計に関する研究) | DD:102 | |
| 1996 | 高田 広章 Takada, Hiroaki | Studies on scalable real-time kernels for function-distributed multiprocessors (機能分散マルチプロセッサのためのスケーラブルなリアルタイムカーネルに関する研究) | DD:103 | |
| 1996 | 千葉 滋 Chiba, Shigeru | A study of compile-time metaobject protocol (コンパイル時メタオブジェクト・プロトコルに関する研究) | DD:104 | |
| 1996 | 吉浦 裕 Yoshiura, Hiroshi | Machine understanding using meaning restoration models of incomplete expressions (不完全表現からの意味の復元モデルを用いた理解方式の研究) | DD:105 | |
| 1996 | 宮田 高志 Miyata, Takashi | A study on inference control in natural language processing (自然言語処理における推論の制御に関する研究) | DD:105-0 | |
| 1996 | Lan, Tai Chiew | Reeb graph-based topological model and homotopy surface schemes for modeling complex surfaces (複雑な曲面をモデルするためのレーブグラフに基づく位相幾何モデルとホモトピー曲面法) | DD:106 | |
| 1996 | 佐藤 直人 Sato, Naohito | Modularity and composability in an object-oriented library framework for parallel and distributed computation (並列分散オブジェクト指向ライブラリ・フレームワークにおけるモジュラリティおよびコンポーザビリティ) | DD:107 | |
| 1996 | 関根 京子 Sekine, Kyoko | Algorithm for computing the Tutte polynomial and its applications (Tutte多項式の計算アルゴリズムとその応用) | DD:108 | |
| 1996 | 高橋 成雄 Takahashi, Shigeo | Critical-point-based modeling for smooth surfaces (滑らかな曲面のための臨界点に基づくモデリング) | DD:109 | |
| 1996 | 建部 修見 Tatebe, Osamu | MGCG method: A robust and highly parallel iterative method (MGCG法： ロバストで高効率な並列解法) | DD:110 | |
| 1996 | 津田 宏 Tsuda, Hiroshi | Studies on logic programming language for constraint-based natural language analysis (論理プログラムに基づく制約ベースの自然言語解析) | DD:111 | |
| 1996 | 浅井 健一 Asai, Kenichi | The reflective language Black (自己反映言語 Black) | DD:112 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1995 | 金野 千里 Konno, Chisato | Research on automatic programming system in the field of scientific simulation (科学技術計算における自動プログラミングシステムの研究) | DD:92 | |
| 1995 | 中野 浩 Nakano, Hiroshi | Logical structures of the catch and throw mechanism (キャッチアンドスロー機構の論理的構造) | DD:93 | |
| 1995 | 猪原 茂和 Inohara, Shigekazu | A thread management framework based on asynchronous cooperation of the operating system and user programs (オペレーティングシステムとユーザプログラムの非同期的な協調動作に基づくスレッド管理の枠組み) | DD:94 | |
| 1995 | ジェフ マカファー McAffer, Jeff | A meta-level architecture for prototyping object systems (オブジェクトシステムのプロトタイピングのためのメタアーキテクチャ) | DD:95 | |
| 1995 | 西村 憲 Nishimura, Satoshi | A parallel architecture for computer graphics based on the conflict-free multiport frame buffer (無競合複数ポートフレームバッファに基づいたコンピュータグラフィックスのための並列アーキテクチャ) | DD:96 | |
| 1995 | 郭 清連 Guo, Qinglian | Dynamic modeling of "Nijimi" diffusion and its application to black ink painting (にじみイメージのダイナミックモデリングと水墨画への応用) | DD:97 | |
| 1995 | 小林 直樹 Kobayashi, Naoki | Concurrent linear logic programming (並行線形論理プログラミング) | DD:98 | |
| 1995 | 田島 敬史 Tajima, Keishi | On access control in object-oriented database systems (オブジェクト指向データベースにおけるアクセス制御について) | DD:99 | |
| 1995 | 渡辺 亜紀 Watanabe, Aki | A study of design fault tolerance based on natural design diversity (「自然な」設計分散に基づいた設計フォールトトレランスに関する研究) | DD:100 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1994 | 後藤田 洋伸 Gotoda, Hironobu | Creased developable surfaces for the semiempirical simulation of paper and cloth | DD:87 | |
| 1994 | 杉本 徹 Sugimoto, Toru | Formal models of dialogue participants (対話行為者の形式的モデルに関する研究) | DD:88 | |
| 1994 | 渕 武志 Fuchi, Takeshi | 本語形態素構文解析のための新手法及び含意導出規則の定式化 ／ 渕 武志 | DD:89 | |
| 1994 | 佐治 斉 Saji, Hitoshi | Analysis of human facial expressions by computing the three-dimensional motion of facial muscles from time-varying images (動画像を用いた顔面筋の３次元的な動きの算出による表情解析) | DD:90 | |
| 1994 | Garrigue, Jacques | Label-selective lambda-calculi and transformation calculi (指定的ラムダ計算とトランスフォーメーション計算系) | DD:91 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1993 | 松岡 聡 Matsuoka, Satoshi | Language features for extensibility and re-use in concurrent object-oriented languages (並列オブジェクト指向言語における拡張性と再利用のための言語機構) | DD:82 | |
| 1993 | 磯田 定宏 | On technological and managerial aspects of software development environment (ソフトウェア開発環境の技術的および管理的側面に関する研究) | DD:83 | |
| 1993 | 佐藤 敏明 Satoh, Toshiaki | Geometric modeling of objects containing various surfaces (多くの自由曲面を含む立体のモデリング) | DD:84 | |
| 1993 | 越塚 登 Koshizuka, Noboru | BTRON2 window system: A window system facilitating cooperation among GUI applications in distributed environments (BTRON２ ウィンドウシステム ： 分散環境上でＧＵＩアプリケーション間の協調処理を支援するウィンドウシステム) | DD:85 | |
| 1993 | 八杉 昌宏 Yasugi, Masahiro | A concurrent object-oriented programming language system for highly parallel data-driven computers and its applications (高並列データ駆動計算機における並列オブジェクト指向プログラミング言語処理系とその応用プログラム) | DD:86 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1992 | 品川 嘉久 Shinagawa, Yoshihisa | A study of a surface construction system based on Morse Theory and Reeb Graph (モース理論とレーブグラフに基づいた物体表面構築システムの研究) | DD:72 | |
| 1992 | 石川 博 Ishikawa, Hiroshi | The design and implementation of an object-oriented database system for advanced applications (高度応用のためのオブジェクト指向データベースシステムの設計と実現) | DD:73 | |
| 1992 | 村尾 裕一 Murao, Hirokazu | Development of efficient algorithms in computer algebra - from between symbolic calculus and algebra - (計算機代数における効率的アルゴリズムの開発-数式処理と代数のはざまから-) | DD:74 | |
| 1992 | 加藤 和彦 Kato, Kazuhiko | A study of designing distributed and persistent computing systems (分散永続計算システムに関する研究) | DD:75 | |
| 1992 | 鈴木 正幸 Suzuki, Masayuki | A study on algebraic computation (数式処理の研究) | DD:76 | |
| 1992 | 佐藤 健 Sato, Ken | A logical formalization of preference-based reasoning by interpretation ordering (選好に基づく推論の解釈の順序による論理的定式化) | DD:77 | |
| 1992 | 龍田 真 Tatsuta, Makoto | Realizability of inductive definitions for constructive programming (構成的プログラミングのための帰納的定義の実現可能性) | DD:78 | |
| 1992 | 青木 保一 Aoki, Yasukazu | The combinatorial complexity of reconstructing arrangements (アレンジメント再構成の組合せ論的複雑度評価) | DD:79 | |
| 1992 | 一杉 裕志 Ichisugi, Yuuji | A reflective object-oriented concurrent language for distributed environments | DD:80 | |
| 1992 | 李 鎮泰 Lee, Jintae | Model-based hand motion coding and animation considering the constraints on joints (関節の制約を考慮するモデルに基づいた手の動きのコーディングとアニメーション) | DD:81 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1991 | 柴山 悦哉 | An object-based approach to modeling concurrent systems (オブジェクト指向方式による並行システムのモデル化に関する研究) | DD:67 | |
| 1991 | 高村 禎二 Takamura, Teiji | A study of the geometric modeling of free-form surfaces (自由曲面の形状モデリングに関する研究) | DD:68 | |
| 1991 | 李 圭宰 Lee, Kyu-Jae | An attribute-grammar based approach to drawing recognition (属性文法に基づいた図面認識の方法) | DD:69 | |
| 1991 | 芦原 評 Ashihara, Hyo | Adaptive load sharing in distributed systems (分散システムにおける動的負荷分散) | DD:70 | |
| 1991 | 金 那美 Kin, Nami | A conversational graphical editing system considering the geometrical constraint degree (幾何学的制約度を考慮した会話型図形編集システム) | DD:71 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1990 | 小野 芳彦 Ono, Yoshihiko | A T-code system for inputting Japanese and its training system (日本文入力のためのＴコード・システムとその練習システムの研究) | DD:58 | |
| 1990 | Martin J. Durst | A new method for image compression and progressive transmission (画像圧縮と順次再生のための新しい方法) | DD:59 | |
| 1990 | 長田 博泰 Nagata, Hiroyasu | 等式を用いた科学技術計算用プログラム言語の研究 | DD:60 | |
| 1990 | 市川 周一 Ichikawa, Shuichi | A study on cyclic pipeline computer : FLATS2 (循環パイプライン計算機 ＦＬＡＴＳ２の研究) | DD:61 | |
| 1990 | 佐藤 三久 Sato, Mitsuhisa | Exploiting parallelism in cyclic pipeline computer with an optimizing compiler (最適化コンパイラによる循環パイプライン・コンピュータにおける並列化の研究) | DD:62 | |
| 1990 | 丘維 禮 Willy, Hioe | Quantum Flux Parametron - a single flux quantum superconducting logic device (量子磁束パラメトロン - 単一量子磁束超伝導論理デバイス) | DD:63 | |
| 1990 | Krishnan, Deepa | The design and implementation of meta data model for computer-aided design (CADのためのメタデータモデルの設計と実現) | DD:64 | |
| 1990 | 賈 小華 Jia, Xiaohua | Concurrency and consistency control of replicated information in the GALAXY distributed operating system (GALAXYオペレーティングシテムにおける多重化されたデータの並列性と一貫性の制御) | DD:65 | |
| 1990 | Sinha, Pradeep Kumar | Supporting data sharing facilities in the GALAXY distributed operating system (GALAXY分散OSにおけるデータ共有機構) | DD:66 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1981 | 小野 清志 Ono, Kiyoshi | On improvements of heap storage administration in list processing languages | DD:15 | |
| 1982 | 足立 暁生 Adachi, Akeo | A study toward feasible computations | DD:16 | |
| 1982 | 井森 正敏 Imori, Masatoshi | 一様構造機械の研究 | 所蔵なし(DD:16) | |
| 1984 | 清水 謙多郎 Shimizu, Kentaro | High-performance computer architecture | DD:17 | |
| 1984 | 山口 和紀 Yamaguchi, Kazunori | The theory of databases for structures and operations | DD:18 | |
| 1985 | 盧 家福 Fock, Loe Kia | Direct current flux parametron computer technology - A new approach to Josephson computer design (直流磁束パラメトロン計算機技術ジョセフソン計算機設計への新しい接近) | DD:19 | |
| 1985 | 斎藤 明 Saito, Akira | Connectivity problems in graph theory (グラフ理論における連結度問題) | DD:20 | |
| 1985 | 清水 徹 Shimizu, Toru | Computer-aided software design based on the knowledge engineering (知識工学に基づくソフトウェアの設計、開発環境に関する研究) | DD:21 | |
| 1985 | 橋田 浩一 Hasida, Koiti | Bounded parallelism: A theory of linguistic performance (限定並列処理: 言語運用の一理論) | DD:22 | |
| 1986 | 平木 敬 Hiraki, Kei | 数式処理計算機の研究 | DD:23 | |
| 1986 | 鄭 喜盛 Chung Hee Sung | Korean language information processing (ハングル（韓国語）情報処理) | DD:23 | |
| 1987 | 絹川 博之 Hiroshi Kinukawa | Morphological, syntactic and semantic structure of Japanese text for natural language processing (機械処理のための日本文構造の研究) | DD:24 | |
| 1987 | 北川 博之 Kitagawa, Hiroyuki | Structured forms handling by nested table data model (ネステドテーブルデータモデルによる構造的フォーム操作の研究) | DD:25 | |
| 1987 | 野村 和正 Nomura, Kazumasa | The intersection diagrams of graphs (グラフの交又図式) | DD:26 | |
| 1987 | 大澤 範高 Osawa, Noritaka | A study of Inductive Josephson Logic (インダクタンス型ジョセフソン論理の研究) | DD:27 | |
| 1987 | 岡留 剛 Okadome, Takesi | A cognitive view of task optimality in Japanese text typing | DD:28 | |
| 1987 | 小野寺 民也 Onodera, Tamiya | A formalized model of visualization in computer graphics systems | DD:29 | |
| 1987 | 唐 培雄 Tang, Peixiong | An intuitionistic type theory - Its expressive power and computability | DD:30 | |
| 1987 | 安村 通晃 Yasumura, Michiaki | Studies on compiler optimizations based on program transformations (プログラム変換に基づくコンパイラ最適化に関する研究) | DD:31 | |
| 1988 | 袁 鷹 Yuan, Ying | Dispersive ray tracing of polyhedra (多面体における色分散光線追跡法) | DD:32 | |
| 1988 | 石畑 清 Ishihata, Kiyoshi | Transformation techniques for Ada parallel programs and their applications (Ada並列プログラムの変換技法とその応用) | DD:33 | |
| 1988 | 藤代 一成 Fujishiro, Issei | A logical design methodology for link-oriented databases using data model mapping (データモデル写像を用いたリンク指向データベース論理設計方法論の研究) | DD:34 | |
| 1988 | Furuyama, Tohru | Study on high density dynamic random access memories | DD:35 | |
| 1988 | 中川 正樹 Nakagawa, Masaki | A syntactic approach with stochastic dissimilarity to on-line recognition of handwritten Japanese characters (確率的相違度を導入した構造解析的オンライン手書き日本語文字認識の研究) | DD:36 | |
| 1988 | 中原 早生 Nakahara, Hayao | Proofs and programs: a na{\"{i}}ve approach to program extraction (証明とプログラム ：プログラム抽出の自然な一手法) | DD:37 | |
| 1988 | Ando, Kiyoshi | Graphs and their complements (グラフと補グラフ) | DD:38 | |
| 1988 | 吉田 広行 Yoshida, Hiroyuki | A protocol specification methodology based on the extended recursive graph formalism (拡張再帰グラフ型式にもとづくプロトコルの仕様記述方式) | DD:39 | |
| 1988 | 太田 克弘 Ota, Katsuhiro | Non-critical subgraphs in k-connected graphs (k連結グラフの非臨界部分グラフ) | DD:40 | |
| 1988 | 鎌田 富久 Kamada, Tomihisa | On visualization of abstract objects and relations (抽象データの図化に関する研究) | DD:41 | |
| 1988 | 木下 佳樹 Kinoshita, Yoshiki | On attaching the module construct to static semantics of formal languages (静的意味論へのモジュール構造の付加について) | DD:42 | |
| 1988 | 白田 由香利 Shirota, Yukari | Automatic generation methodology for enhanced menu-based software (拡張メニュー方式ソフトウエアのための自動生成方法論) | DD:43 | |
| 1988 | 乃万 司 Noma, Tsukasa | Geometric construction, constraints, and propagation | DD:44 | |
| 1988 | 森継 修一 Moritsugu, Shuichi | A study of algorithms for computer algebra (数式処理アルゴリズムの研究) | DD:45 | |
| 1988 | 細谷 睦 Hosoya, Mutsumi | Three dimensional inductance calculation - Methodology and CAD for superconducting coils and transformers (三次元インダクタンス計算 ― 超伝導コイル・トランスのための計算法及びＣＡＤ) | DD:46 | |
| 1989 | 佐竹 伸夫 Satake, Nobuo | First language acquisition as problem solving: Learning of the correct application of rules through overgeneralizations 問題解決能力を生得的とする第一言語習得のモデル： 過度の一般化を通しての規則の正しい適用の習得) | DD:47 | |
| 1989 | 鳥谷 浩志 Toriya, Hiroshi | A study of an interactive solid modeler containing free-form surfaces (自由局面形状を持った立体を対話的に処理するソリッドモデラの研究) | DD:48 | |
| 1989 | 建石 由佳 Tateisi, Yuka | Evaluation of Japanese texts based on surface characteristics | DD:49 | |
| 1989 | 稲本 直太 Inamoto, Naota | A graph-based visual tool for workstations and its application to 4D geometric modeling (ワークステーションのためのグラフが基になっているビジュアルなツールと その４次元幾何学モデリングへの応用) | DD:50 | |
| 1989 | 佐藤 周行 Sato, Hiroyuki | Algebra of datatypes in mono/poly-morphic λ-calculi (単相型／複相型ラムダ計算上のデータ型の代数について) | DD:51 | |
| 1989 | 孫 立寧 Sun, Lining | Dynamics model-based human motion analysis and animation (ダイナミックス・モデルによる人体の動きの解析とアニメーション) | DD:52 | |
| 1989 | 茅 暁陽 Mao, Xiaoyang | A hierarchical data representation-oriented image processing system | DD:53 | |
| 1989 | 李 明苑 Lee, Myeong Won | The design and analysis of moving objects (動きを伴う物体の設計と解析に関する研究) | DD:54 | |
| 1989 | 森下 真一 Morishita, Shinichi | A unified approach to semantics of multi-valued logic programs and an implementation of Boolean-valued case (多値論理プログラムの統一的意味論とブール値付き論理プログラムの実装) | DD:55 | |
| 1989 | 田島 譲二 Tajima, Johji | Color image processing using virtual human vision space (仮想視覚空間に基づいたカラー画像処理) | DD:56 | |
| 1989 | 本間 紀之 Homma, Noriyuki | Study on ultra-high-speed bipolar memories (超高速バイポーラメモリの研究) | DD:57 |
| 年度 | 氏名 | 題目 | 指導教員 | 備考 |
|---|---|---|---|---|
| 1970 | 大岩 元 Ohiwa, Hajime | Elimination of third order aberrations in electron beam scanning systems | DD:1 | |
| 1973 | 三浦 謙一 Miura, Ken'ichi | The energy transport properties of one dimensional anharmonic lattices | DD:2 | |
| 1977 | 川合 慧 Kawai, Satoru | Computer graphics based on bit pattern processing (ピットパターン方式によるグラフイクス) | DD:3 | |
| 1977 | 渡辺 隼郎 Watanabe, Shunro | Formula manipulations solving linear ordinary differential equations (II) | DD:8 | |
| 1977 | 金田 康正 Kanada, Yasumasa | New algorithms for symbolic formula manipulation (数式処理における新アルゴリズムの研究) | DD:5 | |
| 1977 | 木村 高久 Kimura, Takahisa | Architecture of a sound separation system S^{3} for creation and validation of sound databases -with an example of singing voice separation from a piano accompaniment (音響データベースの生成および正当化を目的とする音響分離システムの構成法 - ピアノ伴奏からの歌声分離を実例として) | DD:6 | |
| 1977 | 寺島 元章 Terashima, Motoaki | Tabulative Computing, Principles and Portable Compilers (索表計算法,原理とポータブルなコンパイラー) | DD:7 | |
| 1978 | 佐々 政孝 Sassa, Masataka | Implementational basis of complex data structures (複合データ構造実現上の基本概念について) | DD:4 | |
| 1978 | 井田 哲雄 Ida, Tetsuo | Analysis of parallel hashing algorithms with design consideration on hashing hardware | DD:9 | |
| 1978 | 疋田 輝雄 Hikita, Teruo | On closed classes of k-valued switching functions with delay --- with completeness criterion in three-valued case | DD:10 | |
| 1978 | 横森 貴 Yokomori, Takashi | Some generalizations of Lindenmayer developmental systems | DD:11 | |
| 1979 | 大保 信夫 Ohbo, Nobuo | New approaches to region detection method in picture segmentation --- hierarchical merge method and MST traversing algorithm | DD:12 | |
| 1979 | 原田 実 Harada, Minoru | A design process formalization - as a formal basis of a system for interactive design | DD:13 | |
| 1979 | 横川 完治 Yokokawa, Kanji | Picture processing based on spherical representation | DD:14 |