header

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

修士論文

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

論文の本体は,専攻メンバーのみが閲覧可能で,

kiel:/home/suuri/ronbun/MASTER/ファイル名

にあります.

2014年度修了 (2015年3月)

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

2014年度修了 (2014年9月)

氏名指導教員タイトルファイル名
桂 悠哉脇田 建社会ネットワークからの重複コミュニティの抽出2014-8/2014-8M001.pdf
王 宇田中 圭介Strong Existential Unforgeability with Leakage Resiliency2014-8/2014-8M002.pdf
徐 駿剣脇田 建JavaScript Debugger Using Data Structure Visualization2014-8/2014-8M003.pdf
Kevin Antoney Brown松岡 聡MPI集団通信における通信ボトルネックの検出2014-8/2014-8M004.pdf

2013年度修了 (2014年3月)

氏名指導教員タイトルファイル名
原 照雅三好 直人・
下平 英寿
潜在データに対する情報量規準の混合分布モデルへの応用2014-2/2014-2M001.pdf
建部 大輔首藤 一幸クラウドストレージの読み書き性能とアプリケーション性能の関係2014-2/2014-2M002.pdf
安藤 泰弘首藤 一幸構造化オーバレイにおけるアクセス分布のみに基づく経路表構築手法2014-2/2014-2M003.pdf
石川 大記間瀬 茂・
鈴木 大慈
アンサンブル学習の統合における予測精度の改善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
小林 淳記福田 光浩・
山下 真
Stable Compressive Principal Component Pursuit の提案と解析2014-2/2014-2M009.pdf
小松 章彦山下 真・
福田 光浩
上下限制約つき非線形半正定値計画問題に対する信頼領域法の設計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 Logics2014-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脇田 建・
下平 英寿
Nonparametric estimation of the preferential attachment function in complex networks2014-2/2014-2M024.pdf

2013年度修了 (2013年9月)

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

2012年度修了 (2013年3月)

氏名指導教員タイトルファイル名
濱口 卓也間瀬 茂Gaussian copula における共分散関数について2013-2/2013-2M001.pdf
山口 義隆間瀬 茂条件付き分布にしたがうデータからの無条件分布の推定2013-2/2013-2M002.pdf
河野 友亮鹿島 亮中間論理CDを拡張した論理における補間定理について2013-2/2013-2M003.pdf
市川 和央渡辺 治・
千葉 滋
静的型付け言語における汎用的なユーザ定義演算子を含む式の構文解析手法2013-2/2013-2M004.pdf
伊藤 勝福田 光浩・
山下 真
凸計画問題に対する劣勾配アルゴリズムの新しい枠組み提案2013-2/2013-2M005.pdf
今井 寿太朗鹿島 亮時相論理ECTLの充足可能性と完全性について2013-2/2013-2M006.pdf
岩見 弘一郎西畑 伸也プラズマ流を記述するBipolar Euler-Poisson方程式の定常解の数学解析2013-2/2013-2M007.pdf
大谷 桂介脇田 建並列分散処理に対応した自己記述構造化バイナリデータ2013-2/2013-2M008.pdf
大谷 晃司渡辺 治・
千葉 滋
アスペクト指向言語のための視点に応じた編集を可能にするツール2013-2/2013-2M009.pdf
大坪 峻之田中 圭介Construction for Leakage-Resilient Public-Key Encryption2013-2/2013-2M010.pdf
梶原 和樹三好 直人専用サーバと共用サーバを持つ再試行型待ち行列の漸近解析2013-2/2013-2M011.pdf
金城 憲長山下 真・
下平 英寿
センサーネットワーク位置推定問題における重み付けの研究2013-2/2013-2M012.pdf
木下 雄介田中 圭介Proxy and Non-malleability on Broadcast Encryption2013-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
中垣 敬福田 光浩・
山下 真
対数行列式とl_1ノルムを持つ半正定値計画問題に対するスペクトル射影勾配法の実装2013-2/2013-2M019.pdf
仲田 至三好 直人複数種類の基地局からなるセルラネットワークの確率幾何モデル2013-2/2013-2M020.pdf
永田 晴久脇田 建・
下平 英寿
階層型クラスタリングの GPU ブートストラップ実装と負荷パラメータの導入2013-2/2013-2M021.pdf
華井 雅俊首藤 一幸Simulation of Large-Scale Distributed Systems with a Distributed Graph Processing System2013-2/2013-2M022.pdf
平松 俊樹渡辺 治・
千葉 滋
実行速度を考慮した実装法による細粒度でのコード再利用のためのメソッド内メソッド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
宮崎 慶山下 真・
福田 光浩
Completely Positive計画問題に対するT錐緩和による問題サイズの縮小化2013-2/2013-2M027.pdf
遊佐 俊彦渡辺 治正規化圧縮距離の妥当性解析2013-2/2013-2M028.pdf

