2003年度(平成15年度)学位論文

卒業論文


氏 名 論文タイトル
奥谷 祐司2元線形符号に対するMAP復号法におけるビット誤り率の分割統治計算法
荻田 晋也正規表現による仕様記述に対する効率的なモデルチェッキングのための状態割り当てアルゴリズム
坂本 篤史不完全情報を表現可能なデータベースにおける関係代数演算結果の記述長に関する考察
森友 淳史ブール式への置換を利用した限量子を含まない等号付第一階述語論理の恒真性判定手法
安部 誠也ソフトウェア開発の混乱予測に対するベイズ識別器を用いたツールの試作
池田 伸一アドホックネットワークに対するゴシップ型ブロードキャストプロトコルのパラメータに関する研究
伊地知 孝仁バス調停方式及びバスアクセス方式の変更を容易化した設計手法による実時間制約を持つバスシステムの性能評価
上田 健介無線センサネットワークにおける実測に基づいた電力消費モデルの確立
木村 旭ポリシーに基づきサイト間の多重帰属制御を行うVPNアーキテクチャ
谷口 英二λコンピューティング環境構築のための共有メモリシステムの実装と評価
谷口 慶ブール式の充足可能性判定問題を利用したクエリチェッキングとその生化学ネットワーク解析への応用
土居 誠司論理関係を充足する遺伝子集合を抽出するための二分決定グラフを利用したマイクロアレイデータの解析アルゴリズム
中岡 美貴オーバレイネットワークにおける遅延最小木を分散管理するプロトコルの実装
中山 敏所属検索において検索結果の秘匿と正当性証明が可能なプロトコルの提案
濱野 康裕FDTD法を用いた三次元電磁場解析シミュレータの開発
浜辺 崇ディジタル信号処理システム設計のためのビット長見積もり手法の提案
平山 博章光磁気3次元位置センサ統合と磁場歪み補正の簡便迅速な同時処理法
船井 麻祐子アドホック通信に基づく行先経路の道路情報取得プロトコルの設計と実装
山上 恭廣全方位カメラを用いた管内面展開画像の生成手法
山口 聖二動的局所マスキングを用いた安定な人物追跡
山本 宗主手術支援レーザガイダンスシステムの精度解析とその3次元位置センサ 一体型設計への応用
インシーシャンマイ ラートサービスオーバレイネットワークのためのインラインネットワーク計測手法の実装および評価
ポンヌムクン スチット最小のcovering arrayを生成するための構成法適用順序導出アルゴリズムの提案
五十嵐 大輔ゴシップ型マルチキャストにおけるメンバー情報の信頼性への影響に関する研究
谷口 一徹動的再構成可能なプロセッサのための実行サイクル数最小化アルゴリズムの提案
橋本 健二正規木言語上および正規木文法上の埋め込み関係の提案とそれらの間の含意性に関する考察
シマンジュンタク フィデンス フェリクス高信頼性組み込みシステムのためのソースコード最適化方法
木村 祐介検索質問の自動翻訳により検索対象を広げたWWW画像検索システムの試作
三浦 高明MANETのアプリケーション層におけるスパニングツリー構築プロトコル
土屋 博之デスクトップグリッドにおける資源割当のための高速な余剰計算能力評価
市井 誠協調フィルタリングを用いたソフトウェア部品推薦手法の提案と実装
伊藤 建志広域グリッドコンピューティングにおけるデータ転送プロトコル GridFTP の性能評価
樫原 俊太郎センサネットワークにおける同期型センサ情報収集機構の実装と評価
梶田 泰伸Javaソフトウェア部品検索システムのための索引付け手法の提案と実装
河合 克哉実時間レンジファインダと回転台を用いた遠隔地環境の三次元伝送システム
阪本 洋司標的タンパク質予測支援のためのクラスタリングを利用した類似化合物の探索手法
佐々木 亨プログラム変更支援を目的としたコードクローン情報付加手法の提案と実装
佐藤 卓也進化トレース法に基づく機能部位類似度によるクラスタリングを利用したタンパク質の機能部位予測手法
末次 信介物理網構成を考慮したハイブリッド型 P2P動画像ストリーミング配信機構の評価
高田 大輔ネットワーク共有型ウェアラブル拡張現実感システム開発用ライブラリ
武田 健太郎既知遺伝子との類似性の弱いマウスcDNAの異種ゲノムとの比較による解析手法
塚本 淳グリッドスケジューリングのための近似アルゴリズムRRの実験的評価 - 通信遅延の性能への影響 -
中宮 広揮SNMPを用いた印刷枚数取得システムの効率化手法の設計と実装
中山 崇関数の変更履歴と呼出し関係に基づいた開発履歴理解支援システムの実現
平田 淳時間オートマトンネットワークに対するTime Action Lockの検出法
牧野 暢孝スケールフリーネットワークにおける経路制御のためのフラッディング手法の提案と評価
松岡 弘樹災害地状況把握のためのGPSとジャイロセンサを用いた装着型画像伝送システム
松永 和彦MANETシミュレータにおけるAODVプロトコルの経路情報削減
松永 怜士IPv6 エニーキャストルーティングプロトコル PIA-SM の設計および実装
馬渡 隆行拡張現実感における音声注釈情報取得のための仮想マイクロフォン
森川 雅和複数の教官・TA間の分散協調作業に対応した遠隔添削システム
森本 充俊送信元の識別によるspamフィルタの運用支援ツールの設計と実装
山口 徹広域グリッドコンピューティングにおける資源発見のためのsoft-state 型インデックス管理手法の性能評価
山本 英之流体近似法を用いたアクティブキュー管理機構 DRED のモデル化および性能評価
ヴォ トウイ ティ フォンXMLを用いた分子生物学データベースの統合的階層検索システムの開発

