1998年度修士論文概要

常継紅 (289634288): Enclosing the Solution of Initial Value Problems in ODEs Using Interval Arithmetic (区間演算を用いた常微分方程式初期値問題の包含的数値解法）
寺澤真人 (289634296): 胸部X線像からの肺がん検出支援システムにおけるユーザインタフェースの開発と検出精度の向上に関する研究
池辺亮志 (289734029): 4次元空間の図形・情報の表示およびナビゲーション手法についての基礎的研究
石川数馬 (289734037): 擬似輪郭を含んだ不完全画像からの関節物体の抽出についての検討
石川　貴洋 (289734045): 3次元濃淡画像の観察支援ツールに関する研究
伊藤真洋 (289734053): π-計算に基づく並行プログラム向けツールキットの作成
岩本奈美 (289734061): カスタマイズ可能な部分評価器とそのソフトウェア再利用への応用
江場雅彦 (289734088): 型のないオブジェクト指向プログラムの代数的意味記述に関する研究
大河内　俊雄 (289734096): 仮想版画 - 非写実的画像に関する基礎研究
加藤芳秀 (289734134): チャート法に基づく話し言葉の漸進的構文解析
北坂孝幸 (289734169): 知識とモデルを利用した3次元胸部X線CT像からの肺野領域抽出
熊谷友宏 (289734177): 数値グレブナー基底による多変数代数方程式の解法
倉内貴裕 (289734185): 日本語指示詞における推論による照応の解決手法 - 事物が変化する場合の照応解決 -
澤田雅明 (289734207): 力覚フィードバックによる3次元濃淡情報の提示手法に関する研究
沈俊輔 (28973421-5): 多視点で得られた３次元構造の融合による復元精度の向上
鈴木幸一郎 (289734231): 長時間トランザクション処理におけるタスクフローを用いたタスクの実行
鈴木崇文 (289734240): 手続き型プログラムのパラダイム変換支援に関する研究
鈴木宏紀 (289734258): プログラム構造図を基にした動作情報視覚化の枠組み
中川智貴 (289734290): 多項式零点の精度保証付計算
ナワノルベルトエイジ (289734304): バクテリア進化アルゴリズムに関する研究 (A Study on Bacterial Evolutionary Algorithm)
二井靖彦 (289734312): 代数的仕様における振舞等価性証明のための線形文脈帰納法について
袴田眞史 (289734320): Cソースコード中のコメントと構文要素の自動的な対応付けについて
長谷川義範 (289734339): プログラム変更理解のためのパターンベースシステム
浜聖一 (289734347): 音声説明のための書き言葉から話し言葉の生成法に関する研究
林孝行 (289734355): オブジェクト指向パラダイムによる間取り図面事例ベースの表現法
彦坂友弘 (289734363): スライドにおける箇条書表現の生成法の研究
日高隆博 (289734380): プログラム動作情報のモデル化と理解支援への応用
平岩浩之 (289734398): 複数の拡散率を用いるCDMA方式における多元接続干渉の影響と線形干渉除去の効果
広部一弥 (289734401): イベント-アクティビティ・モデルに基づいたビデオ・データベースのためのインデックス自動作成と検索に関する研究
本田和利 (289734428): 多エージェント自己認識論理の推論系の効率化とその実現
松永悟 (289734444): 話し言葉の漸進的解釈に基づくマルチモーダルインタフェースに関する研究
三浦良 (289734452): 関数呼び出し依存グラフを用いたプログラミングナビゲーションシステム
宮下大 (289734479): 自動ラベル付けに基づく項書換え系の合流性の判定
安井公治 (289734487): 2分決定グラフを用いた論理関数の非単純分解に関する研究
山崎通弘 (289734495): スタイル選択可能な文章作成支援システム
山本民樹 (289734509): 解析関数の有理関数近似
Lim Jit Kean (289734525): 運動パラメータに基づく手の動きの識別
劉強 (289734533): 自然な数式によるプログラミングのための環境
渡辺竜明 (289734541): 動作履歴を用いた焦点絞り込みによるプログラム理解

論文題目のページへ

asakura@nuie.nagoya-u.ac.jp