2 ALL-IP 通信ネットワークに向けて
平成 14 年度卒業論文・修士論文・博士論文題目一覧
卒業論文題目 氏名 脳波による低覚醒状態実時間検出に関する研究 鳥丸 寛 自動車運転者の交通事故危険性に関する研究 松尾 孝幸 安全運転管理教育システムを用いた出会い頭事故防止のための複数車
両管理法の研究
勘場 基揮 自動車の運転操作系インタフェースに関する研究 中山 昌和 現実空間と仮想空間の適切な重ね合わせについての基礎的研究 近藤 隆光 オンライン文字認識における線分長制御の検討 奥村 大樹 ライン間ワープと予測による画像圧縮の検討 徳重 智寛 ステレオ視を用いた3次元直接操作型デスクトップインタフェース
に関する研究
高木 和也 没入型分散講義システムにおける講師情報の獲得に関する研究 −非
言語情報のシンボル化−
吉松 寿人 没入型分散講義システムにおける自然な振る舞いをする講師アバタの
実現
羽山 大介 講義自動撮影システムにおける音声情報を利用した教師の指示動作の
検出
竹村 良太
英語を介した独和対訳辞書の合成 丸林 哲也
単語表現ベクトル学習型ニューラルネットとその検証 杉村 元生 グループ間分散最大基準に基づく共起データからの単語ベクトルの獲
得
松本 孝司 語彙共起性の推定と統語的曖昧さの解消への適用 山本 祥平 翻訳文法による直接変換主導型翻訳機の実装 藤井 宏 英文科学技術文における動詞の構造決定に関する研究 青山 肇 英文二次文献検索システムにおける検索支援機能について 黒木 愼介 ルールベースシステムSeepのGRIDへの対応 山口 裕之
テキストデータベース検索手法の比較 牛島 雅之
Dependable Pipeliningの有効性に関する評価 藤川 卓也
演算器向けオンライン・テスティング技術に関する評価 三輪 英樹 オンライン・ホットパス・プロファイリング技術の評価 原 学 PIDを用いた認証プロトコルの安全性評価 野原 康伸 システムLSI設計向けプロセッサIPの開発 森 達矢 ビット幅最適化による低消費電力化効果の評価実験 石川 卓志 CMOS論理回路のスタンバイリーク電流最小化手法 平島 和彦
動作合成プログラムの開発 貞方 毅
卒業論文題目 氏名 量子回路による冗長二進表現を用いた加算器の設計 小林 健了
RoboCupサッカーシミュレーションにおけるエージェント移動最
適化
武田 勉 認証局の統合・分散手順の定式化とパス検証処理が効率的な公開鍵認
証システムの設計と解析
古賀 聡 検証エージェントを用いたモバイルエージェントのリアルタイム改
竄検出システムの設計と解析
小手川 祐樹 モデル生成型証明手続きによるCTLのモデル検査 清水 亮 導出法に基づく定理証明系のJavaによる実現手法について 大神 茂之 ハードウェアとソフトウェアによる問題解決の比較-８王妃問題の場
合-梅永 明寛 FPGAを用いた制約充足問題の解決 木之下 昇平 並列分散オペレーティングシステムCEFOSにおけるプロセスとカー
ネルの連携手法の実装
飯尾 賢太郎 並列分散オペレーティングシステムCEFOSの一括システムコール
機構の評価とキャッシュの影響に関する考察
義山 琢也 自然言語で記述された検索要求文からACL中のメッセージ内容文へ
の変換
古後 陽大 オブジェクトDBMSによるタンパク質データベースの構築と評価 黄 湘文 キーワード検索を用いた個人向け講義の作成 川内 貴志 オブジェクトデータベース可視化システムによる生体高分子構造情
報データベースの可視化
才野 大輔
e-UMLによる組み込みソフトウェア開発の事例研究 上奥 良
図式表現と形式手法の連携によるオブジェクト指向開発に関する研究 野田 和佳
VDM-SLによる仕様記述のモデル検査への適用 平地 智
eラーニングの導入を考慮したWBTとオンラインミーティングの 分析
山之上 陽二 アドレス空間を共有するプロセスの集約を行なう定数オーダースケ
ジューリング
近藤 拓也 形式仕様記述言語VDM++による仕様記述から関数型言語Erlang
プログラムへのコード生成法
時松 誠治 即時同期を可能にするプロセス間通信機構に関する研究 福冨 和弘
卒業論文題目 氏名 コンテキストアウェアミドルウェアCampusによるアプリケーショ ンの実装
岩橋 朋彦 PID Container: 個人アクセス制限機能を有する GUI ウィジェット
コンテナ
榊原 誠基 例外条件の宣言的記述と例外の大域的検出に関する研究 山下 俊之 再接続時間を短縮したアドホックネットワークルーティングプロト
コルの提案と評価
溝口和 寛 動脈硬化の発生・進展を解き明かすための基礎的数値シミュレーショ
ン
—血管壁での「ずり応力」のモデル化と乱数発生法について —
井上 明彦
振動するFourier型無限区間積分に対する二重指数(DE)変数変換型 数値積分法の適用について
大森 敬介 共役勾配法に対するKaporin型ロバスト不完全分解前処理法の性能
評価
柿原 正伸 実行計算機に応じてコンパイルオプションを自動変換するジョブ投
入フロントエンドの研究
松下 信太郎 IPマルチキャスト通信における大容量マルチメディアデータの集約
に関する研究
梅津 祐作 CDNのリクエストルーティング技術を利用した大規模双方向マルチ
メディア通信の経路制御に関する研究
川崎 敏行
修士論文題目 氏名 利用者の属性に適応したコンテンツを配送するネットワークの実現 に関する研究
石津 健太郎 Acceleration of Datapath-width Optimization for A
System-on-chip Design
Uddin, Mohammad Mesbah ディジタル無線通信用ベースバンド処理部の低消費電力化設計 樽見 幸祐 エニキャストを用いた位置依存サービス 朝長 康介 FDD通信システムにおける帰還型アダプティブアレーアンテナの特
性 ―移動局ダイバーシチ受信―
崔 淀勤 記号表現ベクトル学習型ニューラルネットの提案 行野 顕正 情報同定理論の応用と実装に関する研究 大野 聡士 分割統治的解析およびTrellisを用いた DESに対する暗号文単独攻
撃
下之園 敦 分割統治的解析およびTrellisを用いた DESに対する暗号文単独攻
撃
寺園 隆伸 生物塩基配列情報におけるマルコフ情報源の推定 高山 幸一
書棚画像中の書籍境界検出法の検討 高山 誠悟
最適化問題に対する高次元アルゴリズムの有効性に関する検討 板倉 正卓 サポートベクターマシンに対する分割型学習アルゴリズムの収束性に
ついて
松本 茂信 ユニバーサル CNNセルにおける絶対値関数の個数に関する研究 吉盛 真治
統合検索システムの研究 酒井 美由紀
Web シラバスの自動収集および統合利用に関する研究 山田 信太郎 文字列の頻度に着目した多言語 Web テキストに対するラッパー生
成法
山田 泰寛 文献情報に関するテキストマイニングの研究 渡辺 精一郎 MCUのボトルネックを改善したH.323 多地点テレビ会議システム
の実現
長尾 孝行 位置情報を基にユーザの要求とカメラの性能を考慮したカメラ選択手
法の実現
冷水 明 マルチキャストネットワークを用いたCDNにおけるリクエストルー
ティングに関する研究
開内 大介 PIDを用いた安全な社会システムの構想 浜崎 陽一郎
VerilogHDL を対象とした有効ビット幅解析 門前 淳
修士論文題目 氏名 メタ戦略に対する並列アルゴリズムの設計 石橋 正裕
ボール回収問題とその解法 佐久間 俊慎
汎用性のある高信頼性マルチキャスト通信に関する研究 柴田 賢介 高信頼性マルチキャスト通信を用いた分散型FTP システムの実現 渡邊 義和 分散環境を指向する位置透過なプロセス生成実行機構に関する研究 石井 陽介 電子メールと Web の連携による効率的な文書管理法に関する研究 矢野 大介 動的リンク機能を利用した実行中プログラムの部分入替えにおけるプ
ログラム状態把握法の検討
山本 淳 黒板講義におけるチョーク音検出を利用した講義自動撮影システム
の構築と評価
芦川 平 ステレオカメラを用いた実時間頭部姿勢推定 石井 繁範 デスクトップインタフェイスのためのジェスチャ認識システム 古賀 一成 視体積交差法を用いた3Dモデルに基づく任意視点カラー画像生成 秦 真也 ヒューマンインタフェースを目的とした手形状の実時間認識 堀本 修平 係り受けの複雑さの指標に基づく文の書き換え候補の生成と推敲支援
への応用
横林 博 多関節多指ロボットハンドにおける繊細感覚実現のための視覚シス
テム
瀧本 康明 サッカーロボットの視覚システムと自己位置同定 山口 祐規 Level Set Method および三次元物体の曲面再構成に関する研
究
由井 俊太郎 接触・非接触センサ情報の統合による3次元モデル獲得システムの
構築
吉村 秀和 遠隔操縦作業における視覚インターフェイスの研究 松ヶ下 勇人 係り受け構造とLatent Semantic Indexing を用いた検索手法
の実装と評価
亀崎 佳史 講義中に送られた質問や感想メールについての内容分析システムの試
作
神野 裕宣 ユーザレベル分散処理機構の設計と実装 副島 裕司 モデル生成木の刈込みのための二分決定グラフ構築法に関する検討 岡 雄一郎 一般化補題を用いたモデル生成法の効率化に関する研究 清水 純一 全称要素を含む対偶ホーン節の導入によるモデル生成法の効率化に関
する研究
松下 慎