2012年度修了 (2012年9月)

氏名指導教員タイトルファイル名
田口 貴規佐々 政孝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 Memory2012-8/2012-8M003.pdf

2011年度修了 (2012年3月)

氏名指導教員タイトルファイル名
新井 昇鎬千葉 滋仮想マシンを用いた 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 Set2012-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 Checkpointing2012-2/2012-2M024.pdf

2011年度修了 (2011年9月)

氏名指導教員タイトルファイル名
中村 俊介首藤 一幸読み出し性能と書き込み性能を両立させるクラウドストレージ2011-8/2011-8M001.pdf
Nguyen Manh Ha田中 圭介Generic Constructions for Leakage-Resilient Public-Key Encryption2011-8/2011-8M002.pdf

2010年度修了 (2011年3月)

氏名指導教員タイトルファイル名
井村 太一脇田 建幾何学的特徴とアピアランスベースの特徴を併用した顔表情認識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
加藤 健太小島 政和・
福田 光浩
Implementation of Preprocessing Methods for Conic-form Linear Optimization Problems: Free Variables Elimination and Size Reduction by Exploiting Sparsity2011-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 Encryption2011-2/2011-2M021.pdf
野村 達雄松岡 聡A Code Generation Framework for Stencil Computations on Large Scale GPU Clusters2011-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 orthospectrum2011-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 Assumptions2011-2/2011-2M031.pdf
和田 裕一郎小島 政和有界な確率分布に従うジョブの貪欲スケジューリングに対する最適解への収束速度の考察2011-2/2011-2M032.pdf

2010年度修了 (2010年9月)

氏名指導教員タイトルファイル名
中村 天真三好 直人Cox/M/c/0システムにおける呼損率の不変性2010-8/2010-8M001.pdf

2009年度修了 (2010年3月)

氏名指導教員タイトルファイル名
青井 遥下平 英寿不完全データにおける情報量規準の状態空間モデルへの応用2010-2/2010-2M001.pdf
赤井 駿平千葉 滋An Extension of AspectJ to Weave Aspect into an Arbitrary Code Region2010-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 semiconductors2010-2/2010-2M015.pdf
副島 佑介佐々 政孝コンピュータ囲碁におけるRoot並列化について2010-2/2010-2M016.pdf
武山 文信千葉 滋A New Kind of Advice for Advice Composition without Interference2010-2/2010-2M017.pdf
田添 聡士渡辺 治仮想マシン再配置問題に対する厳密アルゴリズム2010-2/2010-2M018.pdf
樽見 晋平鹿島 亮知識の論理と時間の論理について2010-2/2010-2M019.pdf
丹 優樹田中 圭介Security on Public-Key Encryption with Keyword Search2010-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 words2010-2/2010-2M025.pdf
松田 敏秀田中 圭介CCA Proxy Re-Encryption without Bilinear Maps in the Standard Model2010-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月)

氏名指導教員タイトルファイル名
小倉 麻理子三好 直人無限サーバ待ち行列がつくるスケールフリー区間グラフとその拡張2009-8/2009-8M001.pdf
田所 秀和千葉 滋複数OSに対応した仮想マシン間プロセススケジューリング2009-8/2009-8M002.pdf
野田 佳克西畑 伸也Semiconductor Device Simulation for Quantum Drift Diffusion Model2009-8/2009-8M003.pdf

2008年度修了 (2009年3月)

氏名指導教員タイトルファイル名
今橋 孝典佐々 政孝種々の最適化の効果のモデル化と,それに基づく最適化列の効果の予測2009-2/2009-2M001.pdf
新里 倫子高橋 渉A Strong Convergence Theorem by a New Hybrid Method for an Equilibrium Problem with Nonlinear Mappings in a Hilbert Space2009-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 sphere2009-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 mappings2009-2/2009-2M017.pdf
田中 一嘉高橋 渉Weak convergence theorems for nonspreading mappings and equilibrium problems2009-2/2009-2M018.pdf
田中 秀宗渡辺 治Gowers 一様性による剰余関数の相関評価2009-2/2009-2M019.pdf
中川 元貴佐々 政孝アフィン分割を用いた自動ループ並列化2009-2/2009-2M020.pdf
沼山 晃田中 圭介Weakened Random Oracle Models2009-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 Schemes2009-2/2009-2M028.pdf

2008年度修了 (2008年9月)

氏名指導教員タイトルファイル名
竹部 裕俊田中 圭介Public-Key Steganography with Authentication2008-8/2008-8M001.pdf
ラティランウォン スメート松岡 聡Adaptive Index Distribution Technique for Efficient Search on Unstructured P2P Networks2008-8/2008-8M002.pdf
Mario Larangeira田中 圭介Security Proofs for Signature Schemes in the Generic Model2008-8/2008-8M003.pdf

