1999年度(平成11年度)学位論文

卒業論文


氏 名 論文タイトル
芦田 英二組合せデザインを用いたソフトウェアテストのためのペアワイズテストセットの生成
足立 卓也 開発中のプロジェクトに対するロジスティック回帰分析モデルに基づく混乱予測
荒木 勉アドホック無線ネットワークシステムにおけるデータリンクプロトコル及びルーティングプロトコルの性能評価
井階 美歩膝関節手術ナビゲーションシステムのためのレジストレーション精度評価
内田 朋文プロセス品質評価作業のモデル化と XMLを用いて構造化した規格文書の記述
江川 洋平分子系統樹データベースの構築 -XMLによるデータ表現とデータ登録システム-
岡本 道也シナリオテンプレートによるスポーツダイジェスト自動生成機構
加藤 潤一IP over WDMネットワークにおける論理パストポロジー設計手法とフロー割当法の提案
金村 一弘レビュー作業品質のソフトウェア最終品質への影響に関する統計的分析
菊川 広将映像メディアの階層構造を反映させた映像ハンドリングのためのインタフェースの試作
木梨 玲発現パターンによる遺伝子分類の評価システム
桐村 昌行時間制約付き並行EFSM群のハードウェア回路化におけるスケジューリングアルゴリズムの提案と実装
栗田 雄一パイプラインプロセッサのマイクロ動作記述を対象とした形式的機能検証システムの試作
黒田 洋介帰納論理プログラミングにおける仮説探索の統計値を用いた効率化
誉田 謙二Javaバイトコードにおけるデータ依存解析法の提案とその実装
近藤 和弘JAVAプログラムのエイリアス情報表示ツールの試作
五嶋 宏之グラフにおける勢力圏分割アルゴリズム
酒田 輝昭固定端末と併用可能なPDA用電子メールシステムの実現
志村 努梯子状の図形を基盤としたパスグラフの最大クリークを求めるアルゴリズム
上甲 貴広インタラクションを用いた位置同定に基づく三次元構造物内ナビゲーションシステム
杉尾 敏康JPEG圧縮アルゴリズムにおけるブロック比較法の改善と評価
瀧 友和酵素階層を利用した類似パスウェイ探索アルゴリズム
多田 貴志PCクラスタの稼働率を向上させるジョブ制御機構とウェブブラウザを用いた利用環境の作成
田中 直樹データ並列言語Work-Time C処理系における通信の一括化の実装と評価
田原 靖太バージョン間の差分を利用したデバッグ手法の実験的評価
寺井 達彦TCPによる高速データ転送のための通信処理軽減手法の提案と実装
豊城 かおり複数カメラを用いた遠隔講義の受講者の反応検出手法の提案
中川 剛各種の放送型コンテンツ配信プロトコルの実用的使用環境における性能比較
中川 智史ラテン方陣拡張問題に対する近似解法の実験的評価
長瀧 寛之履歴を利用して問題選択を行う演習・試験システムの作成
西野 吉郎トレリスの詳細構造を利用した再帰的最尤復号法における高速化の検討
浜田 貴之kコテリーに基づく分散相互排除機構に対するBDDを用いた可用性評価法の提案
平田 雅之プレスブルガー文真偽判定を用いた形式的設計検証における判定式不成立要因の検出と提示方法
藤本 康平実測に基づいたインターネットにおけるパケット転送遅延のモデル化とプレイアウト制御への適用
藤本 寛史フラクタル画像圧縮におけるブロック数制御による4分木分割法の画質と圧縮率の改善
堀 真人品質調整機能を有するネットワークゲーム・クライアントの実現
本多 亮マルチコンテキスト型動的再構成可能FPGAにおけるコンテキスト分割問題に対するGreedyおよびBilliardsアルゴリズムの提案
丸本 幸治量子回路による量子有限オートマトンのシミュレーション
宮内 進吾映像メディアのイベント検出のための言語ストリームからの特徴抽出
宮林 正樹TCPデータ通信との公平性を考慮した輻輳適応型レート制御による動画像通信の実装
宮本 仁樹手術室環境における磁気式3次元位置センサの精度検証
米良 祐一郎TCP/IPネットワークにおける制御理論を用いたREDルータの特性解析
森田 直樹ハードウェア/ソフトウェア・コデザインのためのメタアセンブラの試作
八島 弘之事例の典型度に着目した帰納論理プログラミングによる概念学習
山口 昭移動エージェント環境における情報の秘匿及び偽造防止のための変数保護を用いたプログラム記述法
山口成基タイマシステムコールを用いる   FSMプロトコルに対する   試験系列生成システムの開発
山田 誠あるクラスの時間オートマトンに対する適合性試験系列生成システムの作成
山本 裕己性能保証のあるタスクスケジューリングアルゴリズムPTSの生成解における使用プロセッサ数削減手法の提案
横川 勇仁Deformable Templateマッチング法による顔画像からの唇輪郭抽出法の提案
米津 政隆FPGA配置問題に対する二段階近似アルゴリズムの提案
シャオワッタナー ダンジェート軟判定繰り返し復号法における最適条件の整数計画 問題を利用した解法の実現と計算時間の評価
岡村 真吾不正者追跡および視聴一時停止が可能な放送型コンテンツ配信プロトコルの効率化
近藤 大介固定端末とPDAでの電子メールの一元管理システムの実現
佐藤 輝幸非階層型名前空間をもつファイルシステムにおけるGUIによるファイル検索システムの作成
山下 岳人動画像通信におけるユーザ効用最大化を実現する統合化資源割当制御の実装と評価
落窪 智人複数の階層化マルチキャストストリームに対する帯域制御のためのストリーム階層数調整システム
西 進一朗アミノ酸配列集合からの共通保存領域抽出アルゴリズムの探索領域限定による高速化
秀島 雄飛ライブラリ変更を考慮したFHMコンポーネントにおける設計品質見積り手法の検討
藤井 邦浩トークン単位のソースコード比較ツールの適用事例
前田 友英ASIP 開発システム PEAS-III のための命令セットレベルシミュレータの自動生成
益田 高寛遷移条件に過去の整数入力上の線形制約を用いることができる有限状態機械に対する記号モデル検査プログラム
中野 宗明パワーハイブリッド決定グラフによる浮動小数点乗算器の検証アルゴリズムの計算量の解析
漆原 秀一拡張順序機械の記号シミュレーションにおける信号値変化の追跡アルゴリズム
小野 英治限定作用素を含まない等号付述語論理式の充足可能性判定手法の比較

