header

トップ   差分 バックアップ リロード   一覧 単語検索 最終更新   ヘルプ   最終更新のRSS

*修士論文 [#ca99f7b8]
#contents


修了年度別の修士論文のリストです.

論文の本体は,kiel:/home/suuri/ronbun/MASTER/ファイル名 にあります.
論文の本体は,専攻メンバーのみが閲覧可能で,
 kiel:/home/suuri/ronbun/MASTER/ファイル名
にあります.

#contents


** 2014年度修了 (2015年3月) [#d1d9bf15]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|後藤 健佑|福田 光浩・&br;山下 真|大規模凸二次関数の最小化に対する最急降下法のステップサイズ改良|2015-2/2015-2M002.pdf|
|藤 哲郎|渡辺 治|連長圧縮列間の最長共通部分列長計算|2015-2/2015-2M003.pdf|
|石田 愛|田中 圭介|Cryptosystems with Disavowal Opening|2015-2/2015-2M004.pdf|
|宇佐見 直人|西畑 伸也・&br;三浦 英之|Convergence rate of solutions towards the stationary solutions to symmetric hyperbolic-parabolic systems in half space|2015-2/2015-2M005.pdf|
|金子 博也|福田 光浩|l1-ノルム付き最小二乗問題に対する疎性を保持した交互方向乗数法の収束解析|2015-2/2015-2M006.pdf|
|川 亮|脇田 建|エゴセントリックグラフを用いたソフトクラスタリング手法|2015-2/2015-2M007.pdf|
|小松 智之|田中 圭介|Security on Arithmetic Garbled Circuits|2015-2/2015-2M008.pdf|
|後藤 龍一|三好 直人|空間的な干渉のある無線アドホックネットワークにおける平均遅延|2015-2/2015-2M009.pdf|
|齊藤 信臣|鹿島 亮|λμ計算における推移律の除去について|2015-2/2015-2M010.pdf|
|高㟢 祐樹|松岡 聡・&br;遠藤 敏夫|メモリ階層を考慮した都市気流シミュレーションの大規模化と性能モデル|2015-2/2015-2M011.pdf|
|中田 亮介|田中 圭介|Anonymity and Streaming Algorithms for Cryptosystems|2015-2/2015-2M012.pdf|
|洪 洋|渡辺 治|グラフのラベル並替え問題について|2015-2/2015-2M013.pdf|
|松田 英之|梅原 雅顕|連分数の素因数分解への新しい応用|2015-2/2015-2M014.pdf|
|矢口 尭|首藤 一幸|広域分散データストアに因果整合性を付加するミドルウェア|2015-2/2015-2M015.pdf|
|万 一|小島 定吉|Systoles of Once-Punctured Tori|2015-2/2015-2M016.pdf|

** 2014年度修了 (2014年9月) [#u3be8ad0]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|桂 悠哉|脇田 建|社会ネットワークからの重複コミュニティの抽出|2014-8/2014-8M001.pdf|
|王 宇|田中 圭介|Strong Existential Unforgeability with Leakage Resiliency|2014-8/2014-8M002.pdf|
|徐 駿剣|脇田 建|JavaScript Debugger Using Data Structure Visualization|2014-8/2014-8M003.pdf|
|Kevin Antoney Brown|松岡 聡|MPI集団通信における通信ボトルネックの検出|2014-8/2014-8M004.pdf|

** 2013年度修了 (2014年3月) [#wc8f20ee]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|原 照雅|三好 直人・&br;下平 英寿|潜在データに対する情報量規準の混合分布モデルへの応用|2014-2/2014-2M001.pdf|
|建部 大輔|首藤 一幸|クラウドストレージの読み書き性能とアプリケーション性能の関係|2014-2/2014-2M002.pdf|
|安藤 泰弘|首藤 一幸|構造化オーバレイにおけるアクセス分布のみに基づく経路表構築手法|2014-2/2014-2M003.pdf|
|石川 大記|間瀬 茂・&br;鈴木 大慈|アンサンブル学習の統合における予測精度の改善|2014-2/2014-2M004.pdf|
|岩渕 圭太|松岡 聡|不揮発性メモリを考慮したグラフアルゴリズムの大規模実行と最適化|2014-2/2014-2M005.pdf|
|河村 知輝|松岡 聡|自動テンポラルブロッキングによる大規模ステンシル計算の実現|2014-2/2014-2M006.pdf|
|神門 圭太|武藤 滋夫|競争における妨害のゲーム理論を用いた分析|2014-2/2014-2M007.pdf|
|小関 義博|田中 圭介|強いプライバシーを持った準同型署名方式の構成|2014-2/2014-2M008.pdf|
|小林 淳記|福田 光浩・&br;山下 真|Stable Compressive Principal Component Pursuit の提案と解析|2014-2/2014-2M009.pdf|
|小松 章彦|山下 真・&br;福田 光浩|上下限制約つき非線形半正定値計画問題に対する信頼領域法の設計|2014-2/2014-2M010.pdf|
|近藤 侑史|鹿島 亮|Semilattice relevant logic UR の決定可能性について|2014-2/2014-2M011.pdf|
|櫻井 洋之|三好 直人|外部処理がある単一サーバ再試行型待ち行列の漸近解析|2014-2/2014-2M012.pdf|
|下原 一馬|間瀬 茂|クリギング法における観測地点の最適化|2014-2/2014-2M013.pdf|
|瀬川 朗|鹿島 亮|Axiomatizability in Multidimensional Temporal Logics|2014-2/2014-2M014.pdf|
|高見 将則|脇田 建|射影を用いたグラフの対話的可視化手法と複雑ネットワークへの応用|2014-2/2014-2M015.pdf|
|高柳 亘|脇田 建|非同期並列計算アクターモデルにもとづいたGPGPU用並列言語|2014-2/2014-2M016.pdf|
|仲川 聡子|鹿島 亮|Routley-Meyer semantics に従う様相論理について|2014-2/2014-2M017.pdf|
|永松 平|三好 直人|セルラネットワークの被覆確率に対するPadé近似|2014-2/2014-2M018.pdf|
|野田 亮輔|三好 直人|空間点過程を用いた無線通信モデルにおける被覆確率の単調性について|2014-2/2014-2M019.pdf|
|肥後 春菜|田中 圭介|二者間プロトコルのゲーム理論的安全性|2014-2/2014-2M020.pdf|
|星野 哲也|松岡 聡|GPUにおけるディレクティブベースプログラミングモデルの評価と性能可搬性のための拡張|2014-2/2014-2M021.pdf|
|森 健輔|脇田 建|Schemeマクロ展開器を用いたScala言語Hygienicマクロシステム|2014-2/2014-2M022.pdf|
|善本 興司|間瀬 茂|球面上で定義される共分散関数の構築|2014-2/2014-2M023.pdf|
|Pham Thong The|脇田 建・&br;下平 英寿|Nonparametric estimation of the preferential attachment function in complex networks|2014-2/2014-2M024.pdf|

** 2013年度修了 (2013年9月) [#xd42a906]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|高際 隼|西畑 伸也|プラズマ物理に現れるEuler-Poisson方程式の数値解析スキームの検討|2013-8/2013-8M001.pdf|
|宮尾 武裕|首藤 一幸|柔軟な経路表に基づく範囲検索可能な構造化オーバレイ|2013-8/2013-8M002.pdf|
|胡 佳男|三好 直人|Queueing analysis of power consumption in server farm with independent setup times|2013-8/2013-8M003.pdf|

** 2012年度修了 (2013年3月) [#jb9670f2]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|濱口 卓也|間瀬 茂|Gaussian copula における共分散関数について|2013-2/2013-2M001.pdf|
|山口 義隆|間瀬 茂|条件付き分布にしたがうデータからの無条件分布の推定|2013-2/2013-2M002.pdf|
|河野 友亮|鹿島 亮|中間論理CDを拡張した論理における補間定理について|2013-2/2013-2M003.pdf|
|市川 和央|渡辺 治・&br;千葉 滋|静的型付け言語における汎用的なユーザ定義演算子を含む式の構文解析手法|2013-2/2013-2M004.pdf|
|伊藤 勝|福田 光浩・&br;山下 真|凸計画問題に対する劣勾配アルゴリズムの新しい枠組み提案|2013-2/2013-2M005.pdf|
|今井 寿太朗|鹿島 亮|時相論理ECTLの充足可能性と完全性について|2013-2/2013-2M006.pdf|
|岩見 弘一郎|西畑 伸也|プラズマ流を記述するBipolar Euler-Poisson方程式の定常解の数学解析|2013-2/2013-2M007.pdf|
|大谷 桂介|脇田 建|並列分散処理に対応した自己記述構造化バイナリデータ|2013-2/2013-2M008.pdf|
|大谷 晃司|渡辺 治・&br;千葉 滋|アスペクト指向言語のための視点に応じた編集を可能にするツール|2013-2/2013-2M009.pdf|
|大坪 峻之|田中 圭介|Construction for Leakage-Resilient Public-Key Encryption|2013-2/2013-2M010.pdf|
|梶原 和樹|三好 直人|専用サーバと共用サーバを持つ再試行型待ち行列の漸近解析|2013-2/2013-2M011.pdf|
|金城 憲長|山下 真・&br;下平 英寿|センサーネットワーク位置推定問題における重み付けの研究|2013-2/2013-2M012.pdf|
|木下 雄介|田中 圭介|Proxy and Non-malleability on Broadcast Encryption|2013-2/2013-2M013.pdf|
|小林 拓矢|三好 直人|セルラネットワークにおける上りリンクの確率幾何モデル|2013-2/2013-2M014.pdf|
|後藤 創|小島 定吉|自由群の降中心列について|2013-2/2013-2M015.pdf|
|斎藤 貴文|松岡 聡|不揮発性メモリにおけるモデルに基づいた消費電力最適化|2013-2/2013-2M016.pdf|
|新屋 良磨|佐々 政孝|正規言語上のAbstract Numeration Systemの文字列圧縮への応用|2013-2/2013-2M017.pdf|
|高野 圭司|渡辺 治|フロンティア法から生成される ZDD の幅解析|2013-2/2013-2M018.pdf|
|中垣 敬|福田 光浩・&br;山下 真|対数行列式とl_1ノルムを持つ半正定値計画問題に対するスペクトル射影勾配法の実装|2013-2/2013-2M019.pdf|
|仲田 至|三好 直人|複数種類の基地局からなるセルラネットワークの確率幾何モデル|2013-2/2013-2M020.pdf|
|永田 晴久|脇田 建・&br;下平 英寿|階層型クラスタリングの GPU ブートストラップ実装と負荷パラメータの導入|2013-2/2013-2M021.pdf|
|華井 雅俊|首藤 一幸|Simulation of Large-Scale Distributed Systems with a Distributed Graph Processing System|2013-2/2013-2M022.pdf|
|平松 俊樹|渡辺 治・&br;千葉 滋|実行速度を考慮した実装法による細粒度でのコード再利用のためのメソッド内メソッド|2013-2/2013-2M023.pdf|
|福田 圭祐|松岡 聡|タスクスケジューリングを用いたFast Multipole Methodのための異種プロセッサ混在負荷分散手法|2013-2/2013-2M024.pdf|
|藤井 慶彦|鹿島 亮|永続弱正規化可能ラムダ項の帰納的定義について|2013-2/2013-2M025.pdf|
|甫水 佳奈子|脇田 建|解析表現文法とSchemeマクロ展開器を用いたJavaScript言語向けHygienic構文マクロシステム|2013-2/2013-2M026.pdf|
|宮崎 慶|山下 真・&br;福田 光浩|Completely Positive計画問題に対するT錐緩和による問題サイズの縮小化|2013-2/2013-2M027.pdf|
|遊佐 俊彦|渡辺 治|正規化圧縮距離の妥当性解析|2013-2/2013-2M028.pdf|

** 2012年度修了 (2012年9月) [#g4393974]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|田口 貴規|佐々 政孝|Split Compilationによる,実行時オーバーヘッドを抑えた 自動SIMD化システムのAVX拡張|2012-8/2012-8M001.pdf|
|松浦 主税|金 英子|区間力学系における forcing tree と位相的エントロピーについて|2012-8/2012-8M002.pdf|
|張 家悦|松岡 聡|Fast PGAS Implementation of Multithreaded Asynchronous Large-Scale Graph Traversal for Supercomputers with Local Semi-External Memory|2012-8/2012-8M003.pdf|

** 2011年度修了 (2012年3月) [#i1f3de68]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|新井 昇鎬|千葉 滋|仮想マシンを用いた IDS オフロードのための資源管理機構|2012-2/2012-2M002.pdf|
|加藤 真人|脇田 建|Webアプリケーション開発のための分散JavaScript言語|2012-2/2012-2M003.pdf|
|今井 達也|渡辺 治|古典的充足プランニングにおける高性能経路探索アルゴリズムの開発|2012-2/2012-2M004.pdf|
|大久保 貴司|千葉 滋|静的型付きオブジェクト指向言語のための暗黙的に型定義されるレコード|2012-2/2012-2M005.pdf|
|垣江 暢大|三好 直人|複数種類のオブジェクトから成る平均場相互作用モデルとその応用|2012-2/2012-2M006.pdf|
|金澤 圭|千葉 滋|Kide: 開発環境による対話的なモジュール分割と文書作成の支援|2012-2/2012-2M007.pdf|
|川島 潤也|谷口 雅治|反応拡散方程式におけるある全域解の特徴付け|2012-2/2012-2M008.pdf|
|坂口 聡一朗|小島 政和|非凸二次整数混合計画問題に対する拡張主双対法を用いた効率的な求解|2012-2/2012-2M010.pdf|
|篠塚 奈津紀|西畑 伸也|プラズマ物理に現れるBipolar Euler-Poisson方程式の定常解について|2012-2/2012-2M011.pdf|
|白幡 晃一|松岡 聡|超大規模グラフを対象としたGIM-V処理のGPUによる高速化|2012-2/2012-2M012.pdf|
|高田 紘行|小島 定吉|算術的フックス群の基本領域|2012-2/2012-2M013.pdf|
|津田 均|脇田 建|多くの色情報をもつ画像へのSmartColorの拡張|2012-2/2012-2M014.pdf|
|寺本 裕基|千葉 滋|統合開発環境によって表現された言語機構によるコードのモジュール化|2012-2/2012-2M015.pdf|
|長尾 洋也|首藤 一幸|A Method of Designing Structured Overlay Algorithms Based on a Total Order on a Routing Table Set|2012-2/2012-2M016.pdf|
|早船 総一郎|千葉 滋|Reserved member 方式によるメンバーの実行時追加機構の提案|2012-2/2012-2M017.pdf|
|細谷 聡|間瀬 茂|Multivariate copulaによる確率場の構成についての研究|2012-2/2012-2M018.pdf|
|丸山 真介|三好 直人|空間閾値グラフの連結性について|2012-2/2012-2M019.pdf|
|三根 宏太|下平 英寿|独立成分分析における能動学習法|2012-2/2012-2M020.pdf|
|横山 智子|三好 直人|交互通行モデルにおける残余仕事量の同時分布|2012-2/2012-2M021.pdf|
|吉永 卓矢|脇田 建|JavaScriptアプリケーション開発のためのLive Editシステム|2012-2/2012-2M022.pdf|
|郭 霞|下平 英寿|マルチスケール・ブートストラップ法による塩基置換モデルの信頼度評価|2012-2/2012-2M023.pdf|
|NGUYEN TOAN|松岡 聡|Application Fault Tolerance on GPU Clusters with Transparent Checkpointing|2012-2/2012-2M024.pdf|

** 2011年度修了 (2011年9月) [#lc3baf23]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|中村 俊介|首藤 一幸|読み出し性能と書き込み性能を両立させるクラウドストレージ|2011-8/2011-8M001.pdf|
|Nguyen Manh Ha|田中 圭介|Generic Constructions for Leakage-Resilient Public-Key Encryption|2011-8/2011-8M002.pdf|

** 2010年度修了 (2011年3月) [#e4252e0a]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|井村 太一|脇田 建|幾何学的特徴とアピアランスベースの特徴を併用した顔表情認識|2011-2/2011-2M001.pdf|
|中井 亮平|小島 政和|パズル的画像処理問題に対する離散最適化手法の応用|2011-2/2011-2M002.pdf|
|安積 武志|千葉 滋|ゲストOS情報を用いたVMMレベル・パケットフィルタ|2011-2/2011-2M003.pdf|
|青木 正良|下平 英寿|Smoothed Bootstrap法によるマルチスケール・バギングの安定化|2011-2/2011-2M004.pdf|
|荒井 浩|脇田 建|「プログラム≠データ」な言語に対するHygienicマクロシステム|2011-2/2011-2M005.pdf|
|五十嵐 巳玲一|佐々 政孝|ループ並列化の為のリタイミングによるループ最適化|2011-2/2011-2M006.pdf|
|市川 剛|谷口 雅治|Allen-Cahn方程式における進行波の安定性条件の緩和|2011-2/2011-2M007.pdf|
|伊藤 理央|西畑 伸也|半導体の流体力学モデルについての時間局所解の存在に関する考察|2011-2/2011-2M008.pdf|
|稲澤 芳宗|脇田 建|集合知的な音楽ジャンルを用いた音楽検索システムの提案|2011-2/2011-2M009.pdf|
|及川 宗明|佐々 政孝|コンピュータ囲碁における教師付き学習を用いたプレイアウトの調整|2011-2/2011-2M010.pdf|
|荻原 隆一|小島 政和|センサネットワーク問題におけるグラフの性質を利用した解法の研究|2011-2/2011-2M011.pdf|
|加藤 健太|小島 政和・&br;福田 光浩|Implementation of Preprocessing Methods for Conic-form Linear Optimization Problems: Free Variables Elimination and Size Reduction by Exploiting Sparsity|2011-2/2011-2M012.pdf|
|木村 恒太|三好 直人|双対型マルコフ再生方程式を用いた Miyazawa-Zhao's "stationary tail asymptotics in GI/G/1-type queues" の証明|2011-2/2011-2M013.pdf|
|小林 義和|渡辺 治|単独エージェント探索における大規模並列化手法の提案と解析|2011-2/2011-2M014.pdf|
|小松 勇介|下平 英寿|ブートストラップ法の高速近似を用いたLiNGAM因果構造推定の信頼性評価|2011-2/2011-2M015.pdf|
|佐々木 大輔|金 英子|組みひも群の共役問題とそのアルゴリズムについて|2011-2/2011-2M016.pdf|
|島田 大地|松岡 聡|異種GPUにおける性能特性に応じた最適化|2011-2/2011-2M017.pdf|
|鈴木 健太|脇田 建|Barberのbipartite modularityを最適化する2部グラフ高速クラスタリング手法|2011-2/2011-2M018.pdf|
|塚田 直樹|三好 直人|FIFOキャッシュアルゴリズムの流体解析|2011-2/2011-2M019.pdf|
|長坂 仁|松岡 聡|GPUにおけるモデルに基づいた電力効率の最適化|2011-2/2011-2M020.pdf|
|並木 均|田中 圭介|Information Leakage in Public-Key Encryption|2011-2/2011-2M021.pdf|
|野村 達雄|松岡 聡|A Code Generation Framework for Stencil Computations on Large Scale GPU Clusters|2011-2/2011-2M022.pdf|
|早坂 智行|渡辺 治|多項式しきい値関数密度の上界の改善|2011-2/2011-2M023.pdf|
|日浦 敬太|間瀬 茂|線形混合モデルの空間モデルへの応用|2011-2/2011-2M024.pdf|
|藤原 一貴|佐々 政孝|時相論理とモデル検査を用いたCコンパイラ最適化器|2011-2/2011-2M025.pdf|
|別役 浩平|千葉 滋|部分的再ロードによる Java プログラムの再起動の高速化手法|2011-2/2011-2M026.pdf|
|正井 秀俊|小島 定吉|On volume formulae in terms of orthospectrum|2011-2/2011-2M027.pdf|
|松本 久志|千葉 滋|プログラムの差分記述を容易に行うためのレイヤー機構付きIDEの提案|2011-2/2011-2M028.pdf|
|持田 信行|間瀬 茂|極限条件付き分散を用いた正規確率場の逐次シミュレーション法|2011-2/2011-2M029.pdf|
|山口 裕生|渡辺 治|定数段回路の学習および定数段分布生成器に関する研究|2011-2/2011-2M030.pdf|
|山田 章央|田中 圭介|Public-Key Cryptosystems Based on Weaker Assumptions|2011-2/2011-2M031.pdf|
|和田 裕一郎|小島 政和|有界な確率分布に従うジョブの貪欲スケジューリングに対する最適解への収束速度の考察|2011-2/2011-2M032.pdf|

** 2010年度修了 (2010年9月) [#lff40fcf]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|中村 天真|三好 直人|Cox/M/c/0システムにおける呼損率の不変性|2010-8/2010-8M001.pdf|

** 2009年度修了 (2010年3月) [#k1064974]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|青井 遥|下平 英寿|不完全データにおける情報量規準の状態空間モデルへの応用|2010-2/2010-2M001.pdf|
|赤井 駿平|千葉 滋|An Extension of AspectJ to Weave Aspect into an Arbitrary Code Region|2010-2/2010-2M002.pdf|
|赤木 維磨|渡辺 治|トランスポジションテーブルを利用したIDA*アルゴリズムとプランニングへの応用|2010-2/2010-2M003.pdf|
|五十嵐 健|谷口 雅治|進行波の大域安定性|2010-2/2010-2M004.pdf|
|板谷 和彦|高橋 幸雄|マルコフ連鎖に対する極値指数および極値分布の考察|2010-2/2010-2M005.pdf|
|岩波 克|鹿島 亮|直観主義二階命題論理の意味論について|2010-2/2010-2M006.pdf|
|岩橋 弥生|佐々 政孝|Cell Broadband Engineを対象とした、コンパイラの自動SIMD化の実装|2010-2/2010-2M007.pdf|
|太田 眞敬|佐々 政孝|Rubyにおけるメモリ管理改善手法|2010-2/2010-2M008.pdf|
|柿沼 英夫|三好 直人|多数回停止オッズ和定理|2010-2/2010-2M009.pdf|
|桐原 行央|小島 政和|同時ブロック対角化アルゴリズムの安定性の向上|2010-2/2010-2M010.pdf|
|栗原 史和|高橋 幸雄|ピーマン袋詰め問題のシミュレーションによる検討|2010-2/2010-2M011.pdf|
|國府 理央|松岡 聡|大規模計算機システムの資源選択を支援するエキスパートシステム|2010-2/2010-2M012.pdf|
|小林 真|間瀬 茂|離散フーリエ変換を用いた多変量確率場のシミュレーション法について|2010-2/2010-2M013.pdf|
|佐藤 賢斗|松岡 聡|仮想マシンマイグレーションを考慮した大規模データ処理の最適化|2010-2/2010-2M014.pdf|
|重田 尚孝|西畑 伸也|Relaxation and classical limits of time-global solutions to quantum hydrodynamic models for semiconductors|2010-2/2010-2M015.pdf|
|副島 佑介|佐々 政孝|コンピュータ囲碁におけるRoot並列化について|2010-2/2010-2M016.pdf|
|武山 文信|千葉 滋|A New Kind of Advice for Advice Composition without Interference|2010-2/2010-2M017.pdf|
|田添 聡士|渡辺 治|仮想マシン再配置問題に対する厳密アルゴリズム|2010-2/2010-2M018.pdf|
|樽見 晋平|鹿島 亮|知識の論理と時間の論理について|2010-2/2010-2M019.pdf|
|丹 優樹|田中 圭介|Security on Public-Key Encryption with Keyword Search|2010-2/2010-2M020.pdf|
|中井 菜子|脇田 建|毛筆文字上達のための運筆学習システム|2010-2/2010-2M021.pdf|
|永瀬 知昭|高橋 幸雄|動的な途中目的地を導入した歩行モデル|2010-2/2010-2M022.pdf|
|芳賀 浩太|下平 英寿|LiNGAMによる潜在構造探索の信頼性評価|2010-2/2010-2M023.pdf|
|濱野 智明|松岡 聡|GPUクラスタにおける省電力タスクスケジューリング|2010-2/2010-2M024.pdf|
|藤原 幹大|小島 定吉|On homotopy of words|2010-2/2010-2M025.pdf|
|松田 敏秀|田中 圭介|CCA Proxy Re-Encryption without Bilinear Maps in the Standard Model|2010-2/2010-2M026.pdf|
|森田 悟史|千葉 滋|分散アスペクトの一貫性の保持と停止時間の短縮を考慮した動的織り込み手法|2010-2/2010-2M027.pdf|
|谷川原 祐一|下平 英寿|MCMC法を用いたスケールフリーネットワークのモデル推定|2010-2/2010-2M028.pdf|
|吉川 紘史|鹿島 亮|論理式集合の分離問題について|2010-2/2010-2M029.pdf|
|渡辺 祐也|松岡 聡|GPUクラスタにおける科学技術計算の自動最適化|2010-2/2010-2M030.pdf|

** 2009年度修了 (2009年9月) [#f7e054ce]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|小倉 麻理子|三好 直人|無限サーバ待ち行列がつくるスケールフリー区間グラフとその拡張|2009-8/2009-8M001.pdf|
|田所 秀和|千葉 滋|複数OSに対応した仮想マシン間プロセススケジューリング|2009-8/2009-8M002.pdf|
|野田 佳克|西畑 伸也|Semiconductor Device Simulation for Quantum Drift Diffusion Model|2009-8/2009-8M003.pdf|

** 2008年度修了 (2009年3月) [#w8db4fa7]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|今橋 孝典|佐々 政孝|種々の最適化の効果のモデル化と,それに基づく最適化列の効果の予測|2009-2/2009-2M001.pdf|
|新里 倫子|高橋 渉|A Strong Convergence Theorem by a New Hybrid Method for an Equilibrium Problem with Nonlinear Mappings in a Hilbert Space|2009-2/2009-2M002.pdf|
|安藤 友則|渡辺 治|ランダムSAT問題とランダムグラフに対する固有値法の解析|2009-2/2009-2M003.pdf|
|五十嵐 剛|高橋 幸雄|マルコフ過程に近い確率過程としての経済指標の同時分布の分析|2009-2/2009-2M004.pdf|
|茨木 啓太|小島 定吉|Train track complex of once-punctured torus and 4-punctured sphere|2009-2/2009-2M005.pdf|
|今吉 竜之介|千葉 滋|横断的関心事を扱うためのオブジェクト指向言語の拡張|2009-2/2009-2M006.pdf|
|内河 綾|千葉 滋|WEBアプリケーションのためのモジュール化のための言語|2009-2/2009-2M007.pdf|
|内田 修平|高橋 幸雄|列車の遅延・混雑に関する情報提供と旅客の列車選択|2009-2/2009-2M008.pdf|
|蒲野 茂幸|佐々 政孝|SIMD最適化向けソースコードレベルでのコード変形|2009-2/2009-2M009.pdf|
|狩野 薫|西畑 伸也|量子効果を考慮した半導体の流体力学モデルの定常解について|2009-2/2009-2M011.pdf|
|川嵜 崇史|谷口 雅治|反応拡散方程式における球対称に広がる解|2009-2/2009-2M012.pdf|
|越田 港|脇田 建|大規模社会ネットワークの階層的視覚化手法|2009-2/2009-2M013.pdf|
|坂川 航|鹿島 亮|記号が制限された古典/直観主義2階命題論理|2009-2/2009-2M014.pdf|
|坂口 亮|渡辺 治|固有値法を用いたクラスタリングの平均時の性能解析|2009-2/2009-2M015.pdf|
|佐藤 祐亮|高橋 幸雄|マルチカーエレベータ群管理アルゴリズムのシミュレーションによる検討|2009-2/2009-2M016.pdf|
|高橋 健太|高橋 渉|Approximating common fixed points of nonspreading mappings and nonexpansive mappings|2009-2/2009-2M017.pdf|
|田中 一嘉|高橋 渉|Weak convergence theorems for nonspreading mappings and equilibrium problems|2009-2/2009-2M018.pdf|
|田中 秀宗|渡辺 治|Gowers 一様性による剰余関数の相関評価|2009-2/2009-2M019.pdf|
|中川 元貴|佐々 政孝|アフィン分割を用いた自動ループ並列化|2009-2/2009-2M020.pdf|
|沼山 晃|田中 圭介|Weakened Random Oracle Models|2009-2/2009-2M021.pdf|
|細萱 祐人|松岡 聡|HPC向け超低消費電力メモリシステム|2009-2/2009-2M022.pdf|
|増田 萌|脇田 建|色盲者用再配色システムの描画ソフトへの応用|2009-2/2009-2M023.pdf|
|村山 靖洋|間瀬 茂|ブロック行列を用いた正規確率場の逐次シミュレーション法の研究|2009-2/2009-2M024.pdf|
|山崎 翔平|松岡 聡|共通メモリイメージを考慮した大規模アプリケーションのマイグレーション最適化|2009-2/2009-2M025.pdf|
|山下 寛隆|小島 政和|Extended ν-SVM に表れる非凸最適化問題に対する線形近似反復手法の改良|2009-2/2009-2M026.pdf|
|吉田 悦郎|脇田 建|ユーザプロファイルの自動共有化機構を用いた大規模ベイジアンスパムフィルタの実現化|2009-2/2009-2M027.pdf|
|和田 幸一郎|田中 圭介|Rational Ramp Schemes|2009-2/2009-2M028.pdf|

** 2008年度修了 (2008年9月) [#cfaa5d45]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|竹部 裕俊|田中 圭介|Public-Key Steganography with Authentication|2008-8/2008-8M001.pdf|
|ラティランウォン スメート|松岡 聡|Adaptive Index Distribution Technique for Efficient Search on Unstructured P2P Networks|2008-8/2008-8M002.pdf|
|Mario Larangeira|田中 圭介|Security Proofs for Signature Schemes in the Generic Model|2008-8/2008-8M003.pdf|

** 2007年度修了 (2008年3月) [#v96162e8]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|井上 豪|高橋 渉|Strong convergence theorems by hybrid methods for maximal monotone operators and relatively nonexpansive mappings in Banach spaces |2008-2/2008-2M001.pdf|
|井上 大輔|田中 圭介|Constructions for Conditional Oblivious/Converge Transfer/Cast|2008-2/2008-2M002.pdf|
|臼田 憲司|間瀬 茂|共変量データが大量にある場合のコクリギング法の研究|2008-2/2008-2M003.pdf|
|小野寺 久人|三好 直人|P2Pネットワークにおける確率的フラッディングの効果について|2008-2/2008-2M004.pdf|
|蒲谷 俊介|高橋 幸雄|RFIDシステムにより生じるプライバシー問題の分析|2008-2/2008-2M005.pdf|
|栗田 洋輔|千葉 滋|ポータブルな JIT コンパイラを開発するための使いやすいバックエンド|2008-2/2008-2M006.pdf|
|黒川 由生|高橋 渉|Fixed Point Theorems in Reflexive Banach Spaces|2008-2/2008-2M007.pdf|
|行田 修久|高橋 幸雄|歩行可能領域に制約のある空間における歩行モデル|2008-2/2008-2M008.pdf|
|作本 紘一|田中 圭介|Key Substitutability on Signature and Its Applications|2008-2/2008-2M009.pdf|
|佐藤 一道|脇田 建|ユーザプロファイルの共有によるベイジアンスパムフィルタの大規模化手法|2008-2/2008-2M010.pdf|
|世木 辰典|間瀬 茂|線形混合モデルの応用について|2008-2/2008-2M011.pdf|
|高橋 寛|高橋 渉|Existence theorems and strong convergence theorems by a hybrid method for equilibrium problems in Banach spaces|2008-2/2008-2M012.pdf|
|滝澤 裕二|千葉 滋|SAccessor: デスクトップ PC のための安全なファイルアクセス制御システム|2008-2/2008-2M013.pdf|
|田中 努|小島 政和|半正定値計画問題の並列解法の実装|2008-2/2008-2M014.pdf|
|鶴見 敏行|脇田 建|大規模社会ネットワークからコミュニティ構造を抽出するための分散アルゴリズム|2008-2/2008-2M015.pdf|
|波多腰 真梨|小島 定吉・&br;金 英子|The second smallest hyperbolic 3-manifolds with geodesic boundary|2008-2/2008-2M016.pdf|
|林 賢史|渡辺 治|決定性有限オートマトンの極限学習|2008-2/2008-2M017.pdf|
|久松 達典|下平 英寿|時系列データの階層型クラスタ分析におけるマルチスケール・ブートストラップ法|2008-2/2008-2M018.pdf|
|平野 裕|小島 定吉|The moduli space of equilateral hexagons|2008-2/2008-2M019.pdf|
|福久 琢也|脇田 建|Wikipedia 内リンクを利用した短文間の関連性計算|2008-2/2008-2M020.pdf|
|堀江 倫大|千葉 滋|AspectScope によるアスペクト指向プログラミングの支援|2008-2/2008-2M021.pdf|
|山根 翔太|間瀬 茂|地震の震度予測に対する階層的ベイズモデルの応用|2008-2/2008-2M022.pdf|
|山本 直樹|渡辺 治|MPQ木を用いた重み付き区間グラフの認識アルゴリズム|2008-2/2008-2M023.pdf|
|横塚 誠|鹿島 亮|線形離散的な様相論理K4DLZの完全性|2008-2/2008-2M024.pdf|
|吉羽 和之|佐々 政孝|BDDを利用したCプログラムのfield-sensitiveなポインタ解析|2008-2/2008-2M025.pdf|
|米倉 翔一|佐々 政孝|Array SSAとそれを用いた最適化の実装と評価|2008-2/2008-2M026.pdf|
|ダオ タン ビン|柴山 悦哉|Security testing of legacy web applications in PHP using precise tainting|2008-2/2008-2M027.pdf|
|河合 博一|小島 定吉|Morse functions on the Fermat curve|2008-2/2008-2M028.pdf|
|千葉 立寛|松岡 聡|グリッド環境におけるMPI集団通信アルゴリズムの最適化|2008-2/2008-2M029.pdf|

** 2007年度修了 (2007年9月) [#r7f6f052]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|鈴木 徹|鹿島 亮|サイクルを記述する定数を持つ様相論理について|2007-8/2007-8M001.pdf|
|千田 敏|間瀬 茂|確率的言語モデルを用いた源氏物語のテキスト分析|2007-8/2007-8M002.pdf|
|山下 直之|田中 圭介|A Study on ID-Based Cryptosystems|2007-8/2007-8M003.pdf|

** 2006年度修了 (2007年3月) [#n879d731]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|中谷 俊晴|佐々 政孝|比較照合法によるコンパイラ最適化器の誤りの検出|2007-2/2007-2M001.pdf|
|三廻部 大|柴山 悦哉|ファイルキャッシュの複製によるプロセス移送後ファイルアクセスの高速化|2007-2/2007-2M002.pdf|
|青木 康博|千葉 滋|アプリケーションに応じた AOP による高速化が可能な永続システム|2007-2/2007-2M003.pdf|
|青野 良範|渡辺 治|Lattice の shortest vector 問題を用いた RSA 暗号への攻撃について|2007-2/2007-2M004.pdf|
|岩崎 久史|渡辺 治|反復文字列抽出とその応用|2007-2/2007-2M005.pdf|
|岩崎 敏|脇田 建|細粒度なシステム依存グラフを用いたプログラム盗用発見システム|2007-2/2007-2M006.pdf|
|上原 彬子|高橋 幸雄|一次元モバイルアドホック・ネットワークにおける通信可能持続時間分布の解析|2007-2/2007-2M007.pdf|
|内川 健|小島 政和|Max-max 戦略に基づく線形判別|2007-2/2007-2M008.pdf|
|江島 直樹|高橋 幸雄|列車運行情報の提供と旅客経路選択行動との関連性について|2007-2/2007-2M009.pdf|
|大山 千尋|田中 圭介|Universal Designated-Verifier Ring Signature|2007-2/2007-2M010.pdf|
|岡本 稔|鹿島 亮|特殊な述語を含む直観主義論理に関する研究|2007-2/2007-2M011.pdf|
|狩野 祐介|佐々 政孝|Flow-insensitiveな別名情報と制御フロー構造を用いた最適化対象の拡大|2007-2/2007-2M012.pdf|
|草川 恵太|田中 圭介|A Study on Lattice-Based Cryptosystems|2007-2/2007-2M013.pdf|
|熊原 奈津子|千葉 滋|アスペクト指向言語による例外処理の記述方法の改善|2007-2/2007-2M014.pdf|
|黒田 滋樹|柴山 悦哉|P2Pを用いたWeb動向集計フレームワーク|2007-2/2007-2M015.pdf|
|佐原 聡一郎|佐々 政孝|時相論理を用いたコンパイラ最適化器の検証|2007-2/2007-2M016.pdf|
|篠塚 耕一|三好 直人|DDoS 攻撃に対する IP トレースバック技術の漸近評価|2007-2/2007-2M017.pdf|
|芝野 恭平|高橋 渉|Convergence theorems for nonexpensive mappings in Hilbert spaces|2007-2/2007-2M018.pdf|
|杉松 武典|小島 政和|多変数多項式関数値およびその偏導関数値の効果的な評価法|2007-2/2007-2M019.pdf|
|杉元 洋志|小島 政和|多項式計画問題に対する半正定値緩和法の実装に関する研究|2007-2/2007-2M020.pdf|
|鈴木 健太郎|小島 政和|拡散過程の生存確率に対する半正定値計画を用いた数値計算手法|2007-2/2007-2M021.pdf|
|高橋 紘士|間瀬 茂|ブロックデータに対するクリギング法におけるパラメータ推定のためのアルゴリズムの研究|2007-2/2007-2M022.pdf|
|立薗 真樹|松岡 聡|動的な資源スケジューリングが可能な仮想クラスタ上でのMPI実行環境|2007-2/2007-2M023.pdf|
|田中 利治|柴山 悦哉|長距離移動に対応したマウスカーソル移動方式の評価|2007-2/2007-2M024.pdf|
|谷口 智也|下平 英寿|遺伝疫学における遺伝子間相互作用解析のため探索手法|2007-2/2007-2M025.pdf|
|内藤 和真|渡辺 治|次数3-ターミナルシュタイナー木問題に対する近似アルゴリズム|2007-2/2007-2M026.pdf|
|西村 豪生|松岡 聡|高速でスケーラブルな仮想クラスタ構築機構|2007-2/2007-2M027.pdf|
|芳賀 和也|谷口 雅治|Nagumo方程式と進行波解|2007-2/2007-2M028.pdf|
|牧野 格三|渡辺 治|連結度4,次数4の正則2部グラフに対する被覆路問題|2007-2/2007-2M029.pdf|
|宮本 裕美子|高橋 幸雄|バースト長を考慮したパケットロスモデルによる TCP SACK の性能評価|2007-2/2007-2M030.pdf|
|八代 正俊|田中 圭介|Private Approximation of the Set Cover Problem|2007-2/2007-2M031.pdf|

** 2006年度修了 (2006年9月) [#xc81e31b]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|青木 仁志|松岡 聡|動的なノード群構成機構を備えた階層型グリッド環境|2006-8/2006-8M001.pdf|
|方 玲|佐々 政孝|双方向 CTL による Java プログラム最適化器の生成|2006-8/2006-8M002.pdf|

** 2005年度修了 (2006年3月) [#meda83b8]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|家本 繁|高橋 渉|Fixed Point Algorithms in Optimization|2006-2/2006-2M001.pdf|
|石川 零|千葉 滋|アスペクト指向プログラミングと Dependency Injection の融合|2006-2/2006-2M002.pdf|
|伊藤 陽|佐々 政孝|実行時情報を利用した部分冗長除去|2006-2/2006-2M003.pdf|
|岩沢 直佳|谷口 雅治|走光性を持つ細胞集団に現れる進行パルスについて|2006-2/2006-2M004.pdf|
|薄井 義行|千葉 滋|統合開発環境のためのアスペクト指向システム|2006-2/2006-2M005.pdf|
|大野 将春|高橋 幸雄|歩行者間の予測を考慮したグループ混在歩行モデルの構築|2006-2/2006-2M006.pdf|
|金内 志津|田中 圭介|チェック機能をもつ公開鍵暗号|2006-2/2006-2M007.pdf|
|上村 健|下平 英寿|スケールフリー構造をもつ遺伝子ネットワークのベイズ推定|2006-2/2006-2M008.pdf|
|古閑 千寛|高橋 渉|A sufficient condition for calmness in equality constrained optimization problems|2006-2/2006-2M009.pdf|
|近藤 亮介|渡辺 治|重み付きコーダルグラフ上の重み最小極大独立点集合の探索問題|2006-2/2006-2M010.pdf|
|佐藤 圭祐|鹿島 亮|λ 記号の加わった様相論理に関する研究|2006-2/2006-2M011.pdf|
|嶋村 謙太|脇田 建|配色意図に基づいた色盲の人のための配色システムとその応用|2006-2/2006-2M012.pdf|
|鈴木 政尋|西畑 伸也|Asymptotic stability of a stationary solution to a hydrodynamic model of semiconductors|2006-2/2006-2M013.pdf|
|鈴木 学|田中 圭介|Sanitizable Signature with Secret Information|2006-2/2006-2M014.pdf|
|鷹岡 良治|脇田 建|制御フローグラフのトレースによる侵入検知|2006-2/2006-2M015.pdf|
|高橋 義明|高橋 渉|An Individual Ergodic Theorem on Banach Lattices|2006-2/2006-2M016.pdf|
|滝澤 真一朗|松岡 聡|光ネットワーク環境における MPI 集団通信|2006-2/2006-2M017.pdf|
|竹内 裕也|間瀬 茂|ブロックデータを用いた地球統計学の研究|2006-2/2006-2M018.pdf|
|多田 明功|高橋 渉|Existence of solutions for equilibrium problems and convergence theorems|2006-2/2006-2M019.pdf|
|田村 晋照|鹿島 亮|ハイブリット論理の公理系の研究|2006-2/2006-2M020.pdf|
|永見 瞳|高橋 渉|逆関数定理を用いた最適化理論と凸解析における諸定理の証明|2006-2/2006-2M021.pdf|
|羽田 大樹|田中 圭介|Models and Protocols for Password-based Authenticated Key Exchange|2006-2/2006-2M022.pdf|
|日比野 秀章|千葉 滋|J2EE アプリケーション におけるアプリケーションレベルスケジューリング|2006-2/2006-2M023.pdf|
|樋渡 玄良|田中 圭介|A Cramer-Shoup Variant Related to the Quadratic Residuosity Problem|2006-2/2006-2M024.pdf|
|本間 義之|間瀬 茂|地球統計学における cross-validation を用いた 共分散関数モデルの推定|2006-2/2006-2M025.pdf|
|町田 悠哉|松岡 聡|レプリカ管理システムを利用したデータインテンシブアプリケーション向けスケジューリングシステム|2006-2/2006-2M026.pdf|
|美原 義行|柴山 悦哉|声でカーソルを制御する技術に関する研究|2006-2/2006-2M027.pdf|
|森川 大輔|北野 晃朗|Morse 理論による道の空間のホモロジー群の計算例について|2006-2/2006-2M028.pdf|
|八重樫 栄|鹿島 亮|文字列の形式体系についての研究|2006-2/2006-2M029.pdf|
|山形 育平|松岡 聡|グリッド上における仮想計算機を用いた高速なジョブ実行環境構築システム|2006-2/2006-2M030.pdf|
|弓削 健|西畑 伸也|一次元半区間圧縮性 Navier-Stokes 方程式における 定常解への漸近レートについて|2006-2/2006-2M031.pdf|
|渡部 博徳|高橋 幸雄|受信パスチップ非同期に対応した CDMA 無線通信システムにおける S/N 比の導出と性能分析|2006-2/2006-2M032.pdf|

** 2004年度修了 (2005年3月) [#p82068a7]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|飯野 彰子|松岡 聡|ユーザのステアリングを許すインタラクティブなジョブスケジューリングシステム|2005-2/2005-2M001.pdf|
|石垣 良|鹿島 亮|厳密含意を持つ論理のためのシーケント計算|2005-2/2005-2M002.pdf|
|伊藤 大樹|西畑 伸也|構造型モデルによる企業倒産確率の実証研究|2005-2/2005-2M003.pdf|
|上野 悠香|脇田 建|進化学習による配色の好みの獲得を行う文書配色システム|2005-2/2005-2M004.pdf|
|内山 智貴|下平 英寿|仮設の幾何を考慮した高次の近似的に不偏な検定|2005-2/2005-2M005.pdf|
|大谷 明輝|谷口 雅治|反応拡散系における進行波|2005-2/2005-2M006.pdf|
|岡見 将司|渡辺 治|部分近傍計算とその応用|2005-2/2005-2M007.pdf|
|小野寺 貴男|田中 圭介|ゼロ知識証明のための基本関数と応用|2005-2/2005-2M008.pdf|
|加藤 善一|柴山 悦哉|効果線を用いたアニメーション作成インタフェースの設計と評価|2005-2/2005-2M009.pdf|
|佐伯 智久|高橋 幸雄|複数滑走路における|2005-2/2005-2M010.pdf|
|佐藤 仁|松岡 聡|アプリケーションのファイルアクセスの自動分散を行うグリッド向け分散ファイルシステム|2005-2/2005-2M011.pdf|
|白勢 健一郎|松岡 聡|グリッドコンピューティングにおける モニタリングシステムの自律的構成|2005-2/2005-2M012.pdf|
|實本 英之|松岡 聡|ポータブルな耐故障性コンポーネントフレームワークを 持つ MPI 実装に向けて|2005-2/2005-2M013.pdf|
|杉本 将人|間瀬 茂|階層構造をもつ複数データに基づく空間予測|2005-2/2005-2M014.pdf|
|鈴木了太|下平 英寿|Assessing the uncertainty in hierarchical cluster analysis via multiscale bootstrap resampling|2005-2/2005-2M015.pdf|
|須藤 大二朗|佐々 政孝|比較照合法によるコンパイラ最適化器の正しさの検証|2005-2/2005-2M016.pdf|
|須永 豊|千葉 滋|既存 Java プログラム向け分散化支援システムの開発|2005-2/2005-2M017.pdf|
|善林 啓|高橋 渉|Fixed point theorems for asymptotically nonexpansive semigroups in Banach spaces|2005-2/2005-2M018.pdf|
|田口 俊介|小島 政和|An Approximation Methodfor Robust Deviation Decision Problems|2005-2/2005-2M019.pdf|
|内貴 英臣|間瀬 茂|時空間モデルを用いた将来予測|2005-2/2005-2M020.pdf|
|中泉 貴子|脇田 建|プログラムの実行履歴を用いた強制アクセス制御ポリシーの自動生成|2005-2/2005-2M021.pdf|
|中川 伸吾|小島 政和|並列組合せ最適化システムによる配送計画問題の並列計算|2005-2/2005-2M022.pdf|
|濱野 智行|松岡 聡|非対称ネットワークを隠蔽する 高速通信インフラストラクチャの設計と実装|2005-2/2005-2M023.pdf|
|松沼 正浩|千葉 滋|過負荷時の Web アプリケーションの性能劣化を改善する Session-level Queue Scheduling|2005-2/2005-2M024.pdf|
|溝渕 裕司|佐々 政孝|変更文の移動を可能にした静的単一代入形式上の部分冗長性除去|2005-2/2005-2M025.pdf|
|三原章裕|田中 圭介|Short Signature と Aggregate Signature についての改良|2005-2/2005-2M026.pdf|
|柳澤 佳里|千葉 滋|動的アスペクト指向に基づいた使いやすいカーネルプロファイラ|2005-2/2005-2M027.pdf|
|山城 俊介|柴山 悦哉|長時間心電図閲覧のためのズーミングインタフェイスの提案と評価|2005-2/2005-2M028.pdf|
|Yan Liu|柴山 悦哉|Design and Implementation of A Web Application Server Management Interface Based on Users’ Operating and Understanding Patterns|2005-2/2005-2M029.pdf|

** 2003年度修了 (2004年3月) [#v58ad638]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|飯田 雅臣|渡辺 治|部分定義ブール関数のダブルホーン拡張および限定ホーン拡張|2004-2/2004-2M001.pdf|
|猪飼 美羽|小島 政和|テレビ番組の CM 割付問題に対する解法|2004-2/2004-2M002.pdf|
|一色 寿幸|田中 圭介|匿名グループ認証のための効率的な方式について|2004-2/2004-2M003.pdf|
|内田 康裕|高橋 渉|Generalization of Some Convergence Theorems in Hilbert Spaces|2004-2/2004-2M004.pdf|
|岡田 公孝|高橋 幸雄|個人行動をベースにした歩行モデルと高密度シミュレーション|2004-2/2004-2M005.pdf|
|岡本 透|高橋 渉|Banach 空間における集合の凸性と不動点定理|2004-2/2004-2M006.pdf|
|小倉 章嗣|松岡 聡|グリッド環境における VM 上でのジョブ実行の検討|2004-2/2004-2M007.pdf|
|加藤 亮一|渡辺 治|ファクター・オラクルを索引に用いた全文検索アルゴリズム|2004-2/2004-2M008.pdf|
|倉橋 輝彦|小島 政和|局所探索を用いた大規模対称疎行列におけるオーダリングアルゴリズム|2004-2/2004-2M009.pdf|
|栗田 亮|千葉 滋|感性を考慮したジョブスケジューリング|2004-2/2004-2M010.pdf|
|小濱 真樹|佐々 政孝・&br;脇田 建|SSA 正規化アルゴリズムの比較と評価|2004-2/2004-2M011.pdf|
|小林 真|三好 直人|コンピュータウイルスの感染形態に応じたモデル化とその評価|2004-2/2004-2M012.pdf|
|繁住 健哉|渡辺 治|データベース検索における最適シードの探索|2004-2/2004-2M013.pdf|
|芝崎 亮|脇田 建・&br;佐々 政孝|分光を考慮したダイヤモンドの写実的なレンダリング|2004-2/2004-2M014.pdf|
|杉本 豊昭|三好 直人|LRU キャッシュのページ・フォールト率に対する漸近解析|2004-2/2004-2M015.pdf|
|須田 聡|小島 政和|集約部品を考慮した部品構成展開問題の解法|2004-2/2004-2M016.pdf|
|高橋 成晃|高橋 幸雄|Accuracies of Decomposition-type Approximate Models for Large-Scale Mobile Communication Networks|2004-2/2004-2M017.pdf|
|立川 英|佐々 政孝・&br;脇田 建|静的単一代入形式上の部分冗長性除去|2004-2/2004-2M018.pdf|
|塚本 賢一|下平 英寿|SPLIT 分解を用いた効率的な系統樹探索法|2004-2/2004-2M019.pdf|
|中川 清志|千葉 滋|豊富な情報を基にしたpointcut を記述できる アスペクト指向言語|2004-2/2004-2M020.pdf|
|中村 将典|間瀬 茂|ベイジアンネットワークとその経営分析への応用|2004-2/2004-2M021.pdf|
|新倉 康明|渡辺 治|大規模マルコフ過程の解析手法について|2004-2/2004-2M022.pdf|
|西澤 無我|千葉 滋|遠隔ポイントカット - 分散アスペクト指向プログラミングのための言語機構|2004-2/2004-2M023.pdf|
|蓮尾 一郎|鹿島 亮|強い否定を持つ一階構成的論理のクリプキ完全性について|2004-2/2004-2M024.pdf|
|林 功朗|渡辺 治|サポートベクトル・マシンの近似アルゴ リズム ASVMの研究|2004-2/2004-2M025.pdf|
|林 良太郎|田中 圭介|公開鍵暗号および電子署名における匿名性|2004-2/2004-2M026.pdf|
|松田 明野|高橋 幸雄|見出し選択行動に基づくユーザ別ブラウジングモデル|2004-2/2004-2M027.pdf|
|源 真一|高橋 幸雄|異常時における列車運行情報提供と利用者の情報活用度を考慮にいれた経路選択推定モデル|2004-2/2004-2M028.pdf|
|山本 洋|松岡 聡|進化系統樹推定の  Ninf を用いた並列化およびスプリット分解の適用と評価|2004-2/2004-2M029.pdf|
|脇 隼人|小島 政和|多項式計画問題に対する半正定値計画緩和|2004-2/2004-2M030.pdf|
|W J P S P Wijayatunga|間瀬 茂|Graphical Model Selection|2004-2/2004-2M031.pdf|

** 2003年度修了 (2003年9月) [#g34c0cd5]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|水間 利治|佐々 政孝・&br;脇田 建|プログラムポイント毎の干渉解析を用いたレジスタ割り当て|2003-8/2003-8M001.pdf|

** 2002年度修了 (2003年3月) [#gdf83d30]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|榎本 礼|柴山 悦哉|暗号の性質を考慮したセキュリティプロトコルの検証|2003-2/2003-2M001.pdf|
|関口 良行|高橋 渉|Stability Analysis on Minimax Problems|2003-2/2003-2M002.pdf|
|青柳 嘉紀|高橋 幸雄|視聴行動データに基づくテレビ番組と視聴者の二段階分類|2003-2/2003-2M003.pdf|
|秋山 智宏|松岡 聡|グリッド環境での大規模並列組み合わせ最適化支援環境|2003-2/2003-2M004.pdf|
|吾郷 裕治|間瀬 茂|モンテカルロ法による状態空間モデリングとボラティリティ推定への応用|2003-2/2003-2M005.pdf|
|伊東 哉和|柴山 悦哉|ビデオカンファレンスにおけるテレビ番組的表示手法の提案|2003-2/2003-2M006.pdf|
|上園 智大|高橋 幸雄|マルチンゲール変換を用いたアメリカンオプション価格の上限評価|2003-2/2003-2M007.pdf|
|大村 慶二|田中 圭介・&br;渡辺 治|別の数え上げ符号を用いたナップザック暗号|2003-2/2003-2M008.pdf|
|緒方 大介|脇田 建・&br;佐々 政孝|バイトコードインタプリタ作成のためのツールキットの実現|2003-2/2003-2M009.pdf|
|小園 美樹|高橋 渉|Projections and Mosco convergence in Banach spaces|2003-2/2003-2M010.pdf|
|加藤 俊一|高橋 幸雄|ゲームにおけるセオリーに注目したプレーヤーモデルの構築|2003-2/2003-2M011.pdf|
|金谷 祐木子|間瀬 茂|LBP アルゴリズムを用いた連鎖解析|2003-2/2003-2M012.pdf|
|郡司 貴之|小島 政和|多面体的ホモトピー法の実装と並列化|2003-2/2003-2M013.pdf|
|笹生 健|松岡 聡|ヘテロなクラスタ環境における並列数値計算アルゴリズム|2003-2/2003-2M014.pdf|
|澤井 健|渡辺 治|LDPC 符号に対するランダム復号法の解析|2003-2/2003-2M015.pdf|
|鈴木 潤一|間瀬 茂|LBP アルゴリズムの連鎖解析への応用の試み|2003-2/2003-2M016.pdf|
|高宮 安仁|松岡 聡|PC クラスタの自動組織化システム|2003-2/2003-2M017.pdf|
|竹田 紗苗|高橋 幸雄|周期的な影響を考慮した携帯電話システムの性能評価|2003-2/2003-2M018.pdf|
|西川 健一|脇田 建・&br;佐々 政孝|P2P プロトコルシミュレータの実装と評価|2003-2/2003-2M019.pdf|
|野村 奈穂|三好 直人|異なるバッファ容量を持つ待ち行列システムのシミュレーションによる並列推定|2003-2/2003-2M020.pdf|
|早川 大茂|小島 政和|疎な半正定値計画問題と多項式最適化問題に対する線形計画緩和による近似解法|2003-2/2003-2M021.pdf|
|福井 清香|鹿島 亮|項書換え系の標準化定理について|2003-2/2003-2M022.pdf|
|丸山 直也|松岡 聡|部分計算による Java プログラムの高速化の評価|2003-2/2003-2M023.pdf|
|水谷 友彦|デザ A.・&br;小島 政和|対称性を持つ多項式方程式系に対する混合体積の計算|2003-2/2003-2M024.pdf|
|峰崎 俊介|高橋 渉|Block Iterative Projection Algorithms in Hilbert Spaces|2003-2/2003-2M025.pdf|
|米澤 航太|柴山 悦哉|擬似3Dスケッチツール|2003-2/2003-2M026.pdf|
|ヴォー チー コン|小島 政和|Implementation of the branch-and-bound method for non-convex quadratic optimization problems using the successive convex relaxation|2003-2/2003-2M027.pdf|
|三原 克大|柴山 悦哉|携帯機器向け JIT コンパイラが行う最適化を支援する検証可能 な注釈|2003-2/2003-2M028.pdf|

** 2002年度修了 (2002年9月) [#ae117123]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|高橋 保|谷口 雅治|反応拡散方程式における進行波解|2002-7/2002-7M001.pdf|

** 2001年度修了 (2002年3月) [#g4ef1684]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|浅井 健彦|谷口 雅治|FitzHugh-Nagumo 方程式のパルス解について|2002-2/2002-2M001.pdf|
|安藤 裕一|柴山 悦哉|人形とCGの重ね合わせを利用した3Dアニメーション作成支援システム|2002-2/2002-2M002.pdf|
|飯田 啓太|谷口 雅治|Allen-Cahn 方程式における遷移ダイナミクス|2002-2/2002-2M003.pdf|
|飯塚 秀明|高橋 渉|Projection Algorithms for Monotone Variational|2002-2/2002-2M004.pdf|
|池添 洋平|佐々 政孝|属性文法の系統的デバッグ手法とその環境|2002-2/2002-2M005.pdf|
|岩崎 聖|松岡 聡|Grid 環境における大規模クラスタ向け高速アプリケーション起動アーキテクチャの実装及び性能評価|2002-2/2002-2M006.pdf|
|大山 洋史|小島 定吉|Complexity of the word problem for some 3-manifold groups|2002-2/2002-2M007.pdf|
|小上 賢一|高橋 幸雄・&br;三好 直人|東工大 LAN 測定データに基づいた Web トラフィックモデル|2002-2/2002-2M008.pdf|
|加藤 吉之介|佐々 政孝・&br;脇田 建|SSA形式を利用したPredicated Execution向け命令スケジューリング手法|2002-2/2002-2M009.pdf|
|小出 陽平|鹿島 亮|いくつかのラムダ計算系の標準化定理についての研究|2002-2/2002-2M010.pdf|
|小松 弘幸|松岡 聡|大規模ビデオカンファレンスにおけるスケーラビリティの獲得|2002-2/2002-2M011.pdf|
|斉藤 紘一|柴山 悦哉|画像入力からの三次元手指姿勢の推定と応用|2002-2/2002-2M012.pdf|
|坂口 隆之|間瀬 茂|連続空間上の空間点過程による閾値法の研究|2002-2/2002-2M013.pdf|
|多賀 伸幸|間瀬 茂|マーク付きギブス点過程による熱帯雨林データの統計解析|2002-2/2002-2M014.pdf|
|瀧川 淳|小島 政和|非凸二次計画問題に対する逐次線形計画緩和法の実装及び並列化|2002-2/2002-2M015.pdf|
|伴野 雅幸|柴山 悦哉|再到達距離を利用したウェブ情報検索手法|2002-2/2002-2M016.pdf|
|野田 裕介|松岡 聡|ユーザ透過なフォールトトレラント Grid RPC システムの実装と評価|2002-2/2002-2M017.pdf|
|濱田 一茂|鹿島 亮|Union Type Systemの完全性について|2002-2/2002-2M018.pdf|
|林 悠樹|高橋 幸雄・&br;三好 直人|無線アクセスシステムにおける CSMA/CA 方式の性能評価|2002-2/2002-2M019.pdf|
|久永 賢司|柴山 悦哉|クラス図中にソースコード表示を行うペアプログラミングのための開発環境|2002-2/2002-2M020.pdf|
|藤田 陽子|高橋 幸雄・&br;三好 直人|電車内における人の乗降立ち位置モデル|2002-2/2002-2M021.pdf|
|前島 峰生|間瀬 茂|商業店舗の空間分布に関する統計解析|2002-2/2002-2M022.pdf|
|吉田 浩章|谷口 雅治|Activator-inhibitor モデルに現れる進行波の数値計算|2002-2/2002-2M023.pdf|
|瞿 群英|佐々 政孝|リモート参照可能な循環属性文法に対する効率よい静的評価器の生成|2002-2/2002-2M024.pdf|
|白砂 哲|松岡 聡|高いインタオペラビリティを実現する XML ベース GridRPC システムの構築と評価|2002-2/2002-2M025.pdf|

** 2001年度修了 (2001年9月) [#s012a90c]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|鈴村 豊太郎|松岡 聡|Design and Implementation of A Jini-based Computing Portal System for the Grid|2001-7/2001-7M001.pdf|

** 2000年度修了 (2001年3月) [#cc0403bd]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|Marcel Crasmaru|渡辺 治|PSPACE versus EXP-TIME and the game of GO|2001-2/2001-2M001.pdf|
|野田 明生|佐々 政孝|大規模災害時に人々の意志疎通を支援する機構の評価|2001-2/2001-2M002.pdf|
|秋山 英昌|鹿島 亮|ラベル付シークエントを用いた完全性の研究|2001-2/2001-2M003.pdf|
|岩崎 大志|三好 直人・&br;高橋 幸雄|Sensitivity estimation for window flow controlled fluid networks|2001-2/2001-2M004.pdf|
|内山 雄司|脇田 建・&br;佐々 政孝|言語処理系におけるメモリ管理機能の部品化手法|2001-2/2001-2M005.pdf|
|永澤 敦彦|鹿島 亮|二分木上の帰納的関数・関係|2001-2/2001-2M006.pdf|
|岡本 恭一|渡辺 治|Grover の量子探索アルゴリズムの解析と適用法|2001-2/2001-2M007.pdf|
|三枝 大我|間瀬 茂|レーダ反射因子を用いた気象データ解析|2001-2/2001-2M008.pdf|
|栄 純明|松岡 聡|コモディティクラスタにおける高レベル言語の実装と評価|2001-2/2001-2M009.pdf|
|佐藤 周平|柴山 悦哉|携帯型野草認識システムの構築|2001-2/2001-2M010.pdf|
|杉原 聡|柴山 悦哉|特徴関数の例示学習を用いた進化的設計システムの構築|2001-2/2001-2M011.pdf|
|鈴木 宏康|間瀬 茂|降水量コンテストデータを用いた東京都内の降水量予測|2001-2/2001-2M012.pdf|
|高橋 利臣|三好 直人・&br;高橋 幸雄|Bounds of Performance Measures in Large-Scale Mobile Communication Networks|2001-2/2001-2M013.pdf|
|辻垣 元|佐々 政孝・&br;脇田 建|IA-64 アーキテクチャの機能を効果的に利用したコード生成|2001-2/2001-2M014.pdf|
|中川 貴之|松岡 聡|Grid におけるスケジューリング手法評価のための testbed の構築|2001-2/2001-2M015.pdf|
|中原 将威|谷口 雅治|実軸上で反発的に相互作用する複数のパルスの漸近挙動|2001-2/2001-2M016.pdf|
|中村 悟司|小島 政和・&br;戴 陽|行列補完を用いた半正定値問題の解法|2001-2/2001-2M017.pdf|
|新村 健太|鹿島 亮|適切さの論理の正規自然演繹|2001-2/2001-2M018.pdf|
|橋本 亨|鹿島 亮|ラベル付きの論理体系における決定手続きについて|2001-2/2001-2M019.pdf|
|畑埜 晃平|渡辺 治|決定木型のブースティングアルゴリズムの解析|2001-2/2001-2M020.pdf|
|船山 幸一郎|高橋 幸雄・&br;三好 直人|ボラティリティ・スマイルを考慮した LIBOR マーケットモデル|2001-2/2001-2M021.pdf|
|星野 仁|鹿島 亮|オブジェクト指向プログラミング言語とラムダ計算について|2001-2/2001-2M022.pdf|
|松岡 保静|佐々 政孝|VoIP の音声品質補償技術に関する研究|2001-2/2001-2M023.pdf|
|丸山 冬彦|松岡 聡|JIT コンパイラ向け アプリケーションフレームワークの設計と実装|2001-2/2001-2M024.pdf|
|森 太郎|高橋 渉|Strong Convergence of Proximal Point Iterations|2001-2/2001-2M025.pdf|
|山下 真|小島 政和・&br;戴 陽|Tierra 的手法を用いた植物系の進化のシミュレーションとその解析|2001-2/2001-2M026.pdf|
|和田 剛|高橋 幸雄・&br;三好 直人|スクランブル交差点における歩行挙動モデルとシミュレーション|2001-2/2001-2M027.pdf|




//
// ここから下は,紙媒体をスキャンしたもの
//

// 2000年度(2001年2月)は,紙とPDF がダブっているので,紙の方をコメントアウト
//
// **2000 年度修了 [#o12471dd]
// |氏名|指導教員|タイトル|ファイル名|h
// |LEFT:85|LEFT:75||SIZE(10):|c
// |星野 仁|鹿島 亮|オブジェクト指向プログラミング言語とラムダ計算について|2000/2000M021.pdf|
// |クラシュマル マルチェル|渡辺 治|PSPACE versus EXP-TIME and the game of GO|2000/2000M001.pdf|
// |野田 明生|佐々 政孝|大規模災害時に人々の意志疎通を支援する機構の評価|2000/2000M002.pdf|
// |秋山 英昌|鹿島 亮|ラベル付シークエントを用いた完全性の研究|2000/2000M003.pdf|
// |岩 大志|三好 直人・高橋 幸雄|Sensitivity estimation for window flow controlled fluid networks|2000/2000M004.pdf|
// |内山 雄司|脇田 建・佐々 政孝|言語処理系におけるメモリ管理機能の部品化手法|2000/2000M005.pdf|
// |永澤 敦彦|鹿島 亮|二分木上の帰納的関数・関係について|2000/2000M006.pdf|
// |岡本 恭一|渡辺 治|Groverの量子探索アルゴリズムの解析と適用法|2000/2000M007.pdf|
// |三枝 大我|間瀬 茂|レーダー反射因子を用いた気象データ解析|2000/2000M008.pdf|
// |栄 純明|松岡 聡|コモディティクラスタにおける高レベル言語の実装と評価|2000/2000M009.pdf|
// |佐藤 周平|柴山 悦哉|携帯型野草認識システムの構築|2000/2000M010.pdf|
// |杉原 聡|柴山 悦哉|特徴関数の例示学習を用いた進化的設計システムの構築|2000/2000M011.pdf|
// |鈴木 宏康|間瀬 茂|降水量コンテストデータを用いた東京都内の降水量予測|2000/2000M012.pdf|
// |高橋 利臣|高橋 幸雄・三好 直人|Bounds of Performance Measures in Large-Scale Mobile Communication Networks|2000/2000M013.pdf|
// |辻垣 元|佐々 政孝・脇田 建|IA-64アーキテクチャの機能を効果的に利用したコード生成|2000/2000M014.pdf|
// |中原 将威|谷口 雅治|実軸上で反発的に相互作用する複数のパルスの漸近挙動|2000/2000M015.pdf|
// |中村 悟司|小島 政和・戴 陽|行列補完を用いた半正定値問題の解法|2000/2000M016.pdf|
// |新村 健太|鹿島 亮|適切さの論理の正規自然演繹|2000/2000M017.pdf|
// |橋本 亨|鹿島 亮|ラベル付きの論理体系における決定手続きについて|2000/2000M018.pdf|
// |畑埜 晃平|渡辺 治|決定木型のブースティングアルゴリズムの解析|2000/2000M019.pdf|
// |船山 幸一郎|高橋 幸雄・三好 直人|ボラティリティ・スマイルを考慮したLIBORマーケットモデル|2000/2000M020.pdf|
// |松岡 保静|佐々 政孝|VoIPの音声品質補償技術に関する研究|2000/2000M022.pdf|
// |丸山 冬彦|松岡 聡|JITコンパイラ向けアプリケーションフレームワークの設計と実装|2000/2000M023.pdf|
// |山下 真|小島 政和・戴 陽|Tierra的手法を用いた植物系の進化のシミュレーションとその解析|2000/2000M024.pdf|
// |和田 剛|高橋 幸雄・三好 直人|スクランブル交差点における歩行挙動モデルとシミュレーション|2000/2000M025.pdf|

**1999年度修了 [#jf33dcf6]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|浅野 貴史|脇田 建・佐々 政孝|バイトコード上の変換を用いたJava言語におけるスレッド移送の実現|1999/1999M003.pdf|
|市川 哲生|佐々 政孝・脇田 建|VLIWアーキテクチャのための命令スケジューリングとレジスタ割付け手法|1999/1999M005.pdf|
|大久 光崇|松岡 聡|Global ComputingにおけるSecurity Framework|1999/1999M009.pdf|
|奥平 崇文|高橋 渉|Existence Theorems in Metric Spaces with Convex Structure|1999/1999M010.pdf|
|田中 伸明|高橋 渉|Nonlinear strong ergodic theorems for one-parameter nonexpansive semigroups with compact domains|1999/1999M016.pdf|
|山本 真基|渡辺 治|MAX2SATの解答付き例題生成アルゴリズムの提案|1999/1999M001.pdf|
|青木 圭一|戴 陽・小島 政和|条件付き線形不等式系に対する全解列挙アルゴリズム|1999/1999M002.pdf|
|池添 禎孝|間瀬 茂|クリギング法の画像処理への応用|1999/1999M004.pdf|
|伊藤 茂雄|松岡 聡|Java言語における高性能数値計算ライブラリの可搬な構築法|1999/1999M006.pdf|
|伊藤 正美|高橋 渉|Nonlinear ergodic theorems for noncommutative semigroups of nonexpansive mappings|1999/1999M007.pdf|
|内山 誠彦|谷口 雅治|Allen-Cahn方程式における二次元進行波について|1999/1999M008.pdf|
|木本 正裕|寳来 正子・鹿島 亮|2分木上の関数の計算可能性について|1999/1999M011.pdf|
|鈴木 和博|谷口 雅治|On the Existence of Local Solutions for the General Relativistic Fluid Equation|1999/1999M012.pdf|
|須藤 敦之|戴 陽・小島 政和|球パッキング問題に対する大域的最適化手法の適用|1999/1999M013.pdf|
|早田 恭彦|松岡 聡|クラスタ型並列計算機上のJavaにおける分散共有メモリの実現方法と性能評価|1999/1999M014.pdf|
|盪 圭|谷口 雅治|Numerical Computations for Stable Bifurcating Solutions of the Heat Convection Equation in Square and Annular Domains|1999/1999M015.pdf|
|徳生 吉孝|佐々 政孝・脇田 建|アセンブリ言語上でのプログラム特化|1999/1999M017.pdf|
|中村 徹|谷口 雅治|On the Li-Yorke Chaos of a Non-linear Elliptic Boundary Value Problem|1999/1999M018.pdf|
|林 一輝|松岡 聡|コンテキストによるフィルタリングを用いた個人適合型モバイル情報システム|1999/1999M019.pdf|
|福地 健太郎|松岡 聡|複数ポインティング入力システムの評価|1999/1999M020.pdf|
|松山 暁|小島 政和・戴 陽|半正定値計画問題に対する主双対内点法のMATLABにおける実装|1999/1999M021.pdf|
|山田 仁志|鹿島 亮・寳来 正子|Operational Semantics for Relevant Logics|1999/1999M022.pdf|
|吉原 信幸|高橋 幸雄|長期依存性を持つデータに対するVariance-Time Analysisの改良|1999/1999M023.pdf|
|吉本 和宏|渡辺 治|k-term-monotone-decision-listの学習|1999/1999M024.pdf|

**1998年度修了 [#q85abfc4]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|Miyake Hiromichi|高橋 渉|Fixed Point Theorems for Nonexpansive Mappings in Metric Spaces|1998/1998M001.pdf|
|増田 寛行|小島 定吉|双曲幾何学における3つの視覚化|1998/1998M004.pdf|
|青砥 禎彦|小島 定吉|リーマン面上の自己双対方程式の解のモジュライ空間について|1998/1998M005.pdf|
|伊藤 岳|高橋 渉|変分不等式問題と相補性問題の解の存在性について|1998/1998M007.pdf|
|濱田 慎吉|高橋 渉|Banach空間における空間の凸性と非拡大写像の性質|1998/1998M019.pdf|
|内田 智也|渡辺 治|充足可能性問題SATに対する例題の生成手法|1998/1998M002.pdf|
|津田 倫之介|小島 政和|多次元ナップサック問題に対する持ち上げ被覆不等式を用いた厳密解法|1998/1998M003.pdf|
|足立原 直|佐々 政孝・脇田 建|異機種混成環境におけるプログラミング言語独立なプロセス移送の実現|1998/1998M006.pdf|
|上田 仁|大野 浩之|多様な利用形態に対応した小規模組織用ネットワークに関する研究|1998/1998M008.pdf|
|江下 和章|高橋 渉|Nonlinear Ergodic Theorems for Curves on a Hilbert Space|1998/1998M009.pdf|
|奥平 雄吾|佐々 政孝・脇田 建|高速実行可能な低レベル命令セット仮想計算機の実現|1998/1998M010.pdf|
|九鬼 昌平|鹿島 亮・寳来 正子|relevant logicの完全性について|1998/1998M011.pdf|
|小山 敦史|三好 直人・高橋 幸雄|Pricing Outside Double-Barrier Options and Downgrade Options|1998/1998M012.pdf|
|酒井 淳一|大野 浩之|インターネット利用者を対象とした情報収集機構に関する研究|1998/1998M013.pdf|
|嶋田 邦昭|高橋 幸雄|MPEG-2伝送における低遅延のためのレート制御に関する研究|1998/1998M014.pdf|
|代田 将也|高橋 幸雄|3重並列待ち行列M/M,M,M/3の定常分布の漸近性について|1998/1998M015.pdf|
|菅野 元之|柴山 悦哉|グラフエディタ上での図の意味を反映した操作対象の自動予測と提示|1998/1998M016.pdf|
|杉山 康二|鵜飼 正二|Stable bifurcating solutions of the heat convection equation in an annular domain|1998/1998M017.pdf|
|羽田 浩|鵜飼 正二|Existence and Stability of Periodic Solutions for Discrete Velocity Models of Boltzmann Equation with Periodic Boundary Data|1998/1998M018.pdf|
|比企 祐介|戴 陽・小島 政和|分枝切除法を用いた配達人問題に対する厳密解法|1998/1998M020.pdf|
|保坂 善幸|小島 政和・戴 陽|拡張した部品代替問題に対する厳密解法|1998/1998M021.pdf|
|矢部 純|柴山 悦哉|ネットニュースのスレッドからの番組自動生成|1998/1998M022.pdf|
|山田 加奈子|間瀬 茂|熱帯季節林データのギブス分布による統計解析|1998/1998M023.pdf|
|銭 文川|柴山 悦哉|囲碁棋譜データからの着手候補の自動生成|1998/1998M024.pdf|
|朴 敬愛|高橋 渉|Fixed Point Theorems and Ergodic Theorems for Nonexpansive Semigroups in Hilbert Spaces|1998/1998M025.pdf|
|福田 光浩|小島 政和・戴 陽|Branch-and-Cut Algorithms for Bilinear Matrix Inequality Problems(双線形行列不等式問題に対する分枝カット法)|1998/1998M026.pdf|
|梁 雲|高橋 幸雄|循環Tree型かんばんシステム待ち行列ネットワークに対する一つの近似法|1998/1998M027.pdf|
|山田 剛|柴山 悦哉|計算機による逆算式詰将棋創作の支援|1998/1998M028.pdf|

**1997年度修了 [#w9dc6099]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|豊田 昌史|高橋 渉|Random Fixed Point Theorems|1997/1997M011.pdf|
|平井 敦子|寳来 正子|高階マッチング問題について|1997/1997M017.pdf|
|安藤 友人|柴山 悦哉|高レベル協調行動を獲得するための強化学習法|1997/1997M002.pdf|
|市川 勝規|高橋 渉|Limit Theorems for Stochastic Matrices|1997/1997M003.pdf|
|井上 慶一|高橋 渉|Variational Inequality Problems|1997/1997M004.pdf|
|梅原 元|高橋 幸雄・牧本 直樹|大規模待ち行列ネットワークに対するCross Aggregation Methodの近似精度の検証|1997/1997M005.pdf|
|大西 雅之|柴山 悦哉|ユーザレベル特権空間の導入によるユーザレベル保護の実現|1997/1997M006.pdf|
|柿原 武|高橋 渉|Ekelandの定理と凸関数の劣微分|1997/1997M007.pdf|
|加藤 憲一|牧本 直樹・高橋 幸雄|Asymptotic Analysis of Tail Probabilities in Queueing Models with Markovian Arrival Processes|1997/1997M008.pdf|
|狩野 秀一|柴山 悦哉|非正格な関数型プログラムの適用順再生を用いたデバッグ手法の研究|1997/1997M009.pdf|
|鈴木 憲明|佐々 政孝|オブジェクトの寿命解析を用いた最適化技法|1997/1997M010.pdf|
|鳥井 靖之|佐々 政孝|視覚的シナリオ構築によるアニメーション作成|1997/1997M012.pdf|
|中田 和秀|小島 政和|Semidefinite Programming with the Conjugate Gradient Method and Computation of the Lovász Number|1997/1997M013.pdf|
|中津留 勉|大槻 知忠|バシリエフ不変量の次元の計算|1997/1997M014.pdf|
|林 大輔|高橋 幸雄・牧本 直樹|ATMネットワークおけるセルフヒーリング方式の評価|1997/1997M016.pdf|
|本庄 利守|大野 浩之|広域ネットワークにおける伝送制御機構の検証に関する研究|1997/1997M018.pdf|
|松田 満|柴山 悦哉|リンク構造を反映した可視化手法を用いたWeb検索インタフェース|1997/1997M019.pdf|
|門間 信行|大野 浩之|ネットワーク利用者が持つ情報の集約化支援機構とその評価|1997/1997M020.pdf|
|矢木 達也|大槻 知忠|R-行列の帰納的構成|1997/1997M021.pdf|
|山内 武史|大槻 知忠|あるザイフェルト多様体のスケイン加群の次元の評価|1997/1997M022.pdf|
|芦ヶ原 範之|柴山 悦哉|効率的な制約解消のための宣言的annotation|1997/1997M023.pdf|
|新井 佐恵香|小島 政和|組合せ最適化手法によるシフト・スケジューリング作成法の構築|1997/1997M001.pdf|
|濱須 勇行|小島 政和|半無限制約問題に対する解析的中心切除平面解法の研究|1997/1997M015.pdf|

**1996年度修了 [#w6cefc89]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|Shoji Kamimura|高橋 渉|Almost Everywhere Convergence Theorems for Nonlinear Operators on L1|1996/1996M006.pdf|
|吉川 美佐子|高橋 渉|Weak and strong convergence to fixed points of nonexpansive mappings|1996/1996M014.pdf|
|築山 典弘|高橋 渉|Convergence theorems of iterations of nonexpansive mappings in Banach spaces|1996/1996M016.pdf|
|水嶋 滋|小島 定吉|トーラス上のアフィン構造とサークルパッキング|1996/1996M024.pdf|
|山岸 光|柴山 悦哉|KLICにおける並列プログラミングフレームワークの設計と実装|1996/1996M026.pdf|
|茨木 貴徳|高橋 渉|Fan's System Theorem for Vector-Valued Functions and its Applications|1996/1996M001.pdf|
|大沢 繁夫|高橋 渉|関数解析を用いた非線形計画法|1996/1996M002.pdf|
|太田 正幸|柴山 悦哉|Learning Cooperative Behaviors in Uncertain Environments|1996/1996M003.pdf|
|大原 久樹|高橋 幸雄・牧本 直樹|MPEG-2による動画像データの分析とモデル化|1996/1996M004.pdf|
|小野木 渡|大野 浩之|NMW Systemによるネットワーク管理とその評価|1996/1996M005.pdf|
|唐杉 実|高橋 渉|Convergence Theorems on Slice Topology for Linear Continuous Mappings|1996/1996M007.pdf|
|木本 雅彦|大野 浩之|大学内公衆情報端末(PICKLES)を用いたネットワーク利用環境の構築に関する研究|1996/1996M008.pdf|
|河内 正信|牧本 直樹・高橋 幸雄|Analysis of the Steady State Tail Probability of Long-range-dependent Queueing Processes|1996/1996M009.pdf|
|小坂 栄之|小島 政和|多期間クラス分け問題|1996/1996M010.pdf|
|佐藤 裕|藤井 光昭|一般の損失関数を用いた予測の最適性について|1996/1996M011.pdf|
|佐藤 守|小島 政和|An Efficient Algorithm for Finding the Most Vital Edges of Matching in a Bipartite Graph|1996/1996M012.pdf|
|高橋 正美|鵜飼 正二|Existence and Stability of Periodic Solutions for Discrete Velocity Models of the Boltzmann Equation with External Force Term|1996/1996M013.pdf|
|竹島 浩司|鵜飼 正二|2次元神経方程式におけるスパイラル波|1996/1996M015.pdf|
|中島 健|藤井 光昭|時空間データに対するモデル構築と推定についての考察|1996/1996M017.pdf|
|中嶋 良彰|大野 浩之|システム管理に必要な情報を自動的に収集・分析するための機構(magP)に関する研究|1996/1996M018.pdf|
|成田 哲也|大野 浩之|ネットワークトラフィック可聴化システムstethoのネットワーク管理作業支援システムへの拡張|1996/1996M019.pdf|
|林 洋人|小林 孝次郎|頂点被覆問題のアルゴリズムの平均実行時間について|1996/1996M020.pdf|
|益田 健心|鵜飼 正二|拡散項のあるロジスティック写像のアトラクタのフラクタル次元について|1996/1996M021.pdf|
|松川 仁|小島 政和|グラフ上のSteiner木問題に対する分枝カット法の構築|1996/1996M022.pdf|
|松原 慎一郎|鵜飼 正二|Gierer-Meinhardt系の解の構造|1996/1996M023.pdf|
|矢野 順一|藤井 光昭|データに欠損値がある場合の判別分析法の適用について|1996/1996M025.pdf|
|和田 耕造|藤井 光昭|重みつき最小二乗法の重みの定め方について|1996/1996M027.pdf|

**1995年度修了 [#j7dc7f51]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|浦賀 毅|寳来 正子|トポス理論について|1995/1995M008.pdf|
|大島 芳樹|佐々 政孝|並行言語へのConcurrent Transaction機構の導入|1995/1995M009.pdf|
|佐々木 晃|佐々 政孝|属性文法に対する系統的なデバッグ方式の研究|1995/1995M016.pdf|
|森實 裕人|佐々 政孝・脇田 建|一般メッセージを導入した並行オブジェクト指向言語の効率的な実装|1995/1995M031.pdf|
|柴野 鋭|小林 孝次郎|first order translationに関する完全問題について|1995/1995M001.pdf|
|Shiroh Suzuki|矢島 安敏・今野 浩|Application of Lexicographic Ordering in the Optimization over the Efficient Set|1995/1995M003.pdf|
|金子 正俊|佐々 政孝|制約と状態遷移によるアルゴリズムアニメーション構築|1995/1995M004.pdf|
|原田 健志|小林 孝次郎|算術演算を利用するソーティングの平均実行時間について|1995/1995M005.pdf|
|青田 佳人|鵜飼 正二|脳の辺縁系における神経回路網の数理モデルの研究|1995/1995M006.pdf|
|赤塚 正則|高橋 渉|Optimal control theorems for nonlinear functional differential equations|1995/1995M007.pdf|
|太田 将|大槻 知忠・小島 定吉|Thurstonの多面体とHirsch予想|1995/1995M010.pdf|
|柏木 伸一郎|柴山 悦哉|並列分散環境における大域的資源管理機構|1995/1995M011.pdf|
|河野 功|小島 政和・矢島 安敏|強双対定理の成立しない半正定値計画問題の解法|1995/1995M012.pdf|
|木下 康儀|藤井 光昭|空間時系列に対するモデルと予測について|1995/1995M013.pdf|
|蔵杉 俊康|高橋 幸雄・牧本 直樹|Data Analysis and Modeling of ATM Coded Video Traffic with Scene Changes|1995/1995M014.pdf|
|齋藤 一郎|矢島 安敏・今野 浩|低ランク凹型2次計画問題の効率的な解法の研究|1995/1995M015.pdf|
|佐々木 毅史|木村 泉|オブジェクト指向言語における型クラス機構とその効率的処理|1995/1995M017.pdf|
|志築 文太郎|木村 泉|並列ビジュアルプログラミング環境KLIEGにおけるトレーサの設計・実装|1995/1995M018.pdf|
|白木 宏明|牧本 直樹・高橋 幸雄|ATM交換機のフィードバック輻輳制御に関する研究|1995/1995M019.pdf|
|高沢 光彦|小島 定吉|Enumeration of mapping classes for the 4-punctured sphere|1995/1995M020.pdf|
|武田 景|高橋 渉|Fan's System Theorems and Characterizations of Games|1995/1995M021.pdf|
|田坂 宏次|高橋 渉|Normal Structure, Asymptotic Normal Structure and Fixed Points|1995/1995M022.pdf|
|都築 俊勝|高橋 渉|Convergence of Closed Convex Sets and Sunny Nonexpansive Retraction in Banach Spaces|1995/1995M023.pdf|
|豊田 正史|柴山 悦哉|KLIEG: A Visual Parallel Programming Environment Using Process Network Patterns as a Flexible Reuse Mechanism|1995/1995M024.pdf|
|早川 崇|小島 定吉|境界付き双曲多様体の変形|1995/1995M025.pdf|
|早川 尚範|寳来 正子|型付きλ計算により表現可能な関数について|1995/1995M026.pdf|
|平井 力|高橋 幸雄・牧本 直樹|Some Basic Properties of the Cross Aggregation Method for Approximately Analyzing Acyclic Queueing Networks|1995/1995M027.pdf|
|藤田 裕二|小島 定吉|一様なタイルによる平面のタイルばり|1995/1995M028.pdf|
|古川 陽|柴山 悦哉|Application Level Memory Management in an Abstract Operating System|1995/1995M029.pdf|
|森 直人|小島 政和・矢島 安敏|半正定値計画問題を解くための主・双対内点法に関する研究|1995/1995M030.pdf|
|Yafeng Chen|佐々 政孝|Attribute Grammar Description of Optimizers in Static Single Assignment Form|1995/1995M032.pdf|
|馬場 昭彦|高橋 幸雄|地域情報通信網の将来需要を見込んだ経路選択とグラフ的構造の研究|1995/1995M033.pdf|

**1994年度修了 [#nd5571e4]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|太田 行紀|佐々 政孝|属性文法に基づくテストプログラム生成器の設計と実装|1994/1994M006.pdf|
|加藤 克利|高橋 渉|Existence Theorems in Complete Metric Spaces|1994/1994M007.pdf|
|木村 泰紀|高橋 渉|Characterization Theorems of Epi-convergence for Lower Semicontinuous Functions|1994/1994M008.pdf|
|中條 一秀|高橋 渉|Fixed Point Theorems for Families of Mappings|1994/1994M014.pdf|
|渡辺 英俊|今野 浩|多目的債券ポートフォリオ最適化モデルの理論と応用|1994/1994M001.pdf|
|Akiyoshi Shioura|小島 政和|Efficient Algorithms for Location Problems on Tree Networks|1994/1994M002.pdf|
|野澤 義雄|木村 泉|外界との緊密な相互作用のもとでの人の問題解決とそのモデル|1994/1994M003.pdf|
|厚芝 幸子|高橋 渉|Nonlinear Ergodic Theorems and Convergence Theorems in Banach Spaces|1994/1994M004.pdf|
|大久保 琢也|佐々 政孝|属性文法に対するデバッガ|1994/1994M005.pdf|
|草野 伸美|木村 泉|入力デバイス多様化の実験|1994/1994M009.pdf|
|貞広 泰造|小島 定吉|ヒルベルト類多項式の計算|1994/1994M010.pdf|
|重成 基|高橋 渉|Invariant Measures for Families of Transformations|1994/1994M011.pdf|
|清水 亮博|木村 泉|ワームによるコンピュータネットワーク管理システムの資源探索機構およびセキュリティ機構|1994/1994M012.pdf|
|妹尾 康志|藤井 光昭|非定常時系列の予測法に関する研究|1994/1994M013.pdf|
|奈古屋 広昭|小林 孝次郎|低いKolmogorov complexityを持つ無限ビット列の特徴付け|1994/1994M015.pdf|
|原 慎一郎|小林 孝次郎|ソーティングにおけるランダム部分集合ソートの有用性について|1994/1994M016.pdf|
|藤村 聡|木村 泉|認知シミュレータPLUMの学習機構|1994/1994M017.pdf|
|松井 龍也|木村 泉|複数キーボード配列間の干渉およびそのモデル化|1994/1994M018.pdf|
|森 玲人|木村 泉|データ抽象機能を持つ言語CLUのためのデバッグ支援系の開発|1994/1994M019.pdf|
|許 文中|寳来 正子|交型理論のいくつかの性質について|1994/1994M020.pdf|

**1993年度修了 [#m5c2c1b0]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|小宮 清孝|高橋 渉|Pointwise Ergodic Theorems for Order Preserving Operators on L1|1993/1993M008.pdf|
|西浦 孝治|高橋 渉|NONLINEAR ERGODIC THEOREMS FOR SEMIGROUPS OF NONEXPANSIVE MAPPINGS|1993/1993M016.pdf|
|宮沢 伸行|木村 泉|強い型付けを持つオブジェクト指向言語Misty処理系の実現|1993/1993M001.pdf|
|板谷 明彦|鵜飼 正二|On the Global Existence of the Period Doubling Bifurcation Solutions to Unimodal Maps with Diffusion|1993/1993M002.pdf|
|上谷 裕徳|寳来 正子|型付きラムダ計算により定義可能な関数について|1993/1993M003.pdf|
|大野 健彦|木村 泉|ACT*モデルの改良とそのシミュレータの作成|1993/1993M004.pdf|
|掛水 伸一|小島 政和|線形制約凹2次計画問題に対するアフィン・スケーリング法|1993/1993M005.pdf|
|倉田 俊彦|寳来 正子|On Intersection Type Assignment in λ-Calculus|1993/1993M006.pdf|
|桑原 淳一|藤井 光昭|Forecast of Non-stationary Time Series by Applying Locally Stationary Autoregressive Models|1993/1993M007.pdf|
|坂下 仁也|高橋 渉|Banach空間における最短点と最遠点に関する問題|1993/1993M009.pdf|
|渋谷 和秀|藤井 光昭|統計的意思決定問題における決定規則についての考察|1993/1993M010.pdf|
|白石 昌靖|木村 泉|認知モデルにおける問題解決機構|1993/1993M011.pdf|
|新藤 清史|高橋 渉|Random Products of Nonexpansive Mappings in Banach Spaces|1993/1993M012.pdf|
|高野 優|小林 孝次郎|Greedy Algorithmによる列復元可能性の研究|1993/1993M013.pdf|
|田中 武志|高橋 幸雄|Transient analysis of fluid approximation model for multi-entry queueing system in ATM statistical multiplexing|1993/1993M014.pdf|
|東平 洋史|木村 泉|CLU言語プログラミング環境の整備|1993/1993M015.pdf|
|服部 聡|藤井 光昭|等質・等方的確率場の線形外挿問題について|1993/1993M017.pdf|
|山口 武志|寳来 正子|実数の計算可能性について(index setを中心に)|1993/1993M018.pdf|

**1992年度修了 [#k7d60100]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|鈴木 智成|高橋 渉|Star-Shaped Maps and Applications|1992/1992M011.pdf|
|Makoto Kikuchi|寳来 正子|NONSTANDARD MODELS OF PEANO ARITHMETIC AND GÖDEL'S INCOMPLETENESS THEOREM|1992/1992M002.pdf|
|戸田 洋三|寳来 正子|λ-cube上のβη-reductionについて|1992/1992M001.pdf|
|青木 靖|小林 孝次郎|文字列上の確率分布を変換するアルゴリズム|1992/1992M003.pdf|
|青山 耕治|高橋 渉|The Radon-Nikodym property and operators on L1|1992/1992M004.pdf|
|牛嶋 哲|木村 泉|CLU言語処理系における日本語処理機能の実装|1992/1992M005.pdf|
|浦野 幹夫|木村 泉|オブジェクト指向言語Neptuneの設計および処理系の実装|1992/1992M006.pdf|
|大山 覚|小林 孝次郎|グラフの同型性判定アルゴリズムのランダムグラフに対する平均実行時間について|1992/1992M007.pdf|
|川崎 克弘|木村 泉|GUIビルダを内包するグラフィックライブラリを利用したソフトウェア開発|1992/1992M008.pdf|
|北原 眞也|高橋 渉|Weak Convergence of Convex Combinations of Nonexpansive Mappings in Banach Spaces|1992/1992M009.pdf|
|高野 正次|高橋 幸雄|On eigenvalues of the rate matrix in a PH/PH/c queue|1992/1992M010.pdf|
|田中 一廣|高橋 渉|Covering Theorems of Simplexes|1992/1992M012.pdf|
|野中 裕之|藤井 光昭|STUDY OF SOLVING PORTFOLIO SELECTION PROBLEMS BY USING TIME SERIES ANALYSIS|1992/1992M013.pdf|
|藤本 衡|高橋 幸雄|Tail Behavior of the Steady-state Distribution in Two-Stage Tandem Queues|1992/1992M014.pdf|
|諸永 知子|高橋 渉|Existence of Solutions for Complementarity Problem|1992/1992M015.pdf|
|竜瀬 信彦|藤井 光昭|強い周波数の波が途中で変化する時系列データの解析|1992/1992M016.pdf|

**1991年度修了 [#u757ecd8]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|佐藤 健治|高橋 渉|Measure Theory on Dense Subsets of R3|1991/1991M008.pdf|
|田村 高幸|高橋 渉|Some Theorems in the Geometry of Banach Spaces|1991/1991M011.pdf|
|三宅 春城|藤井 光昭|時系列における自己回帰モデルとバイリニアモデルの関係の考察|1991/1991M015.pdf|
|Toshiaki Tsuchiya|高橋 幸雄|On Discrete-Time Single-Server Queues with Markov Modulated Batch Bernoulli Inputs and Finite Capacity|1991/1991M001.pdf|
|Junichi Nisimoto|小島 定吉|Deformation of hyperbolic cone structures on the figure eight knot|1991/1991M002.pdf|
|片瀬 成識|今野 浩・小島 政和|ポートフォリオ問題-平均分散モデル、平均絶対偏差モデルにおける高速解法|1991/1991M003.pdf|
|赤間 陽二|寳来 正子|λ計算と構成的論理:証明図の構造に関する考察|1991/1991M004.pdf|
|江原 善|木村 泉|開発効率と移植性を重視したCLU言語処理系の作成|1991/1991M005.pdf|
|菊地 賢一|藤井 光昭|時系列解析のフィードバック制御への応用|1991/1991M006.pdf|
|木原 誠司|木村 泉|CLUマシンのファイルシステムの実装と全体の評価|1991/1991M007.pdf|
|下郡 信宏|木村 泉|人の認知機構の汎用シミュレータの作成とその応用|1991/1991M009.pdf|
|地引 昌弘|木村 泉|移植性の高いソースレベルCLUデバッガの開発|1991/1991M010.pdf|
|中川 貴之|木村 泉|メタオブジェクトプロトコルを利用した並列Lisp処理系の作成|1991/1991M012.pdf|
|水上 聡|小林 孝次郎|構文木の構造の冗長性を利用したプログラムの圧縮について|1991/1991M013.pdf|
|宮内 俊之|高橋 渉|完備距離空間における不動点理論|1991/1991M014.pdf|
|吉村 直人|木村 泉|キー配列習得過程|1991/1991M016.pdf|
|孫 音|木村 泉|中国語ピンイン入力システムの研究|1991/1991M017.pdf|

**1990年度修了 [#jbf6caa4]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|深澤 安伸|木村 泉|日本語文書入力における打鍵動作のシミュレーション|1990/1990M009.pdf|
|松島 栄樹|木村 泉|ランドマーク階層の修復アルゴリズム|1990/1990M001.pdf|
|石田 実|小島 定吉|Presentation of groups by finite automata and its applications|1990/1990M012.pdf|
|伊藤 義行|木村 泉|実行計算機数に依存しないCLU言語並列化|1990/1990M002.pdf|
|斉藤 努|小島 政和|大規模線形計画問題を解く内点法のプログラム|1990/1990M003.pdf|
|酒井 伸啓|小林 孝次郎|抽象データの視覚化に関する研究|1990/1990M013.pdf|
|柴田 清己|木村 泉|舞台照明のための視覚的プログラミング環境|1990/1990M004.pdf|
|杉本 徹|寳来 正子|Dialogue Processing Based on Multiple World Representation of Mental States|1990/1990M014.pdf|
|住本 順一|寳来 正子|Generalized Completeness of Multimodal Logics with Kleene Operators|1990/1990M005.pdf|
|高橋 良明|小林 孝次郎|Vaziraniによるランダムネス改良アルゴリズムに関する研究|1990/1990M006.pdf|
|中島 純也|藤井 光昭|非定常マルコフ連鎖モデルと経済データへの応用|1990/1990M007.pdf|
|平井 規郎|藤井 光昭|風向・風速データの相関について|1990/1990M008.pdf|
|藤崎 智宏|木村 泉|CLUマシンの通信機能の高速化と分散ファイルシステムの実装|1990/1990M010.pdf|
|南 尚亮|寳来 正子|普通名詞による一階述語論理の拡張|1990/1990M015.pdf|
|村本 栄治|木村 泉|プロダクションシステムによるキーボード学習のシミュレーションモデル|1990/1990M016.pdf|
|山下 靖|小島 定吉|Shapes of Stars, Almost Convexity and Automatic Structures|1990/1990M011.pdf|

**1989年度修了 [#p48af35e]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|泉 直子|寳来 正子|関係データベースの第3正規形への分解アルゴリズム|1989/1989M008.pdf|
|青柳 滋己|米澤 明憲|並列オブジェクト指向言語ABCL/1における永続的オブジェクトの導入とその応用|1989/1989M001.pdf|
|高橋 英樹|小島 政和|優先権のある、木型再送アルゴリズムを用いたCSMA/CD方式の研究|1989/1989M003.pdf|
|塚田 恭章|寳来 正子|Constructive type theoryのsemantical explanation について|1989/1989M011.pdf|
|長井 毅|小林 孝次郎|ランダムネスを強めるアルゴリズムについての研究|1989/1989M012.pdf|
|一杉 裕志|米澤 明憲|並列オブジェクト指向言語の分散環境での実現|1989/1989M009.pdf|
|鹿島 亮|寳来 正子|Cut-free systems for some tense logics|1989/1989M002.pdf|
|関 啓一|木村 泉|分散CLUマシンにおける共有データの管理|1989/1989M010.pdf|
|野口 憲一|寳来 正子|A new head-normalization algorithm for λ-calculus|1989/1989M013.pdf|
|野里 貴仁|米澤 明憲|並列オブジェクト指向言語ABCL/1の視覚的実行モニタ|1989/1989M014.pdf|
|二川 正康|小島 政和|線形相補性問題を解く内点法アルゴリズムの効率的な実現|1989/1989M004.pdf|
|甫喜本 司|藤井 光昭|ある時点で係数の変化する自己回帰モデルの推測問題について|1989/1989M005.pdf|
|吉屋 英二|木村 泉|共有データの排他制御方式について|1989/1989M015.pdf|
|陳 春航|藤井 光昭|指数平滑法による時系列の予測方法に関する研究|1989/1989M016.pdf|
|Mamadou Tadiou Kone|高橋 渉|CONCIDENCE THEOREMS AND APPLICATIONS|1989/1989M007.pdf|

**1988年度修了 [#r3969dac]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|Yosuke Miyamoto|小島 定吉|Degeneration of Hyperbolic Truncated Tetrahedra and Its Volume and Surface Area|1988/1988M011.pdf|
|上保 博之|小林 孝次郎|入力出力間の相関性の小さい論理関数について|1988/1988M015.pdf|
|萩原 光徳|小林 孝次郎|A Method for Generating Cryptographically Strong Primes|1988/1988M012.pdf|
|齋藤 重正|小島 政和|球面系の組合せ的構造に関する研究|1988/1988M003.pdf|
|佐瀬 幹哉|米澤 明憲|PDPモデルに基づく問合せによる学習|1988/1988M005.pdf|
|塚田 元|米澤 明憲|談話理解における名詞句の扱いについて|1988/1988M006.pdf|
|丸山 友朗|米澤 明憲|言語行為の意図の基づく文章生成に関する研究|1988/1988M009.pdf|
|頼 静娟|小林 孝次郎|Lempel-Zivの情報圧縮アルゴリズムの圧縮率の理論的算出|1988/1988M010.pdf|
|坂巻 淳一|小島 政和|非定常な需要関数を持つ多期間寡占市場の非協力均衡点|1988/1988M013.pdf|
|Hiroaki Kawashima|高橋 渉|Invariant Means on Semigroups|1988/1988M014.pdf|
|牧本 直樹|森村 英典|On Job Schedulings in Stochastic Flow Shops and Related Results in Tandem Queues|1988/1988M016.pdf|
|明石 修|木村 泉|CLUマシン'88におけるデータオブジェクトの変換と型チェック|1988/1988M001.pdf|
|上田 晴康|米澤 明憲|直接観測できない状態の推測と予測のための規則の学習|1988/1988M002.pdf|
|坂本 直志|小林 孝次郎|危険な通信路での通信プロトコル|1988/1988M004.pdf|
|二瓶 勝敏|木村 泉|CLUマシンのSunワークステーションへの移植とその経験|1988/1988M007.pdf|
|根岸 康|木村 泉|CLUマシン'88における仮想機械とCLU-Lindaの設計、実現、評価|1988/1988M008.pdf|

**1987年度修了 [#s820b995]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|Shigeru Kitakubo|小林 孝次郎|ON PLANAR BRANCHED COVERINGS OF GRAPHS|1987/1987M006.pdf|
|小池 忠光|鈴木 光男|価格情報の浸透度の市場均衡に及ぼす影響|1987/1987M002.pdf|
|小泉 博嗣|米澤 明憲|図式によるプログラミング|1987/1987M007.pdf|
|佐藤 直樹|木村 泉|CLUマシンのユーザインタフェース|1987/1987M008.pdf|
|高橋 紳一|鈴木 光男|熱電力供給システムをもつ企業の電力市場への参入|1987/1987M004.pdf|
|塚谷 茂樹|高橋 渉|Some strange attractors that are not chaotic|1987/1987M005.pdf|
|松井 知子|米澤 明憲|コネクショニスト・モデルの自然言語処理への有効性に関する研究|1987/1987M013.pdf|
|Takuo Watanabe|米澤 明憲|Reflection in Object-Oriented Concurrent Systems|1987/1987M014.pdf|
|Yasuaki Honda|米澤 明憲|A Debugging Scheme for Concurrent Object-Oriented Systems|1987/1987M015.pdf|
|奥村 洋|小林 孝次郎|拡張されたパターン言語による帰納的推論について|1987/1987M001.pdf|
|佐野 勝也|米澤 明憲|並列オブジェクト指向言語ABCL/1のプログラミング環境|1987/1987M009.pdf|
|鈴木 友峰|木村 泉|CLU言語のビジュアルなデバッギング環境|1987/1987M003.pdf|
|高田 敏弘|米澤 明憲|並列オブジェクト指向言語の分散環境における実現|1987/1987M010.pdf|
|中村 篤祥|高橋 渉|Mean Ergodic Theory|1987/1987M011.pdf|
|中村 秀男|木村 泉|属性文法によるコンパイラ生成系|1987/1987M012.pdf|

**1986年度修了 [#f8be711d]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|柿沼 孝治|鈴木 光男|マイクロコンピュータ用仁算出プログラム|1986/1986M003.pdf|
|高橋 秀久|米澤 明憲|並列論理型言語のデバッグ支援環境について|1986/1986M014.pdf|
|外山 滋|米澤 明憲|回路に対する定性的推論に関する研究|1986/1986M016.pdf|
|萩原 馨|米澤 明憲|抽象オペレータを用いたプランの再利用について|1986/1986M017.pdf|
|厚谷 禎一|鈴木 光男|航空業界における規制緩和とその影響|1986/1986M001.pdf|
|石原 哉|高橋 渉|Fixed point theorems for Lipschitzian semigroups|1986/1986M002.pdf|
|稲葉 浩人|寳来 正子|On Weakly Continuous λ-models|1986/1986M010.pdf|
|金井 伸郎|高橋 渉|Degree theory and nonlinear problems|1986/1986M004.pdf|
|木崎 健太郎|小林 孝次郎|On Zero-Knowledge Proofs for the Discrete Logarithm Problem|1986/1986M005.pdf|
|斉藤 一之|鈴木 光男|多段階交渉解の妥結点|1986/1986M006.pdf|
|坂入 隆|木村 泉|プログラミング言語Iconの日本語化に関する研究|1986/1986M012.pdf|
|塩路 直樹|高橋 渉|Theorems on KKM-maps and their applications|1986/1986M013.pdf|
|新納 浩幸|高橋 渉|Fixed point theorems for multivalued mappings|1986/1986M007.pdf|
|鈴木 潤身|高橋 渉|On the Asymptotic Behavior of Almost-Orbits of Semigroups in Banach Spaces|1986/1986M008.pdf|
|谷越 浩一郎|木村 泉|変換式日本語ワープロ利用者の思考時間に関する統計的模型|1986/1986M015.pdf|
|毛受 哲|寳来 正子|The stable marriage assignment and related problems|1986/1986M009.pdf|

**1985年度修了 [#z7ca2c12]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|青木 淳一|小島 政和|凸多面体の端点列挙アルゴリズムに関する研究|1985/1985M007.pdf|
|市坡 禎子|木村 泉|非単調論理による信念空間を用いた物語理解へのアプローチ|1985/1985M009.pdf|
|大沢 一郎|米澤 明憲|計算機による日本語の対話理解に関する研究 -フランス料理店の紹介における対話 -|1985/1985M013.pdf|
|新木 俊志|小島 政和|Karmarkar法の実用性についての考察|1985/1985M008.pdf|
|荒谷 徹|小林 孝次郎・寳来 正子|並列プログラムのコミュニケーションとその検証について|1985/1985M002.pdf|
|長田 雅和|本間 龍雄|n-Bridge Decomposition of Links in 3-Manifolds|1985/1985M003.pdf|
|河野 和義|本間 龍雄|Deciding 3-Bridge Link Type|1985/1985M004.pdf|
|Hiroshi Shigeno|藤井 光昭|CANONICAL CORRELATIONS OF PAST AND FUTURE FOR STATIONARY PROCESSES|1985/1985M010.pdf|
|杉原 明|森村 英典|サービスに中断のある待ち行列の拡散近似|1985/1985M005.pdf|
|Akihisa Tamura|小島 政和|Painting Lemmas and Combinatorial Abstractions|1985/1985M011.pdf|
|辻野 広司|鈴木 光男|非協力ゲームにおける秘密情報の価値とその売買|1985/1985M012.pdf|
|奈部谷 一朗|本間 龍雄|Characteristic submanifolds in 3-manifolds|1985/1985M006.pdf|
|暦本 純一|木村 泉|構造エディタの生成系に関する研究|1985/1985M001.pdf|

**1984年度修了 [#tee847af]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|金田 重治|米澤 明憲|GAE:A Graphic Display Oriented Programming Environment System|1984/1984M001.pdf|
|野 雅司|藤井 光昭|周期性を持つ方向データに対する統計的解析の研究|1984/1984M002.pdf|
|三ッ井 欽一|米澤 明憲|An Object Oriented Approach for Natural Language Comprehension|1984/1984M007.pdf|
|村越 修平|藤井 光昭|ある種の非定常時系列の予測に関する考察|1984/1984M003.pdf|
|松田 裕幸|米澤 明憲|A Language Based on Extended Attribute Grammars (LEAG) : Its Theory, Implementation, and Applications|1984/1984M009.pdf|
|杉山 高弘|小林 孝次郎|Situation Semanticsによる意味表現と自然言語理解|1984/1984M010.pdf|
|榊原 康文|寳来 正子|On Fixedpoint Semantics of Logic Programs(論理プログラムの不動点意味論について)|1984/1984M004.pdf|
|Akino Chikamori|梅垣 壽春|THE FOURIER AND RADON TRANSFORMS ON EUCLIDEAN SPACE AND THEIR APPLICATIONS|1984/1984M005.pdf|
|中茎 洋一郎|小林 孝次郎|Derivation of Logic Programs by Transformation Method|1984/1984M006.pdf|
|Pei-Jun Zhang|梅垣 壽春|FUNCTIONAL ANALYSIS ON CONSTRUCTION OF CONDITIONAL EXPECTATIONS OF STOCHASTIC PROCESSES AND AN APPLICATION TO A STOCHASTIC CONTROL PROBLEM|1984/1984M008.pdf|

**1983年度修了 [#gfcb8226]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|伊藤 徳一|木村 泉|日本語文における体言・用言間の同音異語衝突に関する研究|1983/1983M002.pdf|
|清水 央子|藤井 光昭|季節変動をもつ時系列のモデル化と推定|1983/1983M003.pdf|
|福井 眞吾|木村 泉|オブジェクト指向並列処理言語の概念構成|1983/1983M006.pdf|
|和光 純|鈴木 光男|非分割財市場における狭義のコアと競争均衡|1983/1983M005.pdf|
|大竹 和雄|小林 孝次郎|表明チェック関数を導入したFP代数の研究|1983/1983M011.pdf|
|Shigeo Akashi|梅垣 壽春|ENTROPY ANALYSIS UNDER THE HILBERT SPACE THEORY|1983/1983M007.pdf|
|浅川 康夫|小林 孝次郎|モジュール構造を導入したPrologとその実現|1983/1983M001.pdf|
|Masaaki Itoh|梅垣 壽春|REPESENTATION OF REYNOLDS OPERATORS AND ITS APPLICATION TO SEVERAL CONVERGENCE THEOREMS|1983/1983M008.pdf|
|Yuichi Kurosawa|梅垣 壽春|On the Entropy Theory of Transformations|1983/1983M009.pdf|
|古川 隆弘|本間 龍雄|On a coincidence point theory|1983/1983M004.pdf|
|Ken Miura|梅垣 壽春|REPRODUCING KERNEL HILBERT SPACES AND THEIR APPLICATIONS TO SIGNAL SPACES|1983/1983M010.pdf|

**1982年度修了 [#ba21a576]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|川田 直哉|小島 政和|最近の多項式解法に関するいくつかの実験と評価|1982/1982M002.pdf|
|遠城 秀和|木村 泉|マクロ方式かな漢字変換における辞書作成方式とその評価|1982/1982M001.pdf|
|加藤 渉|鈴木 光男|投票ゲームにおけるプレイヤーの戦略的行動-支配される戦略の連続除去|1982/1982M003.pdf|
|上久保 忠正|鈴木 光男|非協力ゲームの戦略決定における思考過程とその性質|1982/1982M004.pdf|
|佐合 正樹|鈴木 光男|対象ゲームにおけるsubsolutionと自己治安的安定集合|1982/1982M005.pdf|
|菅井 勝|小林 孝次郎|再帰的な定義を許す関係データベース問合せ言語の試作|1982/1982M012.pdf|
|冨士 彰|高橋 渉|Gometric analysis in Banach spaces and its applications|1982/1982M013.pdf|
|山崎 聡|高橋 渉|線形不等式システムとその応用|1982/1982M008.pdf|
|上田 洋一|高橋 渉|On the asymptotic behavior of non linear contractions in Banach spaces|1982/1982M010.pdf|
|Jun Kawabe|梅垣 壽春|GAUSSIAN MEASURES ON HILBERT SPACES AND THEIR APPLICATIONS TO INFORMATION THEORY|1982/1982M011.pdf|
|千葉 常之|高橋 渉|Accretivity and Local Boundedness of Nonlinear Operators|1982/1982M006.pdf|
|日熊 隆則|梅垣 壽春|Loeb measures and their applications|1982/1982M007.pdf|
|吉川 寿|藤井 光昭|非類似値の対比較データに対する多次元尺度法|1982/1982M009.pdf|

**1981年度修了 [#qfe46cef]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|江崎 武史|高橋 正子|denotational semanticsを使った万能interpreter|1981/1981M005.pdf|
|小野 賢治|藤井 光昭|順序カテゴリーをもつ多次元分割表の統計解析|1981/1981M006.pdf|
|木戸 一夫|高橋 渉|近似解の存在性に関する考察|1981/1981M016.pdf|
|杉山 光正|鈴木 光男|分割関数形ゲームにおける利得分配と提携形成をめぐる交渉過程|1981/1981M013.pdf|
|中森 信弥|本間 龍雄|Special almost trivial links and 3-manifolds|1981/1981M008.pdf|
|足立 磔|小林 孝次郎|A Categorial Analysis of Lambda Calculus Models|1981/1981M004.pdf|
|石橋 弘義|高橋 正子|意味解析を考慮した構文解析技法に関する研究|1981/1981M001.pdf|
|木島 正明|森村 英典|Induced Processes from a Semi-Markov Process|1981/1981M002.pdf|
|佐治 信之|小林 孝次郎|データ抽象化機能を持つ関数型言語FLADTの設計と試作|1981/1981M012.pdf|
|綱川 敏彦|森村 英典|N.C.D.-近似による複合交換系の解析|1981/1981M007.pdf|
|西田 哲朗|小林 孝次郎|上向き構文解析における属性評価の最適化|1981/1981M014.pdf|
|西山 尚智|高橋 正子|再帰的手続きを許すProgram Scheme|1981/1981M003.pdf|
|原 誠一郎|藤井 光昭|二値データに対する因子分析|1981/1981M009.pdf|
|廣野 守|本間 龍雄|On the Uniqueness Theorem for Prime Decompositions of 3-Manifolds|1981/1981M010.pdf|
|渡辺 治|小林 孝次郎|ON RELIABILITY AND EFFICIENCY OF PROBABILISTIC ALGORITHMS|1981/1981M015.pdf|
|権 渓花|藤井 光昭|時系列における非線形モデルについての考察|1981/1981M011.pdf|

**1980年度修了 [#g0c601b4]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|久野 靖|木村 泉|マクロ方式によるかな漢字変換の評価|1980/1980M001.pdf|
|西野 文人|木村 泉|計算機による英文作成支援|1980/1980M007.pdf|
|野村 邦夫|森村 英典|バースト雑音発生通信路モデルにおけるたたみこみ符号の訂正能力|1980/1980M009.pdf|
|藤原 睦|小林 孝次郎|リンク変数を含むアルゴリズムの正当性について|1980/1980M011.pdf|
|清水 正人|小林 孝次郎|有限集合の識別の複雑さについて|1980/1980M002.pdf|
|白石 洋一|梅垣 壽春|The Mathematical Formulation of Quantum Decision Theory|1980/1980M003.pdf|
|田倉 昭|高橋 正子|A Tense Logic of Programs|1980/1980M004.pdf|
|田中 満|藤井 光昭|多次元時系列における有限次元パラメータモデルのあてはめについて|1980/1980M005.pdf|
|中村 修一|井上 謙藏|コード生成プログラムの機械独立性の研究|1980/1980M006.pdf|
|根上 生也|本間 龍雄|A characterization of 3-connected graphs containing a given graph and its applications|1980/1980M008.pdf|
|林 雅弘|高橋 渉|Duality in Convex Programming|1980/1980M010.pdf|
|水町 弘明|藤井 光昭|時系列におけるバイリニアーモデルについての考察|1980/1980M012.pdf|
|横山 達也|高橋 正子|On parallel and sequential rewriting systems|1980/1980M013.pdf|
|渡部 信雄|井上 謙藏|3パスALGOL68コンパイラの作成実験|1980/1980M014.pdf|

**1979年度修了 [#i0eabb8c]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|森 隆司|高橋 正子・木村 泉|いくつかの方式によるBliss処理系の開発およびその開発方式の比較研究|1979/1979M002.pdf|
|小長谷 明彦|小林 孝次郎|Data Flow計算機構におけるCombinatorの応用|1979/1979M003.pdf|
|近藤 真義|森村 英典|保険における最適な配当金決定問題|1979/1979M013.pdf|
|杉村 利明|高橋 正子・木村 泉|マクロ処理方式かな漢字変換による日本語文書システムと支援系|1979/1979M005.pdf|
|関根 裕|高橋 正子・木村 泉|かな漢字変換システムにおける新しいマクロ処理方式|1979/1979M006.pdf|
|上原 三八|井上 謙藏|OPTIMIZED OBJECT CODE GENERATION WITH GLOBAL REGISTER ASSIGNMENT|1979/1979M001.pdf|
|春日 敏彦|本間 龍雄|FOLIATIONS ON COMPACT 3-MANIFOLDS|1979/1979M011.pdf|
|菊地 良知|本間 龍雄|ON HEEGAARD SPLITTINGS OF TORUS BUNDLES|1979/1979M012.pdf|
|菅原 昭博|梅垣 壽春|Algebraic and Ordered Structures of Mathematical Quantum Theory|1979/1979M004.pdf|
|田崎 英明|井上 謙藏|コンパイラ最適化処理におけるデータフロー解析の研究|1979/1979M007.pdf|
|田中 一之|高橋 正子|A study of intuitionistic logic with strong negation|1979/1979M008.pdf|
|中出 靖|藤井 光昭|離散量と連続量の混合変量による判別|1979/1979M009.pdf|
|深谷 茂樹|高橋 渉|NONLINEAR ERGODIC THEOREMS AND THEIR APPLICATIONS|1979/1979M015.pdf|
|宮下 修|高橋 渉|Monotone operators in convex programming|1979/1979M016.pdf|
|森 陽子|森村 英典|An Approximate Solution of GI/D/1 using PLMP|1979/1979M014.pdf|
|横内 寛文|小林 孝次郎|パターン・マッチングとリスト処理用言語の研究|1979/1979M010.pdf|

**1978年度修了 [#y22df136]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|佐渡 一広|木村 泉|FACOM230-455電子計算機用CLU処理系の作成・使用経験について|1978/1978M004.pdf|
|Shinko Okada|小林 孝次郎|APPROXIMATION ALGORITHMS FOR THE VARIABLE ASSIGNMENT PROBLEM|1978/1978M009.pdf|
|荻野 富二夫|藤井 光昭|線形回帰モデルにおけるロバスト推定法|1978/1978M001.pdf|
|笠間 正弘|藤井 光昭|線形非定常システムにおけるパラメータの推定と予測について|1978/1978M002.pdf|
|上本 和義|森村 英典|不動点アルゴリズムの非線形計画問題への応用|1978/1978M003.pdf|
|Hidetoshi Komiya|高橋 渉|CONVEX ANALYSIS AND ITS APPLICATIONS|1978/1978M013.pdf|
|篠木 剛|井上 謙藏|Multipass parserの自動生成に関する研究|1978/1978M005.pdf|
|Koichiro Naito|高橋 渉|QUASI VARIATIONAL INEQUALITIES AND CONTROL PROBLEMS|1978/1978M014.pdf|
|長澤 幸雄|井上 謙藏|コンパイラ生成プログラムを用いたALGOL68の2-パス処理系の作成実験|1978/1978M006.pdf|
|藤川 亘|高橋 正子|Some Decistion Problems for Vector Addition Systems and Petri Nets|1978/1978M007.pdf|
|本間 義夫|小林 孝次郎|可能な着手の多いゲームにおける先読みの1手法について|1978/1978M008.pdf|
|森川 治|本間 龍雄|AN ALGORITHM FOR DECREASING BRIDGE NUMBERS OF KNOTS|1978/1978M010.pdf|
|湯山 恭史|高橋 正子|Some properties of Scott's λ-calculus model|1978/1978M011.pdf|
|タカハシ エドワード タダオ|井上 謙藏|構文解析における誤り処理法について|1978/1978M012.pdf|

**1977年度修了 [#of11d4ac]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|高木 茂行|高橋 正子・木村 泉|マクロ処理によるカナ漢字変換|1977/1977M004.pdf|
|畑中 富雄|本間 龍雄|力学系の周期軌道の分類について|1977/1977M013.pdf|
|三浦 章|小林 孝次郎|会話型数式処理システムの設計と製作|1977/1977M009.pdf|
|八尋 雄次|森村 英典|On a tandem queue with a finite intermediate waitingroom|1977/1977M010.pdf|
|若月 俊彦|井上 謙藏・木村 泉|Indirect Threaded Codeを用いたAPL処理系|1977/1977M011.pdf|
|内山 邦男|梅垣 壽春|Operator Algebra Method in Statistical Decision Problems|1977/1977M001.pdf|
|川田 公|高橋 正子|A complete axiom system for regular sets with multiplicity|1977/1977M002.pdf|
|岸本 直人|梅垣 壽春|Feature Selection and Functional Analysis|1977/1977M003.pdf|
|塚田 真|梅垣 壽春|Martingales in Noncommutative Probability Theory|1977/1977M016.pdf|
|中田 輝生|井上 謙藏・木村 泉|変更の容易なソフトウェア作成の一方法とその実験|1977/1977M012.pdf|
|西 和宣|本間 龍雄|Certains critères de Cμ-détermination finie (μ<∞) de germes d'applications différentiables|1977/1977M005.pdf|
|馬場 裕|森村 英典|ON LUMPING OF STATES IN MARKOV CHAINS|1977/1977M015.pdf|
|平野 載倫|高橋 渉|Nonlinear Functional Analysis and its Applications|1977/1977M006.pdf|
|藤原 洋|高橋 渉|On Weak and Strong Convergences of Operators in Lp Spaces|1977/1977M007.pdf|
|藤原 富久美|井上 謙藏|A FLEXIBLE-TOP-DOWN ANALYSIS For LR(k) GRAMMARS|1977/1977M008.pdf|
|増田 剛|井上 謙藏|ALGOL68部分言語の処理系作成上の諸問題|1977/1977M014.pdf|

**1976年度修了 [#xa573e51]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|居島 茂|本間 龍雄|四次元多様体上のPolar-flow|1976/1976M001.pdf|
|五十嵐 仁|梅垣 壽春|THEORY OF ENTROPY AND INFORMATION IN OPERATOR ALGEBRAS|1976/1976M002.pdf|
|長田 格|井上 謙藏|属性文法に基づくコンパイラ・コンパイラの設計と作成|1976/1976M003.pdf|
|古賀 英治|小林 孝次郎|ゲームをするプログラムにおける動的枝探索と学習の手法について|1976/1976M004.pdf|
|金野 千里|梅垣 壽春|Non-Commutative Ergodic Theory under the Method of Operator Algebras|1976/1976M005.pdf|
|酒巻 一雄|高橋 渉|Doubly stochastic operators on L1-spaces|1976/1976M006.pdf|
|重盛 靖|本間 龍雄|HEEGAARD SPLITTINGS OF HOMOLOGY 3-SPHERES|1976/1976M007.pdf|
|島田 敏明|藤井 光昭|Fitting Autoregressive Schemes of Multiple Time Series|1976/1976M008.pdf|
|白濱 律雄|木村 泉|ソフトウェアの移植に関する実例研究|1976/1976M009.pdf|
|鈴木 勇|梅垣 壽春|Pattern Recognition Theory in Hilbert Spaces and Multi-way Channels|1976/1976M010.pdf|
|鈴木 孝幸|森村 英典|異常輻輳状態の事前検出について|1976/1976M011.pdf|
|高木 英雄|藤井 光昭|学習過程の統計的判別について|1976/1976M012.pdf|
|高橋 昌巳|高橋 渉|A Functional Analysis Method for Random Equations|1976/1976M013.pdf|
|高見 義則|森村 英典|M/Eh/C型待ち行列の待ち時間分布の数値解法と待ち時間分布の近似式|1976/1976M014.pdf|
|鶴田 明|藤井 光昭|時系列の判別について|1976/1976M015.pdf|
|寺崎 健|梅垣 壽春|Prediction Theory of Hilbert Space Valued Stationary Processes over Locally Compact Abelian Groups|1976/1976M016.pdf|
|桧山 重雄|井上 謙藏|直構文解析手法を用いたコンパイラ作成システムに関する研究|1976/1976M017.pdf|
|平野 和憲|本間 龍雄|R3上のcritical pointを持たないvector-field|1976/1976M018.pdf|
|森 正人|高橋 正子|K-rational setに関する1 axiom system|1976/1976M019.pdf|
|矢島 美寛|藤井 光昭|Representations and Prediction of Nonstationary Processes|1976/1976M020.pdf|
|柳田 五夫|高橋 渉|Applications of minimax theorems and convex games|1976/1976M021.pdf|
|Antonio J. M. Soares|井上 謙藏|ADAMS-A DATA MANAGEMENT SYSTEM|1976/1976M022.pdf|
|李 基式|井上 謙藏|DESIGNING A SIMPLE SUPPORT SYSTEM FOR STRUCTURED PROGRAMMING|1976/1976M023.pdf|

**1975年度修了 [#d25da4f3]
|氏名|指導教員|タイトル|ファイル名|h
|LEFT:85|LEFT:75||SIZE(10):|c
|小木曽 治比古|木村 泉|浮動小数点システムとアルゴリズムの結果への影響|1975/1975M003.pdf|
|角田 博保|木村 泉|SNOBOL言語の新処理方式に関する研究|1975/1975M005.pdf|
|西村 高志|木村 泉|プログラム作成方法に関する研究|1975/1975M007.pdf|
|犬飼 直樹|国沢 清典・藤井 光昭|A comparison of four prediction methods in time series|1975/1975M001.pdf|
|内田 富夫|森村 英典|統計的手法による会話形式文献検索システムの考察|1975/1975M002.pdf|
|小澤 正直|梅垣 壽春|Operetor Methods in Information and Decision Theory for Quantum Systems|1975/1975M004.pdf|
|垣原 祐一郎|梅垣 壽春|A HARMONIC ANALYSIS METHOD FOR INFORMATION CHANNELS|1975/1975M011.pdf|
|神保 雅一|国沢 清典|AN UPPER BOUND FOR 8-ARY CODES WITH GIVEN MINIMUM DISTANCE|1975/1975M010.pdf|
|田野実 裕之|小林 孝次郎|スキーマの決定可能性についての言語理論からの一考察|1975/1975M012.pdf|
|徳田 雄洋|井上 謙藏|A Combinatonal Method for Minimizing LL(k) and LR(k) Parsers|1975/1975M006.pdf|
|林 泰正|国沢 清典・藤井 光昭|Fair-Jaffeeモデルにおける最尤法のロバストネスの検証|1975/1975M013.pdf|
|三村 利彦|小林 孝次郎|正規集合でコントロールされたL-システム|1975/1975M014.pdf|
|宮下 弘|梅垣 壽春|Minimax Theorems and Their Applications|1975/1975M008.pdf|
|柳 研二郎|梅垣 壽春|NONLINEAR VARIATIONAL INEQUALITIES FOR SINGLEVALUED OR MULTIVALUED MAPPINGS|1975/1975M015.pdf|
|山崎 勉|森村 英典|k-out-of-nシステムの状態を決定する最適検査手順|1975/1975M009.pdf|