2007年度修了 (2008年3月)

氏名指導教員タイトルファイル名
井上 豪高橋 渉Strong convergence theorems by hybrid methods for maximal monotone operators and relatively nonexpansive mappings in Banach spaces2008-2/2008-2M001.pdf
井上 大輔田中 圭介Constructions for Conditional Oblivious/Converge Transfer/Cast2008-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 Spaces2008-2/2008-2M007.pdf
行田 修久高橋 幸雄歩行可能領域に制約のある空間における歩行モデル2008-2/2008-2M008.pdf
作本 紘一田中 圭介Key Substitutability on Signature and Its Applications2008-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 spaces2008-2/2008-2M012.pdf
滝澤 裕二千葉 滋SAccessor: デスクトップ PC のための安全なファイルアクセス制御システム2008-2/2008-2M013.pdf
田中 努小島 政和半正定値計画問題の並列解法の実装2008-2/2008-2M014.pdf
鶴見 敏行脇田 建大規模社会ネットワークからコミュニティ構造を抽出するための分散アルゴリズム2008-2/2008-2M015.pdf
波多腰 真梨小島 定吉・
金 英子
The second smallest hyperbolic 3-manifolds with geodesic boundary2008-2/2008-2M016.pdf
林 賢史渡辺 治決定性有限オートマトンの極限学習2008-2/2008-2M017.pdf
久松 達典下平 英寿時系列データの階層型クラスタ分析におけるマルチスケール・ブートストラップ法2008-2/2008-2M018.pdf
平野 裕小島 定吉The moduli space of equilateral hexagons2008-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 tainting2008-2/2008-2M027.pdf
河合 博一小島 定吉Morse functions on the Fermat curve2008-2/2008-2M028.pdf
千葉 立寛松岡 聡グリッド環境におけるMPI集団通信アルゴリズムの最適化2008-2/2008-2M029.pdf

2007年度修了 (2007年9月)

氏名指導教員タイトルファイル名
鈴木 徹鹿島 亮サイクルを記述する定数を持つ様相論理について2007-8/2007-8M001.pdf
千田 敏間瀬 茂確率的言語モデルを用いた源氏物語のテキスト分析2007-8/2007-8M002.pdf
山下 直之田中 圭介A Study on ID-Based Cryptosystems2007-8/2007-8M003.pdf

2006年度修了 (2007年3月)

氏名指導教員タイトルファイル名
中谷 俊晴佐々 政孝比較照合法によるコンパイラ最適化器の誤りの検出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 Signature2007-2/2007-2M010.pdf
岡本 稔鹿島 亮特殊な述語を含む直観主義論理に関する研究2007-2/2007-2M011.pdf
狩野 祐介佐々 政孝Flow-insensitiveな別名情報と制御フロー構造を用いた最適化対象の拡大2007-2/2007-2M012.pdf
草川 恵太田中 圭介A Study on Lattice-Based Cryptosystems2007-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 spaces2007-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 Problem2007-2/2007-2M031.pdf

2006年度修了 (2006年9月)

氏名指導教員タイトルファイル名
青木 仁志松岡 聡動的なノード群構成機構を備えた階層型グリッド環境2006-8/2006-8M001.pdf
方 玲佐々 政孝双方向 CTL による Java プログラム最適化器の生成2006-8/2006-8M002.pdf

2005年度修了 (2006年3月)

氏名指導教員タイトルファイル名
家本 繁高橋 渉Fixed Point Algorithms in Optimization2006-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 problems2006-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 semiconductors2006-2/2006-2M013.pdf
鈴木 学田中 圭介Sanitizable Signature with Secret Information2006-2/2006-2M014.pdf
鷹岡 良治脇田 建制御フローグラフのトレースによる侵入検知2006-2/2006-2M015.pdf
高橋 義明高橋 渉An Individual Ergodic Theorem on Banach Lattices2006-2/2006-2M016.pdf
滝澤 真一朗松岡 聡光ネットワーク環境における MPI 集団通信2006-2/2006-2M017.pdf
竹内 裕也間瀬 茂ブロックデータを用いた地球統計学の研究2006-2/2006-2M018.pdf
多田 明功高橋 渉Existence of solutions for equilibrium problems and convergence theorems2006-2/2006-2M019.pdf
田村 晋照鹿島 亮ハイブリット論理の公理系の研究2006-2/2006-2M020.pdf
永見 瞳高橋 渉逆関数定理を用いた最適化理論と凸解析における諸定理の証明2006-2/2006-2M021.pdf
羽田 大樹田中 圭介Models and Protocols for Password-based Authenticated Key Exchange2006-2/2006-2M022.pdf
日比野 秀章千葉 滋J2EE アプリケーション におけるアプリケーションレベルスケジューリング2006-2/2006-2M023.pdf
樋渡 玄良田中 圭介A Cramer-Shoup Variant Related to the Quadratic Residuosity Problem2006-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月)

