2000年度(平成12年度)学位論文

卒業論文


氏 名 論文タイトル
石元 豪エアコン用マイコンプログラム仕様のための検証システムにおける状態爆発回避原理と検証項目記述能力の位置づけ
板谷 夏樹TCPコネクション間の公平性を改善するためのバックボーンルータにおけるREDの動的パラメータ設定方式の提案と評価
市原 浩司ビザンチンクォーラムシステムに対する評価ツールの作成と評価結果の考察
岩男 康平帰納論理プログラミングによる概念学習における相関ルールの発見
岩木 圭サービス競合フィルタリングにおける競合可能シナリオの導出
上田 恭子JPEG2000用ウェーブレット変換器の実装と評価
植田 泰士コードクローン検出ツールを用いたソースコード分析システムの試作とプログラミング演習への適用
大西 悠季生不完全知識獲得システムにおける仮説探索の並列化
大山 寛郎分散メモリ型並列計算機において大規模なデータを扱う並列再帰のコンパイル手法
岡井 洋樹複雑度メトリクスを用いたJavaプログラム品質特性の実験的評価
岡本 卓也Webサーバの高速・高機能化のためのソケットバッファ管理方式の実装と評価
岡本 直樹パーソンナビゲーションのための画像メディアと言語メディアの統合手法の検討
岡本 啓嗣時空間画像による映像のクラスタリング
岡本 幸記載項目の追加が可能な学生ポートフォリオシステム
置田 真生実行時の通信異常検出機能を持つ 並列プログラムデバッグ支援ツールの作成
小倉 武紘構造化された映像データに対する映像ポータルの構築
小田 政志回路記述言語SFLによるMP3デコーダの高位設計
加藤 雄一郎無線ネットワーク環境におけるTCPの性能改善方式の提案
賀紋 孝夫LOTOS言語からJava言語への変換系とその評価
川口 真司文書構造を利用した電子マニュアル評価メトリクス計測ツールの試作
河村 一史単語分割手法を用いたWWW並列全文検索システムにおける 質問構造を考慮した検索アルゴリズム
岸本 統久TCPコネクション数の変動がREDゲートウェイの過渡特性に与える影響
小西 幸雄統計的スコアを用いた共通保存領域におけるアミノ酸置換のモデリング
西條 竜太郎代謝反応パスウェイの分岐を含む類似反応ネットワークの抽出アルゴリズム
坂上 弘祐カラーペトリネットで記述されたエージェント群の動作仕様からのJavaプログラム群の自動導出系
佐々木 俊ユーザ定義関数を含む組合せ回路の形式的検証のためのプレスブルガー算術処理系の拡張
佐々木 敏公CISC命令セットプロセッサのPEAS-IIIシステムによる実現方法の提案
笹部 昌弘動画像品質調整機能を組み込んだプロキシキャッシングシステム
下田 大輔ソフトウェア開発プロジェクトにおけるリスク要因を考慮したシミュレータの試作
管 靖彦カーネル関数を使った発現データのクラスタリングによる遺伝子の分類
瀬尾 茂人分類木比較による遺伝子発現変化量の推定手法
高本 佳史周期EFSM群を用いたネットワークモニタの設計 と実装
竹内 亨ユーザの関連性に基づいた情報伝播モデル
田林 俊也2元線形符号の最小重み部分符号の 再帰的最尤復号法におけるセクション内 尤度の順位と使用頻度の測定
津久井 崇文論理関数を用いた分散システムへの資源配置アルゴリズムの提案
常村 和史関係データベースへの推論攻撃に対する安全性尺度の提案および従来尺度との比較
時久 卓也正規表現を用いたインタフェース記述からの機能テストベクタの自動生成手法の提案
中田 和久実時間動画像マルチキャストにおけるフィルタリング手法の実装と評価
永渕 武ユーザ定義表示機能を持つタスクスケジューリングアルゴリズム開発支援システムの作成
平野 秀明会合情報記録検索システムReSPoMにおけるマルチメディア議事録作成部の実装
福島 行信利用可能波長帯域を考慮した論理パストポロジー設計手法の提案
藤井 将人動的情報を利用したJavaスライスシステム -メソッド間動的データ依存関係の適用とユーザインターフェース部の試作-
舛田 文彦グラフィカルモデリングによる発現データからの遺伝子ネットワーク推定手法
三田 健太朗PEAS-IIIシステムのためのコンパイラジェネレータの検討
宗原 吉則空間共有型アプリケーションにおける即応性を考慮した複数サーバ間での事象同期機構の提案
本山 均勇木およびリングにおけるマルチエージェントの最適巡回アルゴリズム
安田 貴明拡張順序機械の記号シミュレーションにおける信号値変化の追跡アルゴリズムの効率化
矢原 潤一さまざまな抽象度で観察可能な教育用計算機シミュレータ
山口 貴詩光圧縮TDM方式を用いた高信頼リングネットワークの設計手法
山下 剛多人数参加型マルチメディアアプリケーション向きの動画像品質調整システム
山中 祐介XMLによるJavaプログラム解析情報のデータベース化
山根 之訓Vorbis音声伸張アルゴリズムのLSI化についての検討
吉川 武志医用画像を対象とした非剛体レジストレーションにおける正規化手法
吉田 敏基3次元位置センサを用いた剛体運動計測精度の理論的解析と計測実験による検証
吉本 恵子階層的キーワードに基づくファイル管理のためのグラフィカルユーザインターフェースの試作
シーワナーソン ブンイン統合型セキュリティ通信層鍵管理プロトコルの安全性検証
パッタラ・リーラープルットサービス競合フィルタリングにおける 競合可能シナリオの導出の評価
澤井 美佐時相論理式を満足する周期的実時間並行プロセス仕様のパラメータ条件導出ツール作成
中原 大志2つの区間グラフでカバーされるグラフの最大クリークと最大独立頂点集合
山崎 謙治入力値のみを保持するレジスタをもつ拡張有限状態機械群に対する記号モデル検査プログラム
奥村 洋一郎限定作用素を含まない等号付述語論理式の和積形論理式への帰着による充足可能性判定手法
天目 隆平stグラフの道独立頂点集合の性質
石岡 裕司キープロセスエリアに優先順位をつけたプロセス改善手法の提案
原田 智幸オブジェクト指向データベースにおける推論攻撃不可能性の十分条件の改良
祐島 彰子分散配置された計算機システムにおける利用者状況案内システムの試作