修士論文


氏 名 論文タイトル
浅越 悟史並行操作に対応した自己安定共有ヒープ
梅森 文彰Javaソフトウェア部品検索システムSPARS-Jの実験的評価
太田 範個人所有の計算機を想定した計算機環境におけるモバイルエージェントを用いた教育支援システム
川崎 康博術中画像処理のための遠隔並列処理システムの開発
神戸 友樹メッセージ通信プログラムの改善可能性を評価するための性能予測
吉良 仁無線ネットワークの電力消費最適経路問題における幾何的性質を利用したアルゴリズムの設計と評価
櫻井 佑輔木ネットワークにおける自己安定辺彩色プロトコルのビザンチン故障耐性について
櫻木 太手術ナビゲーションシステムの4次元ログ記録に基づく手術レポート自動生成システム
高尾 昭則計算グリッド上でのパラメータ・スウィープ計算の動的スケジューリングのための近似アルゴリズム
高尾 祐治記述言語XBRLで定義された財務諸表を計算・書式変換する言語処理系の提案と実現
田代 孝仁位置関係が未知の複数視点X線画像と3次元CT画像の位置合わせによる脊椎の立位3次元配列計測
辻 裕樹適合文書内に現れる検索キーワード周辺の単語を重視した適合フィードバックの改善
中南 和宏コンテンツ記述言語NWCDLを用いた実空間とWeb空間のシームレスな統合の実現
西 秀雄Java ソフトウェア部品検索システム SPARS-J の構築
野口 智史通信遅延が大きな並列計算環境に対するタスクスケジュールのためのクラスタ分割
野田 佳邦プロセスの参加・離脱が生じる分散システムにおけるコーザルブロードキャスト
早瀬 康裕構文木の差分を用いた細粒度版管理システムの提案と実現
東浦 俊文共有された電子ノート間の継承関係を用いて検索性を向上するビデオ学習支援システム
肥後 芳樹コードクローンの集約によるリファクタリング支援システムの提案と実装
藤本 喜彦店舗内に設置した全方位視覚センサによる顧客の行動解析システムの提案
松川 文一ユースケースモデルを入力とした工数見積支援ツールの構築
水本 明複数の宛先領域へのアドホック経路木構築プロトコルの提案と実装
森 一夫分散マルチメディアシステムにおけるTimeliness QoS一貫性検証と時間制御コード自動導出
八尾 智幸テレビ視聴行動からの個人的選好獲得システムの提案と構築
渡邊 曜子術前術後CT画像の位置合わせに基づく人工股関節設置位置定量化システムの構築
石丸 洋平モジュール間の隣接関係に着目した配線長最小化フロアプラン手法
奥田 晃司構成可変なVLIWプロセッサのためのシミュレータ生成手法の提案
柴 俊明メタヒューリスティックに基づくテスト生成アルゴリズムの提案
田中 崇浩QFP式の充足可能性判定に基づく限定モデル検査手法の提案
友添 雄亮仮想物体操作と仮想空間内移動を統一的に扱うジェスチャインタフェース
羽原 寿和ウェアラブルシステムのための画像マーカを用いた計測範囲の拡張が容易な屋内位置検出機構
濱崎 考成アンケート回答に対するベイズ識別法を用いたソフトウェアプロジェクトの混乱予測に関する研究
前田 真希ウェアラブルAR のための赤外マーカのステレオ計測と姿勢センサを用いた複合トラッキング
吉川 恭平2次元背景と3次元人物像の合成表示を用いた高臨場感通信システム
ウォン テンライ無線モバイルマイクロセンサーネットワークにおける自己組織的センサー配置アルゴリズムの提案
李 暁寧リスク要因を考慮したシステムダイナミクスに基づくフトウェアプロジェクトシミュレータの開発
東 和弘TCP コネクションの高品質化のための受信側ホストによるアクセスリンク資源管理手法に関する研究
石田 晋哉大規模 WDM ネットワークにおける光パス構成手法に関する研究
氏家 純也流体近似法を用いたインターネットにおけるトランスポート層通信プロトコルのモデル化および性能評価
江口 智也インターネットルータにおけるアクティブキュー管理機構の設計、性能評価およびパラメータ設定に関する研究
小田 政志可変テンプレートマッチング法を用いた眼の輪郭線抽出に関する研究
小田桐 光昭インターネットにおけるパケット単位のトラヒック測定に基づく利用者のトラヒック要求推測手法に関する研究
北口 智バススケジューリング方式およびバスアクセス方式の最適化を支援する設計手法の提案
木谷 友哉WDM ネットワークの階層型コーダルリングトポロジ構成法とその波長割当アルゴリズムの提案
北野 智広カラーペトリネットによる分散協調システムの仕様記述とプログラム導出
佐々木 俊時間制約付き制御フローグラフの弱双模倣等価性検証およびTiming Attack検証への応用
高本 佳史コスト及び性能を考慮した実時間並行システムの回路設計法の提案
谷口 義明動画像ストリーミングサービスのためのプロキシキャッシングシステムの設計と実装および評価
土居 聡IPv6 エニーキャスト通信を実現する ルーティングプロトコルの設計, 実装および評価
中村 嘉隆P2Pネットワーク上で実時間ストリーミングを実現するための分散制御プロトコルの提案
原 義博サイバーソサイエティのための多重帰属を実現する仮想網技術に関する研究
山田 和広異種情報を用いたサービス構築のためのミドルウェアの提案と推薦サービスへの適用
幸 太一アドホックネットワークにおける TCP 性能向上のための データリンク層制御方式に関する研究
CAO LE THANH MANサービスオーバーレイネットワークのためのインラインネットワーク計測に関する研究
侍 建港アクティブP2Pネットワークにおける検索負荷分散機構に関する研究
大村 浩正暗号技術に基づく関数を含むプログラムに対する情報フロー解析法
小西 祥之分岐構造をもつコンテンツを対象とした配信履歴の関連付け不能な配信法
佐井 祐介XML文書におけるアクセス制御ポリシーに従ったビュー定義の生成方式の提案
廣部 貴志順序木でモデル化された半構造データモデルのもとでの不完全情報表現法の提案
太田 浩康タンパク質・リガンド複合体の構造特徴を用いたタンパク質・化合物間相互作用の探索手法
杉山 陽一サイズ制限のある論理式で表現されたブーリアンネットワークの推定アルゴリズムの解析
瀧 浩平遺伝子の機能分類を利用した発現プロファイルによる遺伝子制御ネットワーク推定手法

博士論文


氏 名 論文タイトル
廣森 聡仁複製サーバを用いたマルチキャスト配信とネットワークシミュレーションの効率化に関する研究
横川 智教モデル検査手法によるディペンダブルシステムの形式的検証に関する研究
横森 励士ソフトウェア保守・再利用の支援を目的としたプログラム解析手法に関する研究
ギェドレ サバリアウスカイテソフトウェアインスペクションのオブジェクト指向設計仕様書に対する欠陥検出とコスト効果に関する研究
三部 靖夫分散環境における適応符号化による動画像変換処理に関する研究
伊野 文彦メッセージ通信並列プログラムの性能を改善するための動作解析に関する研究

[ICS HOME]ICS Home Page へ