氏名指導教員タイトルファイル名
飯野 彰子松岡 聡ユーザのステアリングを許すインタラクティブなジョブスケジューリングシステム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 resampling2005-2/2005-2M015.pdf
須藤 大二朗佐々 政孝比較照合法によるコンパイラ最適化器の正しさの検証2005-2/2005-2M016.pdf
須永 豊千葉 滋既存 Java プログラム向け分散化支援システムの開発2005-2/2005-2M017.pdf
善林 啓高橋 渉Fixed point theorems for asymptotically nonexpansive semigroups in Banach spaces2005-2/2005-2M018.pdf
田口 俊介小島 政和An Approximation Methodfor Robust Deviation Decision Problems2005-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 Scheduling2005-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 Patterns2005-2/2005-2M029.pdf

2003年度修了 (2004年3月)

氏名指導教員タイトルファイル名
飯田 雅臣渡辺 治部分定義ブール関数のダブルホーン拡張および限定ホーン拡張2004-2/2004-2M001.pdf
猪飼 美羽小島 政和テレビ番組の CM 割付問題に対する解法2004-2/2004-2M002.pdf
一色 寿幸田中 圭介匿名グループ認証のための効率的な方式について2004-2/2004-2M003.pdf
内田 康裕高橋 渉Generalization of Some Convergence Theorems in Hilbert Spaces2004-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
小濱 真樹佐々 政孝・
脇田 建
SSA 正規化アルゴリズムの比較と評価2004-2/2004-2M011.pdf
小林 真三好 直人コンピュータウイルスの感染形態に応じたモデル化とその評価2004-2/2004-2M012.pdf
繁住 健哉渡辺 治データベース検索における最適シードの探索2004-2/2004-2M013.pdf
芝崎 亮脇田 建・
佐々 政孝
分光を考慮したダイヤモンドの写実的なレンダリング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 Networks2004-2/2004-2M017.pdf
立川 英佐々 政孝・
脇田 建
静的単一代入形式上の部分冗長性除去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 Selection2004-2/2004-2M031.pdf

2003年度修了 (2003年9月)

氏名指導教員タイトルファイル名
水間 利治佐々 政孝・
脇田 建
プログラムポイント毎の干渉解析を用いたレジスタ割り当て2003-8/2003-8M001.pdf

2002年度修了 (2003年3月)

氏名指導教員タイトルファイル名
榎本 礼柴山 悦哉暗号の性質を考慮したセキュリティプロトコルの検証2003-2/2003-2M001.pdf
関口 良行高橋 渉Stability Analysis on Minimax Problems2003-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
大村 慶二田中 圭介・
渡辺 治
別の数え上げ符号を用いたナップザック暗号2003-2/2003-2M008.pdf
緒方 大介脇田 建・
佐々 政孝
バイトコードインタプリタ作成のためのツールキットの実現2003-2/2003-2M009.pdf
小園 美樹高橋 渉Projections and Mosco convergence in Banach spaces2003-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
西川 健一脇田 建・
佐々 政孝
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.・
小島 政和
対称性を持つ多項式方程式系に対する混合体積の計算2003-2/2003-2M024.pdf
峰崎 俊介高橋 渉Block Iterative Projection Algorithms in Hilbert Spaces2003-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 relaxation2003-2/2003-2M027.pdf
三原 克大柴山 悦哉携帯機器向け JIT コンパイラが行う最適化を支援する検証可能 な注釈2003-2/2003-2M028.pdf

2002年度修了 (2002年9月)

氏名指導教員タイトルファイル名
高橋 保谷口 雅治反応拡散方程式における進行波解2002-7/2002-7M001.pdf

2001年度修了 (2002年3月)

氏名指導教員タイトルファイル名
浅井 健彦谷口 雅治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 Variational2002-2/2002-2M004.pdf
池添 洋平佐々 政孝属性文法の系統的デバッグ手法とその環境2002-2/2002-2M005.pdf
岩崎 聖松岡 聡Grid 環境における大規模クラスタ向け高速アプリケーション起動アーキテクチャの実装及び性能評価2002-2/2002-2M006.pdf
大山 洋史小島 定吉Complexity of the word problem for some 3-manifold groups2002-2/2002-2M007.pdf
小上 賢一高橋 幸雄・
三好 直人
東工大 LAN 測定データに基づいた Web トラフィックモデル2002-2/2002-2M008.pdf
加藤 吉之介佐々 政孝・
脇田 建
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
林 悠樹高橋 幸雄・
三好 直人
無線アクセスシステムにおける CSMA/CA 方式の性能評価2002-2/2002-2M019.pdf
久永 賢司柴山 悦哉クラス図中にソースコード表示を行うペアプログラミングのための開発環境2002-2/2002-2M020.pdf
藤田 陽子高橋 幸雄・
三好 直人
電車内における人の乗降立ち位置モデル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月)