修士論文


氏 名 論文タイトル
荒川 伸一IP over WDMにおけるネットワーク設計手法と機能分担
稲本 吉希直並列グラフの最小極大非冗長頂点集合を求めるアルゴリズム
植田 和憲複合コンテンツの品質記述に関する研究
江川 晋爾配線遅延最小化のためのFPGA配線構造とその配線アルゴリズムの研究
恵南 慶宣分散システムの信頼性を最大にする最適資源配置の導出に関する研究
岡本 修治サーキュラーアークオーバーラップグラフの最大クリークの列挙アルゴリズム               
景山 洋行プレスブルガー算術処理系の開発およびそれを用いた不変式証明による同期式順序回路の形式的検証
金丸 剛之二分セクション分割を用いた再帰的最尤復号における復号誤り確率を悪化させない復号複雑度削減法
児玉 崇線形符号のトレリスセクションにおける時分割ACS回路設計および回路複雑度評価
児玉武司多人数参加型アプリケーションにおける品質調整機構の提案と実装
小林 真輔組み込み用途向きマルチスレッド・プロセッサの構成の検討と評価
小林 慎和分枝限定法の新しいアプリケーションに対するアルゴリズムの設計と評価
小牧 高延時相述語論理のサブクラスに対するモデルチェッキングアルゴリズム
篠原 克哉動作周波数を考慮した特定用途向きプロセッサ設計最適化手法
芝原 真一特定用途向きプロセッサのためのデータタイプを考慮した消費電力見積り手法
関岡 哲也遺伝的プログラミングによる関数合成の改良と 唇輪郭抽出への応用に関する研究
坪井 宣洋発現パターンによる遺伝子集合の分類手法
檜垣 茂明out-of-order 完了可能なパイプライン・プロセッサの HDL 記述生成手法
堀川 貴博ブラックリスティング問題に対する誤り訂正符号を用いた解法の効率化
松尾 孝広スケーラビリティおよび公平性を考慮したTCPバッファ制御に関する研究
村上 結美デジタルコンテンツ流通におけるマジックインク署名を利用した著作権保護システム
森 健吾オブジェクト指向データベースにおける推論攻撃不可能性の逐次的検証法について
山内 亮大規模データを扱うネットワーク型バーチャルリアリティにおける品質調整機構の実現
由比 智裕量子チューリング機械により多項式時間で認識可能な言語のクラスの特徴付け
吉川 孝伸木構造検索が可能な分子系統樹データベースの構築
渡辺 啓資源予約型サービス/ベストエフォート型サービスにおけるユーザ効用の比較
芦田 佳行静的情報と動的情報を用いたプログラムスライス計算法
伊野 文彦MPI並列プログラムを対象とした性能改善支援システムの開 発と評価
井宮 大輔分解・組立手順の自動生成に基づく部品交換ナビゲーションシステム
上村 拓也UMLで記述された設計仕様書からのファンクションポイント計測手法
大江 計史World Wide Webにおけるロボット型検索システムの収集ロボットの並列化
大畑 文明オブジェクト指向プログラムにおける エイリアス解析手法の提案と実現
片桐 久晶時間制約とマルチランデブを含む並行EFSM群を 実現するハードウェアの一構成法
小山 誠知識コンバージョンを用いた文書自動分類システムにおける例外処理手法の提案とその評価
澤田 雅人スケーラビリティを考慮した並列型全文検索システムの構築とその評価
品田 豊明on-the-fly手法を用いたデータ付時間オートマトンに対する双模倣等価性の記号的検証法
寺口 正義バージョン間の差分を利用したデバッグ支援システムの構築
中島 大輔並列再帰の実行方式を指定可能なWork-Time C言語処理系の作成
仲程 啓骨盤骨切り術ナビゲーションシステムの構築 ―術前モデルと術中位置センサ情報に基づく3次元骨盤モデルの術中再構成― 
新田 直子言語と画像の情報統合によるスポーツ映像からの人物・アクション・イベントの抽出
橋本 貴至タスクスケジューリングを用いた並列プログラム生成における タスク粒度の調整とコード生成手法
広瀬 克昌レイアウト解析と文字認識に基づく文書の再現性に考慮したメディア変換
本田 治移動エージェントシステムD'Agentを用いた分散プログラムの透過的な実行環境
桝本 潤時間変化情報を用いた マルチスライスCT画像からの肝臓領域自動抽出
森 亮憲タイマシステムコールを用いるFSMプロトコルの適合性試験系列生成の一手法
森 雅博並列計算モデルBSPに基づくスケジュールの特性量と実行性能の関係
山崎 博信ビデオデータにおけるクローズドキャプションと音声ストリームの同期手法
湯本 貴雪開発環境中におけるオブジェクトの状態を用いた開発管理システム
脇田 修二ボリュームレンダリングにおける透明度関数設定支援システム
銭 敏娟文書画像における文字字種と字体の検出
楊 博距離画像の分類及び認識