修士論文


氏 名 論文タイトル
赤穂 州一郎オブジェクト指向データベースに対する非等価性を考慮した推論攻撃の可能性検証法
浅川 智文ユーザの嗜好の部分的な類似性を利用した情報推薦手法の提案
網浜 貴夫最大共通部分系列アルゴリズムを用いた代謝反応パスウェイ比較解析手法
印藤 隆夫量子プッシュダウンオートマトンが認識する言語クラスと文脈自由言語との比較
佐藤 友哉プレスブルガー算術に拡張したCTLモデル検査法による同期式順序回路の性質検証
高野 真端末透過なコンテンツ配信ASPにおいて連続的なサービスを実現する共通基盤の実現
徳田 勇祐論理関数を用いた並行システムにおけるデッドロック検出手法の提案と評価
富安 要(64,40) リード・マラー部分符号に対する再帰的最尤復号器の回路規模削減とそのVLSI設計
長尾 充大統計的スコアに基づく局所マルチプルアライメントアルゴリズムによる共通保存領域の探索
長手 厚史CDMA通信におけるソフトハンドオフ導入の影響を考慮した有線/無線回線品質の統合評価
八馬 利彰サーキュラーアークオーバーラップグラフの最大クリークを求めるアルゴリズム
廣中 大雅複数の実験条件での発現データの統合による遺伝子分類手法
藤井 雅和静的およびモバイル・マルチキャストルーティング問題に対する最適パス選択解法の提案
山口 陽介配列集合からの共通保存領域検出のためのクラスタリング手法
渡辺 義治ディジット・シリアル演算を用いたディジタルフィルタの設計最適化手法
アカミネ エクトルアクティブネットワークにおける品質調整手法を用いた動画像マルチキャストの提案と評価
小野 淳電子教材を利用した計算機アーキテクチャの学習支援
井芹 威多人数空間共有型アプリケーションにおけるサーバ負荷軽減機構の実現
伊藤 淳子光線空間法に基づいた任意視点からの任意光源方向下における映像の生成
今川 勝博Javaプログラムからのファンクションポイント計測手法
梅津 高朗制約指向モデルで記述された対称性を持つ並行システムの形式的検証とプロトコル合成
大島 教雄6方向結合再構成メッシュの提案と6方向結合再構成メッシュを用いた連結成分ラベル付けアルゴリズム
河合 吉彦個人適応を指向したスポーツ要約映像の自動生成
倉田 謙二TCPの公平性を実現する高速パケット処理方式の提案と評価
後久 和宏光圧縮TDM方式を単一/複数波長に用いたリングネットワークにおけるトラヒック収容手法に関する研究
高垣 景一制御理論を用いたTCPの安定性および過渡特性解析
竹原 元康オブジェクト指向プログラムのための動的結合メトリクスの評価
田中 義己複数のリポジトリを統合できるバージョン管理システムの提案と試作
谷口 真也電子マニュアルの構造を利用した文書評価メトリクス
辻川 竜宏時間制約付きペトリネット仕様記述からの各ノード計算機能力に応じた時間制約を持つプロトコル仕様の合成
土屋 啓3次元位置センサを用いた意識下における人間頭部のトラッキング手法と内視鏡下鼻内手術ナビゲーションへの応用
寺島 芳樹モバイルエージェント間マルチランデブチャネルの動的生成を可能にする拡張LOTOS言語とその実装
徳田 康平タイマを用いる有限状態機械モデルで記述されたシステムに対する検証手続き
轟木 伸俊UNIXファイルシステム上での階層的キーワードに基づくファイル管理の実現
西上 富美スポーツ映像における選手の出現解析
西村 晃一タスクスケジューリングアルゴリズムMCSHを 並列処理により大規模細粒度グラフに 適用するためのグラフ分割手法
野田 潤履歴木を用いて過去の描画内容を参照可能な電子ホワイトボードシステム
速水 賢史WWW並列全文検索システムにおけるインデックスの文書分割手法と単語分割手法の評価
廣瀬 航也静的情報と動的情報を用いたJavaプログラムスライス計算法
廣森 聡仁同一コンテンツを異なる品質で配送するマルチキャストサーバ群からのサーバ選択方式の提案と評価
福井 一史階層的キーワードに基づくファイル管理におけるファイル操作コマンドの実現
古川 研吾Webを利用したレポート管理システムの検討と実現
前田 光城動的側面を考慮したクラス階層構造の再構成について
増山 智久遺伝子発現パターン解析のための分類木比較アルゴリズム
的場 一峰インターネットにおけるトラヒック計測とその統計的分析に基づいた性能設計手法に関する研究
水谷 泰治並列再帰におけるプロセッサグループ分割法の提案とWork-Time C言語処理系への実装
山崎 良太通信と計算のオーバラップ手法に着目したMPIプログラムの自動コード変換
横川 智教記号モデル検査を用いたシステムの耐故障性の自動検証手法の提案
横森 励士オブジェクト指向プログラムにおけるセキュリティ解析アルゴリズムの提案と実現
吉田 武史個人用屋内ナビゲーションシステムにおける多種移動体端末に適応した案内情報生成手法
殷 志明3次元画像からの分岐線状構造認識のための特徴点検出と細線化アルゴリズム
劉 洪峰肩関節機能解析のための3次元画像からの関節骨表面抽出と曲率計算

博士論文


氏 名 論文タイトル
野口 保タンパク質立体構造データベースにおける代表タンパク質チェイン決定システムに関する研究
井戸 伸彦組み合わせデザインの構築法とその応用
伊藤 真紀子マイクロ動作レベル・プロセッサ設計仕様記述からのパイプライン・プロセッサ合成
前田 昌也線形ブロック符号に対する最尤復号法の性能評価とIC実装
吉田 真紀加入者の一時排除と不正者の追跡が可能なコンテンツ配信法および World Wide Web における視聴度数調査法の設計
神谷 年洋オブジェクト指向メトリクスを用いた開発支援法に関する研究
倉本 到計算機ネットワークを用いた発想系会合支援システムに関する研究
柴田 直樹幾何学的手法を用いた有理数プレスブルガー文真偽判定アルゴリズム
明 偉観測文字画像からの生成モデルに基づく書体識別
下西 英之高速バックボーンネットワークのためのスイッチアーキテクチャとトラヒック制御に関する研究
中本 幸一2次電池の最長利用を目的としたリアルタイムスケジューリングアルゴリズムに関する研究
片山 喜章高度な故障耐性を持つ自己安定プロトコルに関する研究

[ICS HOME]ICS Home Page へ