氏名指導教員タイトルファイル名
鈴村 豊太郎松岡 聡Design and Implementation of A Jini-based Computing Portal System for the Grid2001-7/2001-7M001.pdf

2000年度修了 (2001年3月)

氏名指導教員タイトルファイル名
Marcel Crasmaru渡辺 治PSPACE versus EXP-TIME and the game of GO2001-2/2001-2M001.pdf
野田 明生佐々 政孝大規模災害時に人々の意志疎通を支援する機構の評価2001-2/2001-2M002.pdf
秋山 英昌鹿島 亮ラベル付シークエントを用いた完全性の研究2001-2/2001-2M003.pdf
岩崎 大志三好 直人・
高橋 幸雄
Sensitivity estimation for window flow controlled fluid networks2001-2/2001-2M004.pdf
内山 雄司脇田 建・
佐々 政孝
言語処理系におけるメモリ管理機能の部品化手法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
高橋 利臣三好 直人・
高橋 幸雄
Bounds of Performance Measures in Large-Scale Mobile Communication Networks2001-2/2001-2M013.pdf
辻垣 元佐々 政孝・
脇田 建
IA-64 アーキテクチャの機能を効果的に利用したコード生成2001-2/2001-2M014.pdf
中川 貴之松岡 聡Grid におけるスケジューリング手法評価のための testbed の構築2001-2/2001-2M015.pdf
中原 将威谷口 雅治実軸上で反発的に相互作用する複数のパルスの漸近挙動2001-2/2001-2M016.pdf
中村 悟司小島 政和・
戴 陽
行列補完を用いた半正定値問題の解法2001-2/2001-2M017.pdf
新村 健太鹿島 亮適切さの論理の正規自然演繹2001-2/2001-2M018.pdf
橋本 亨鹿島 亮ラベル付きの論理体系における決定手続きについて2001-2/2001-2M019.pdf
畑埜 晃平渡辺 治決定木型のブースティングアルゴリズムの解析2001-2/2001-2M020.pdf
船山 幸一郎高橋 幸雄・
三好 直人
ボラティリティ・スマイルを考慮した 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 Iterations2001-2/2001-2M025.pdf
山下 真小島 政和・
戴 陽
Tierra 的手法を用いた植物系の進化のシミュレーションとその解析2001-2/2001-2M026.pdf
和田 剛高橋 幸雄・
三好 直人
スクランブル交差点における歩行挙動モデルとシミュレーション2001-2/2001-2M027.pdf

1999年度修了

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

1998年度修了

氏名指導教員タイトルファイル名
Miyake Hiromichi高橋 渉Fixed Point Theorems for Nonexpansive Mappings in Metric Spaces1998/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 Space1998/1998M009.pdf
奥平 雄吾佐々 政孝・脇田 建高速実行可能な低レベル命令セット仮想計算機の実現1998/1998M010.pdf
九鬼 昌平鹿島 亮・寳来 正子relevant logicの完全性について1998/1998M011.pdf
小山 敦史三好 直人・高橋 幸雄Pricing Outside Double-Barrier Options and Downgrade Options1998/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 domain1998/1998M017.pdf
羽田 浩鵜飼 正二Existence and Stability of Periodic Solutions for Discrete Velocity Models of Boltzmann Equation with Periodic Boundary Data1998/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 Spaces1998/1998M025.pdf
福田 光浩小島 政和・戴 陽Branch-and-Cut Algorithms for Bilinear Matrix Inequality Problems(双線形行列不等式問題に対する分枝カット法)1998/1998M026.pdf
梁 雲高橋 幸雄循環Tree型かんばんシステム待ち行列ネットワークに対する一つの近似法1998/1998M027.pdf
山田 剛柴山 悦哉計算機による逆算式詰将棋創作の支援1998/1998M028.pdf

1997年度修了

氏名指導教員タイトルファイル名
豊田 昌史高橋 渉Random Fixed Point Theorems1997/1997M011.pdf
平井 敦子寳来 正子高階マッチング問題について1997/1997M017.pdf
安藤 友人柴山 悦哉高レベル協調行動を獲得するための強化学習法1997/1997M002.pdf
市川 勝規高橋 渉Limit Theorems for Stochastic Matrices1997/1997M003.pdf
井上 慶一高橋 渉Variational Inequality Problems1997/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 Processes1997/1997M008.pdf
狩野 秀一柴山 悦哉非正格な関数型プログラムの適用順再生を用いたデバッグ手法の研究1997/1997M009.pdf
鈴木 憲明佐々 政孝オブジェクトの寿命解析を用いた最適化技法1997/1997M010.pdf
鳥井 靖之佐々 政孝視覚的シナリオ構築によるアニメーション作成1997/1997M012.pdf
中田 和秀小島 政和Semidefinite Programming with the Conjugate Gradient Method and Computation of the Lovász Number1997/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
芦ヶ原 範之柴山 悦哉効率的な制約解消のための宣言的annotation1997/1997M023.pdf
新井 佐恵香小島 政和組合せ最適化手法によるシフト・スケジューリング作成法の構築1997/1997M001.pdf
濱須 勇行小島 政和半無限制約問題に対する解析的中心切除平面解法の研究1997/1997M015.pdf