博士論文


氏 名 論文タイトル
竹中 崇拡張有限状態機械群およびout-of-order型パイプラインCPUの形式的設計検証
竹中 要一組合せ最適化問題に対するニューラルネットワーク解法のニューロンフィルタに関する研究
橋本 幸司マルチプロセッサシステムの高信頼化を実現するためのスケジューリングアルゴリズム
阿多 信吾高速ネットワークに適した効率的なデータ転送機構に関する研究
福田 健太郎予約型ネットワークにおける実時間マルチメディアシステムのための統合QoS制御機構に関する研究
藤田 靖征プロキシキャッシングを考慮したWebサーバシステムのモデル化と性能評価に関する研究
松前 進ブロードキャストバス結合プロセッサアレイ間のシミュレー ションアルゴリズムに関する研究
桂田 浩一例外に着目した知識ベースの変換メカニズムの形式化
永井 孝幸入力数値の誤差を考慮した幾何アルゴリズムに関する研究
山岡 正輝文書画像の構造解析とSGML文書生成システムの構築に関する研究
姜 凱光学式高精度3次元位置決め装置による定位放射線治療における患者頭部運動の解析
中西 知嘉子並列処理マシンにおける投機的実行支援に関する研究
井上 勝行教育的効果の向上を目指したソフトウェア可視化に関する研究
藤本 典幸分散メモリ型並列計算機におけるタスクスケジューリングに関する研究
服部 哲項書換え系および時間オートマトンで記述された仕様の検証と並列実行
林 成起トピックマーカおよび手話空間情報を用いた米手話構文解析に関する研究

[ICS HOME]ICS Home Page へ