1996年度修了

氏名指導教員タイトルファイル名
Shoji Kamimura高橋 渉Almost Everywhere Convergence Theorems for Nonlinear Operators on L11996/1996M006.pdf
吉川 美佐子高橋 渉Weak and strong convergence to fixed points of nonexpansive mappings1996/1996M014.pdf
築山 典弘高橋 渉Convergence theorems of iterations of nonexpansive mappings in Banach spaces1996/1996M016.pdf
水嶋 滋小島 定吉トーラス上のアフィン構造とサークルパッキング1996/1996M024.pdf
山岸 光柴山 悦哉KLICにおける並列プログラミングフレームワークの設計と実装1996/1996M026.pdf
茨木 貴徳高橋 渉Fan's System Theorem for Vector-Valued Functions and its Applications1996/1996M001.pdf
大沢 繁夫高橋 渉関数解析を用いた非線形計画法1996/1996M002.pdf
太田 正幸柴山 悦哉Learning Cooperative Behaviors in Uncertain Environments1996/1996M003.pdf
大原 久樹高橋 幸雄・牧本 直樹MPEG-2による動画像データの分析とモデル化1996/1996M004.pdf
小野木 渡大野 浩之NMW Systemによるネットワーク管理とその評価1996/1996M005.pdf
唐杉 実高橋 渉Convergence Theorems on Slice Topology for Linear Continuous Mappings1996/1996M007.pdf
木本 雅彦大野 浩之大学内公衆情報端末(PICKLES)を用いたネットワーク利用環境の構築に関する研究1996/1996M008.pdf
河内 正信牧本 直樹・高橋 幸雄Analysis of the Steady State Tail Probability of Long-range-dependent Queueing Processes1996/1996M009.pdf
小坂 栄之小島 政和多期間クラス分け問題1996/1996M010.pdf
佐藤 裕藤井 光昭一般の損失関数を用いた予測の最適性について1996/1996M011.pdf
佐藤 守小島 政和An Efficient Algorithm for Finding the Most Vital Edges of Matching in a Bipartite Graph1996/1996M012.pdf
高橋 正美鵜飼 正二Existence and Stability of Periodic Solutions for Discrete Velocity Models of the Boltzmann Equation with External Force Term1996/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年度修了

氏名指導教員タイトルファイル名
浦賀 毅寳来 正子トポス理論について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 Set1995/1995M003.pdf
金子 正俊佐々 政孝制約と状態遷移によるアルゴリズムアニメーション構築1995/1995M004.pdf
原田 健志小林 孝次郎算術演算を利用するソーティングの平均実行時間について1995/1995M005.pdf
青田 佳人鵜飼 正二脳の辺縁系における神経回路網の数理モデルの研究1995/1995M006.pdf
赤塚 正則高橋 渉Optimal control theorems for nonlinear functional differential equations1995/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 Changes1995/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 sphere1995/1995M020.pdf
武田 景高橋 渉Fan's System Theorems and Characterizations of Games1995/1995M021.pdf
田坂 宏次高橋 渉Normal Structure, Asymptotic Normal Structure and Fixed Points1995/1995M022.pdf
都築 俊勝高橋 渉Convergence of Closed Convex Sets and Sunny Nonexpansive Retraction in Banach Spaces1995/1995M023.pdf
豊田 正史柴山 悦哉KLIEG: A Visual Parallel Programming Environment Using Process Network Patterns as a Flexible Reuse Mechanism1995/1995M024.pdf
早川 崇小島 定吉境界付き双曲多様体の変形1995/1995M025.pdf
早川 尚範寳来 正子型付きλ計算により表現可能な関数について1995/1995M026.pdf
平井 力高橋 幸雄・牧本 直樹Some Basic Properties of the Cross Aggregation Method for Approximately Analyzing Acyclic Queueing Networks1995/1995M027.pdf
藤田 裕二小島 定吉一様なタイルによる平面のタイルばり1995/1995M028.pdf
古川 陽柴山 悦哉Application Level Memory Management in an Abstract Operating System1995/1995M029.pdf
森 直人小島 政和・矢島 安敏半正定値計画問題を解くための主・双対内点法に関する研究1995/1995M030.pdf
Yafeng Chen佐々 政孝Attribute Grammar Description of Optimizers in Static Single Assignment Form1995/1995M032.pdf
馬場 昭彦高橋 幸雄地域情報通信網の将来需要を見込んだ経路選択とグラフ的構造の研究1995/1995M033.pdf

1994年度修了

氏名指導教員タイトルファイル名
太田 行紀佐々 政孝属性文法に基づくテストプログラム生成器の設計と実装1994/1994M006.pdf
加藤 克利高橋 渉Existence Theorems in Complete Metric Spaces1994/1994M007.pdf
木村 泰紀高橋 渉Characterization Theorems of Epi-convergence for Lower Semicontinuous Functions1994/1994M008.pdf
中條 一秀高橋 渉Fixed Point Theorems for Families of Mappings1994/1994M014.pdf
渡辺 英俊今野 浩多目的債券ポートフォリオ最適化モデルの理論と応用1994/1994M001.pdf
Akiyoshi Shioura小島 政和Efficient Algorithms for Location Problems on Tree Networks1994/1994M002.pdf
野澤 義雄木村 泉外界との緊密な相互作用のもとでの人の問題解決とそのモデル1994/1994M003.pdf
厚芝 幸子高橋 渉Nonlinear Ergodic Theorems and Convergence Theorems in Banach Spaces1994/1994M004.pdf
大久保 琢也佐々 政孝属性文法に対するデバッガ1994/1994M005.pdf
草野 伸美木村 泉入力デバイス多様化の実験1994/1994M009.pdf
貞広 泰造小島 定吉ヒルベルト類多項式の計算1994/1994M010.pdf
重成 基高橋 渉Invariant Measures for Families of Transformations1994/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年度修了

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

1992年度修了

氏名指導教員タイトルファイル名
鈴木 智成高橋 渉Star-Shaped Maps and Applications1992/1992M011.pdf
Makoto Kikuchi寳来 正子NONSTANDARD MODELS OF PEANO ARITHMETIC AND GÖDEL'S INCOMPLETENESS THEOREM1992/1992M002.pdf
戸田 洋三寳来 正子λ-cube上のβη-reductionについて1992/1992M001.pdf
青木 靖小林 孝次郎文字列上の確率分布を変換するアルゴリズム1992/1992M003.pdf
青山 耕治高橋 渉The Radon-Nikodym property and operators on L11992/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 Spaces1992/1992M009.pdf
高野 正次高橋 幸雄On eigenvalues of the rate matrix in a PH/PH/c queue1992/1992M010.pdf
田中 一廣高橋 渉Covering Theorems of Simplexes1992/1992M012.pdf
野中 裕之藤井 光昭STUDY OF SOLVING PORTFOLIO SELECTION PROBLEMS BY USING TIME SERIES ANALYSIS1992/1992M013.pdf
藤本 衡高橋 幸雄Tail Behavior of the Steady-state Distribution in Two-Stage Tandem Queues1992/1992M014.pdf
諸永 知子高橋 渉Existence of Solutions for Complementarity Problem1992/1992M015.pdf
竜瀬 信彦藤井 光昭強い周波数の波が途中で変化する時系列データの解析1992/1992M016.pdf

1991年度修了

氏名指導教員タイトルファイル名
佐藤 健治高橋 渉Measure Theory on Dense Subsets of R31991/1991M008.pdf
田村 高幸高橋 渉Some Theorems in the Geometry of Banach Spaces1991/1991M011.pdf
三宅 春城藤井 光昭時系列における自己回帰モデルとバイリニアモデルの関係の考察1991/1991M015.pdf
Toshiaki Tsuchiya高橋 幸雄On Discrete-Time Single-Server Queues with Markov Modulated Batch Bernoulli Inputs and Finite Capacity1991/1991M001.pdf
Junichi Nisimoto小島 定吉Deformation of hyperbolic cone structures on the figure eight knot1991/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年度修了

氏名指導教員タイトルファイル名
深澤 安伸木村 泉日本語文書入力における打鍵動作のシミュレーション1990/1990M009.pdf
松島 栄樹木村 泉ランドマーク階層の修復アルゴリズム1990/1990M001.pdf
石田 実小島 定吉Presentation of groups by finite automata and its applications1990/1990M012.pdf
伊藤 義行木村 泉実行計算機数に依存しないCLU言語並列化1990/1990M002.pdf
斉藤 努小島 政和大規模線形計画問題を解く内点法のプログラム1990/1990M003.pdf
酒井 伸啓小林 孝次郎抽象データの視覚化に関する研究1990/1990M013.pdf
柴田 清己木村 泉舞台照明のための視覚的プログラミング環境1990/1990M004.pdf
杉本 徹寳来 正子Dialogue Processing Based on Multiple World Representation of Mental States1990/1990M014.pdf
住本 順一寳来 正子Generalized Completeness of Multimodal Logics with Kleene Operators1990/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 Structures1990/1990M011.pdf

1989年度修了

氏名指導教員タイトルファイル名
泉 直子寳来 正子関係データベースの第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 logics1989/1989M002.pdf
関 啓一木村 泉分散CLUマシンにおける共有データの管理1989/1989M010.pdf
野口 憲一寳来 正子A new head-normalization algorithm for λ-calculus1989/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 APPLICATIONS1989/1989M007.pdf

1988年度修了

氏名指導教員タイトルファイル名
Yosuke Miyamoto小島 定吉Degeneration of Hyperbolic Truncated Tetrahedra and Its Volume and Surface Area1988/1988M011.pdf
上保 博之小林 孝次郎入力出力間の相関性の小さい論理関数について1988/1988M015.pdf
萩原 光徳小林 孝次郎A Method for Generating Cryptographically Strong Primes1988/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 Semigroups1988/1988M014.pdf
牧本 直樹森村 英典On Job Schedulings in Stochastic Flow Shops and Related Results in Tandem Queues1988/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年度修了

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

1986年度修了

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

1985年度修了

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

1984年度修了

氏名指導教員タイトルファイル名
金田 重治米澤 明憲GAE:A Graphic Display Oriented Programming Environment System1984/1984M001.pdf
野 雅司藤井 光昭周期性を持つ方向データに対する統計的解析の研究1984/1984M002.pdf
三ッ井 欽一米澤 明憲An Object Oriented Approach for Natural Language Comprehension1984/1984M007.pdf
村越 修平藤井 光昭ある種の非定常時系列の予測に関する考察1984/1984M003.pdf
松田 裕幸米澤 明憲A Language Based on Extended Attribute Grammars (LEAG) : Its Theory, Implementation, and Applications1984/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 APPLICATIONS1984/1984M005.pdf
中茎 洋一郎小林 孝次郎Derivation of Logic Programs by Transformation Method1984/1984M006.pdf
Pei-Jun Zhang梅垣 壽春FUNCTIONAL ANALYSIS ON CONSTRUCTION OF CONDITIONAL EXPECTATIONS OF STOCHASTIC PROCESSES AND AN APPLICATION TO A STOCHASTIC CONTROL PROBLEM1984/1984M008.pdf

1983年度修了

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

1982年度修了

氏名指導教員タイトルファイル名
川田 直哉小島 政和最近の多項式解法に関するいくつかの実験と評価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 applications1982/1982M013.pdf
山崎 聡高橋 渉線形不等式システムとその応用1982/1982M008.pdf
上田 洋一高橋 渉On the asymptotic behavior of non linear contractions in Banach spaces1982/1982M010.pdf
Jun Kawabe梅垣 壽春GAUSSIAN MEASURES ON HILBERT SPACES AND THEIR APPLICATIONS TO INFORMATION THEORY1982/1982M011.pdf
千葉 常之高橋 渉Accretivity and Local Boundedness of Nonlinear Operators1982/1982M006.pdf
日熊 隆則梅垣 壽春Loeb measures and their applications1982/1982M007.pdf
吉川 寿藤井 光昭非類似値の対比較データに対する多次元尺度法1982/1982M009.pdf

1981年度修了

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

1980年度修了

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

1979年度修了

氏名指導教員タイトルファイル名
森 隆司高橋 正子・木村 泉いくつかの方式による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 ASSIGNMENT1979/1979M001.pdf
春日 敏彦本間 龍雄FOLIATIONS ON COMPACT 3-MANIFOLDS1979/1979M011.pdf
菊地 良知本間 龍雄ON HEEGAARD SPLITTINGS OF TORUS BUNDLES1979/1979M012.pdf
菅原 昭博梅垣 壽春Algebraic and Ordered Structures of Mathematical Quantum Theory1979/1979M004.pdf
田崎 英明井上 謙藏コンパイラ最適化処理におけるデータフロー解析の研究1979/1979M007.pdf
田中 一之高橋 正子A study of intuitionistic logic with strong negation1979/1979M008.pdf
中出 靖藤井 光昭離散量と連続量の混合変量による判別1979/1979M009.pdf
深谷 茂樹高橋 渉NONLINEAR ERGODIC THEOREMS AND THEIR APPLICATIONS1979/1979M015.pdf
宮下 修高橋 渉Monotone operators in convex programming1979/1979M016.pdf
森 陽子森村 英典An Approximate Solution of GI/D/1 using PLMP1979/1979M014.pdf
横内 寛文小林 孝次郎パターン・マッチングとリスト処理用言語の研究1979/1979M010.pdf

1978年度修了

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

1977年度修了

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

1976年度修了

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

1975年度修了

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