| 氏名 |
題目 |
指導教員 |
専攻 |
| 袁 旭陽 | COMPUTATIONAL VERIFICATION OF GENE REGULATORY NETWORKS IN ASCIDAIN EARLY DEVELOPMENT
( ホヤ初期発生における遺伝子制御ネットワークのコンピュータによる検証 ) | 中井 謙太 | コンピュータ科学 |
| リュー シャオ | IMPROVING JAPANESE-CHINESE MACHINE TRANSLATION BY USING KANJI-HANZI INFORMATION
(漢字の対応関係を用いた日中機械翻訳の改善法) | 辻井 潤一 | コンピュータ科学 |
| スッパキットパイサーン ワォラポン | OPTIMAL AVERAGE JOINT HAMMING WEIGHT AND DIGIT SET EXPANSION OF INTEGER PAIRS
（整数対の桁集合拡張と最適ハミング結合重み） | 今井 浩 | コンピュータ科学 |
| 飯塚 大輔 | STACK TYPES WITH BOUNDED EXISTENTIAL QUANTIFICATION（境界つき存在量化子を用いたスタック型） | 米澤 明憲 | コンピュータ科学 |
| ルウ ボン ヴィン | Online foreground segmentation and shadow recasting for outdoor augmented reality（屋外複合現実感におけるオクルージョンを考慮した移動物体の検出と影の落とし直し） | 池内 克史 | コンピュータ科学 |
| 豊田 武 | Externalizing Human Memory by Network among Local Files（ファイル間のネットワークにより個人が持つ知識を外在化するシステム） | 辻井 潤一 | コンピュータ科学 |
| 安達 知也 | Design and Implementation of a New Collective Communication Algorithm Development Environment（集団通信アルゴリズム開発環境の設計と実装） | 石川 裕 | コンピュータ科学 |
| 太田 一樹 | Scalable Parallel I/O Systems by Client-Side Optimizations（クライアントサイド最適化によるスケーラブルな並列I/Oシステム） | 石川 裕 | コンピュータ科学 |
| 奥田 諒介 | Analyses of Human Network and Citation Graph Based on Actual Data（実データに基づくhuman networkとcitation graphの解析） | 今井 浩 | コンピュータ科学 |
| 金木 陽一 | Wavelet-based Correlated Data Compression Using Broadcast in Wireless Sensor Networks（無線センサネットワークにおけるブロードキャストを利用した相関データ圧縮） | 本位田 真一 | コンピュータ科学 |
| ゲェン ヒュー クォン | Low-Distortion Deformation Using Moving Least-Squares and Its Applications（移動最小二乗法を用いた歪みの少ない変形 とその応用） | 西田 友是 | コンピュータ科学 |
| 小林 潤 | MOTION-GRAPH-BASED VIDEO SYNTHESIS THROUGH FEATURE POINT TRACKING（特徴点追跡を用いたモーショングラフに基づく動画合成） | 高橋 成雄 | コンピュータ科学 |
| 佐賀野 大輔 | EVALUATION AND ANALYSIS OF DAG CHEDULING ALGORITHMS FOR HETEROGENEOUS PARALLEL COMPUTING ENVIRONMENTS（ヘテロ並列計算環境のためのDAGスケジューリング手法の評価と分析） | 須田 礼仁 | コンピュータ科学 |
| 澤﨑 純也 | A HYBRID VIRTUAL MACHINE MONITOR FOR IMPLEMENTING FLEXIBLE AND HIGH-PERFORMANCE SECURITY MECHANISMS（柔軟かつ高性能なセキュリティ機構を実装するための ハイブリッド仮想マシンモニタ） | 米澤 明憲 | コンピュータ科学 |
| スビーラノン ラピー | Example-based Automatic Font Generation（ユーザの与えた例に基づく自動的なフォントの生成手法） | 五十嵐 健夫 | コンピュータ科学 |
| 谷田 直輝 | High-Speed Data Transfer System with Dynamic Bandwidth Adaptation （動的な帯域制御を行う超高速データ転送システム） | 平木 敬 | コンピュータ科学 |
| チャン ヴィン クォン | Extensions of Java PathFinder and Verification of Web Applications（Java PathFinder の拡張とウェブアプリケーションの検証） | 萩谷 昌己 | コンピュータ科学 |
| 津田 優介 | Visual Simulation of Mixed-motion Avalanches Taking into Account Interactions Between Snow Layers（雪層間の相互作用を考慮した混合型雪崩のビジュアルシミュレーション） | 西田 友是 | コンピュータ科学 |
| 寺本 興英 | Synchronization of Paired Object Motion in Realtime Recording（リアルタイム録画における２物体の動きの同期手法） | 五十嵐 健夫 | コンピュータ科学 |
| 鳥海 晋 | Sensor Assignment for Multiple Tasks using Path Information（経路情報を利用した複数タスクへのセンサ割当） | 本位田 真一 | コンピュータ科学 |
| 野尻 隆宏 | Parallelization of Safety Verification in SPIN Model Checker（モデル検査器SPINにおける安全性検証の並列化） | 米澤 明憲 | コンピュータ科学 |
| 花岡 洋輝 | Additional Corpora for Building Wide Coverage Japanese Combinatory Categorial Grammar（大規模日本語組み合わせ範疇文法構築のための追加コーパス） | 辻井 潤一 | コンピュータ科学 |
| 張本 佳子 | Analysis of the factors lowering the parsing ccuracy for out-domains and its application to measuring the distance among domains （構文解析の分野適応における精度低下要因の分析及び分野間距離の測定手法） | 辻井 潤一 | コンピュータ科学 |
| 平井 洋一 | An Intuitionistic Epistemic Logic for Asynchronous Communication（非同期通信のための直観主義知識論理） | 萩谷 昌己 | コンピュータ科学 |
| 夫 紀恵 | Analysis of Geometric Structures of Periodic Graphs and Applications for Fast Algorithms（Periodic graphの幾何構造の解析およびその高速アルゴリズムへの応用） | 今井 浩 | コンピュータ科学 |
| 森口 博貴 | Behavior-based Niching Scheme for Neuroevolution（進化型ニューラルネットワークのための振る舞いに基づくNiching手法の研究） | 本位田 真一 | コンピュータ科学 |
| 山本 和典 | Study on a Remote Swapping System for Large-scale Computing（大規模計算のための遠隔スワップメモリシステムに関する研究） | 石川 裕 | コンピュータ科学 |
| ウォン フェルナンド ハビエル | A Visually Plausible Approach to Continuous Line Illustration and its Application to Hybrid Picture Maze Generation（視覚的に適切な一筆書き線図描画手法とそのハイブリッド絵画迷路生成への応用） | 高橋 成雄 | コンピュータ科学 |
| ティシェイラダシルバ パウロ フェルナンド | METHODS FOR ADDING DYNAMICS TO FUR REPRESENTED BY TEXTURE LAYERS（テキスチャレイヤーで表現された毛に対するダイナミックスの組み込み法） | 西田 友是 | コンピュータ科学 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| ガルシア トリゴ パブロ | User-guided region matching for 2D animation coloring
（アニメーションの彩色におけるユーザー主導の領域マッチング） |
西田 友是 | コンピュータ科学専攻 |
| ルジカジォーン プーリパン | AN INTERACTIVE SYSTEM FOR KNOT DESIGN
（インタラクティブな結び目デザインシステム） |
五十嵐 健夫 | コンピュータ科学専攻 |
| レオンワタナキット ワチャリン | NETWORKED SOFTWARE MODEL CHECKING BY EXTENDING JAVA PATHFINDER
（「Java PathFinder」の拡張によるネットワークソフトウェアのモデル検査） |
萩谷 昌己 | コンピュータ科学専攻 |
| 大住 裕之 | A DISTRIBUTED STORAGE SYSTEM FOR VIRTUAL DISK MANAGEMENT(仮想ディスク管理のための分散ストレージシステム) | 米澤 明憲 | コンピュータ科学専攻 |
| 石田 明久 | INTERPOLATING 3D DIFFUSION TENSOR FIELDS WITH PLAUSIBLE ROTATION TRANSFORMATIONS OF ANISOTROPIC PROPERTIES(異方性特徴の適切な回転変換による3次元テンソル場の補間手法) | 高橋 成雄 | コンピュータ科学専攻 |
| 伊東 利郎 | SLACK REQUEST DEFERRAL IN NUMA SWITCHES(分散共有メモリアクセスの優先度制御) | 平木 敬 | コンピュータ科学専攻 |
| 太田 充 | Animations of Lattice-Based Deformation and Fracturing Using Adaptive Subdivision(アダプティブな分割を用いた格子ベースの変形・断裂アニメーション) | 西田 友是 | コンピュータ科学専攻 |
| 北村 裕太 | Study on a Remote Memory Swapping System for Large Memory Space(大規模メモリ空間を提供する遠隔メモリスワップシステムに関する研究) | 石川 裕 | コンピュータ科学専攻 |
| 黒瀬 翔 | CONSTRAINT-BASED SIMULATION OF INTERACTION BETWEEN FLUIDS AND UNCONSTRAINED RIGID BODIES(拘束ベースの流体と非拘束剛体の相互作用) | 高橋 成雄 | コンピュータ科学専攻 |
| 小酒井 隆広 | A Typed Assembly Language with Reference Counting(参照カウントを用いる型付きアセンブリ言語) | 米澤 明憲 | コンピュータ科学専攻 |
| 小島 晃司 | Biometrics Cryptosystems with Quantum Tolerance and Uniform Hardness(量子攻撃耐性と平均的困難性を備えた生体暗号システム) | 今井 浩 | コンピュータ科学専攻 |
| 小西 祐介 | EFFICIENT SCHEDULING FOR CLUSTER OF NUMA COMPUTERS(NUMA並列型クラスタ上での効率的なスケジューリング) | 石川 裕 | コンピュータ科学専攻 |
| 澤 勇太 | Adaptive Parallelization of BLAS for Multi-Tasking Environment(複数のタスクの存在に適応可能なBLASの並列化) | 須田 礼仁 | コンピュータ科学専攻 |
| 下沢 拓 | Design and Implementation of a New Multiple Kernel Execution Mechanism(複数カーネル実行機構の設計と実装) | 石川 裕 | コンピュータ科学専攻 |
| セゴ ゾルタン | Generation of High-Quality Blue Noise Distributions based on Delaunay Triangulation(ドロネー三角形分割を用いた高品質のブルーノイズ特性を持った点分布の生成) | 西田 友是 | コンピュータ科学専攻 |
| 高木 渉 | A MERGING FACILITY FOR A TREE-STRUCTURED VERSIONING FILE SYSTEM(ツリー構造バージョン管理ファイルシステムのためのマージ機構) | 米澤 明憲 | コンピュータ科学専攻 |
| 髙山 健志 | Lapped Solid Textures: Filling a Model with Anisotropic Textures(Lapped Solid Textures: 異方性ソリッドテクスチャを用いた中身を持つ3次元物体のモデリング) | 五十嵐 健夫 | コンピュータ科学専攻 |
| 武田 達弥 | Improving the efficiency of web search by reusing search history of group members(グループでウェブの探索を効率化する検索共有インタフェース) | 五十嵐 健夫 | コンピュータ科学専攻 |
| 德田 優 | ANALYSIS OF QUANTUM WALK BASED SEARCH ALGORITHM ON A BIPARTITE GRAPH AGAINST DECOHERENCE ERROR(二部グラフ上での量子ウォーク探索アルゴリズムのデコヒーレンスの影響の解析) | 今井 浩 | コンピュータ科学専攻 |
| 中島 貴裕 | THREAD LEVEL SPECULATION USING TRANSACTIONAL MEMORY(トランザクショナルメモリを用いたスレッドレベル投機実行) | 平木 敬 | コンピュータ科学専攻 |
| 八森 勉 | Color Space - Base Sequence Alignment Algorithm Based on Edit Distance Calculation(編集距離に基づいたカラースペース-塩基配列のアラインメントアルゴリズム) | 渋谷 哲朗 | コンピュータ科学専攻 |
| 平野 貴仁 | P-Bus: an Abstraction Layer for Feature Extension of OS Kernels(P-Bus: OSカーネル機能拡張のための抽象化レイヤ) | 石川 裕 | コンピュータ科学専攻 |
| 福地 大輔 | Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays(分散配列: 効率的な論理配列を実現するP2Pデータ構造) | 本位田 真一 | コンピュータ科学専攻 |
| 松本 宜丈 | Computational Analysis of Orientations of Matroids and Its Application to Incidence Problems in Discrete Geometry(マトロイドの向き付けの計算解析及び離散幾何における接続関係の問題への応用) | 今井 浩 | コンピュータ科学専攻 |
| 宮田 洋行 | Analyzing structures of oriented matroids by semidefinite programming(半正定値計画法による有向マトロイドの構造解析) | 今井 浩 | コンピュータ科学専攻 |
| ドラド ルベン | Morphology Based Unsupervised Part-Of-Speech Tagging for Resource Scarcity(教師なし学習に基づく形態素獲得を用いた品詞タグづけ手法) | 辻井 潤一 | コンピュータ科学専攻 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 藤堂 英樹 |
LOCALLY CONTROLLABLE STYLIZED TOON SHADER(局所制御可能な演出トゥーンシェーダー) | 五十嵐 健夫 |
コンピュータ科学専攻 |
| 牟田 秀俊 | Degeneracy of Angular Voronoi Diagram(Angular Voronoi Diagram の退化) | 今井 浩 | コンピュータ科学専攻 |
| 山崎 孝裕 | Reactive Model Checking for Game Scenarios(ゲームシナリオのための反応性の良いモデル検査) | 米澤 明憲 | コンピュータ科学専攻 |
| 西村 涼平 | Optimization of Memory Usage on On-Chip SIMD Multiprocessors(オンチップSIMD マルチプロセッサ上におけるメモリ使用最適化の研究) | 平木 敬 | コンピュータ科学専攻 |
| 荒木 伸夫 | Move Prediction and Strength in Monte-Carlo Go Program(モンテカルロ囲碁プログラムにおける，着手予測と強さ) | 辻井 潤一 | コンピュータ科学専攻 |
| 五十嵐 大 | Modal μ-calculus on min-plus algebra N∞(min-plus代数N∞上の様相μ計算) | 萩谷 昌己 | コンピュータ科学専攻 |
| 生駒 浩隆 | Piconotes: Managing Personal Handwritten Notes Using Tags and Facets(Piconotes: タグとファセット分類を用いた手書きメモ管理システム) | 五十嵐 健夫 | コンピュータ科学専攻 |
| 植松 すみれ | Semantic Role Labeling using deep syntactic structures based on a Head-driven Phrase Structure Grammar(主辞駆動型句構造文法による深い統語構造を用いた意味役割付与) | 辻井 潤一 | コンピュータ科学専攻 |
| 海野 裕也 | Information retrieval using automatically acquired paraphrases(主辞駆動型句構造文法による深い統語構造を用いた意味役割付索) | 辻井 潤一 | コンピュータ科学専攻 |
| 小田 泰 | Design and Implementation of a Strongly Typed Intermediate Language for GCC(GCCのための強く型付けされた中間言語の設計と実装) | 米澤 明憲 | コンピュータ科学専攻 |
| 片岡 慧 | Multi Robot Framework for Task Allocation(複数ロボットのタスク割り当てのためのフレームワークの設計と実装) | 本位田 真一 | コンピュータ科学専攻 |
| グェン ルー トゥイ ガン | Pronoun resolution for biomedical text(医学生物学文献に対する代名詞照応解析) | 辻井 潤一 | コンピュータ科学専攻 |
| 小島 要 | EFFICIENT GRID LAYOUT ALGORITHM FOR BIOLOGICAL NETWORKS WITH VARIOUS BIOLOGICAL ATTRIBUTES(多様な生物情報を用いた生物ネットワーク描画のための効率化グリッドレイアウトアルゴリズム) | 宮野 悟 | コンピュータ科学専攻 |
| 小谷 和正 | Reducing Experimental Time for Automatic Performance Tuning of Softwares(ソフトウェア自動チューニングにおける実験時間緩和手法) | 須田 礼仁 | コンピュータ科学専攻 |
| 五味田 遵 | Framework to describe general purpose applications using graphics hardware(グラフィクスハードウェアを用いた汎用アプリケーションの記述フレームワーク) | 平木 敬 | コンピュータ科学専攻 |
| 齋藤 拓也 | Seamless and Color-matched Image Composition of Ovelapping Objects.(前景物体との重なり部における色合わせを考慮した画像合成法) | 西田 友是 | コンピュータ科学専攻 |
| 佐藤 春旗 | EXTENDING ALIAS TYPES WITH SEPARATING(Separating Implication によるAlias Types の拡張) | 米澤 明憲 | コンピュータ科学専攻 |
| 末松 宏一 | Flexible Alignment of 3D-Structures Allowing Slight Transformation(緩やかな変形を許容する柔軟な立体構造のアラインメント) | 渋谷 哲朗 | コンピュータ科学専攻 |
| 鈴木 真吾 | Analysis of Quantum Walk Algorithm on binary trees for NAND fomula(二分NAND式木上の量子ウォークアルゴリズムの解析) | 今井 浩 | コンピュータ科学専攻 |
| 清家 良太 | INCS-DF:In-Network Centric Storage-balacing and Data Filtering in Wireless Sensor Networks(無線センサネットワークにおける効率的なデータの選別と保存) | 本位田 真一 | コンピュータ科学専攻 |
| 高橋 敏明 | Maximum quantum violation of Bell inequalities as 2-Prover 1-Round Game(2-Prover 1-Round Gameとしてのベル不等式における最大量子破れ) | 今井 浩 | コンピュータ科学専攻 |
| 辰見 龍 | Secure Vickrey Auction Protocol using Order-Preserving Function(順序を保つ写像を用いた安全なVickreyオークションプロトコル) | 本位田 真一 | コンピュータ科学専攻 |
| 田中 英行 | Automatic Parallelization of Purely Functional Programs with Estimation of Function Evaluation Cost(関数評価のコストの推定を用いた純粋関数型言語の自動並列化) | 米澤 明憲 | コンピュータ科学専攻 |
| 永岡 悟 | Cache Timing Attacks on AES modified to defend against Final Round Attacks(Final Round攻撃対策のなされたAESに対するキャッシュタイミング攻撃) | 今井 浩 | コンピュータ科学専攻 |
| 中村 利雄 | Visualizing User Operation History in an Interactive Program(Final Round攻撃対策のなされたAESに対するキャッシュタイミング攻法) | 五十嵐 健夫 | コンピュータ科学専攻 |
| 林 健一 | Decoding Method for Phrase-based Statistical Machine Translation Using Syntactic Information(句に基づく機械翻訳のための構文情報を利用したデコーディング) | 辻井 潤一 | コンピュータ科学専攻 |
| 林﨑 弘成 | COMMUNICATION OPTIMIZATION ON MASSIVELY PARALLEL MACHINES WITH HIERARCHICAL SCRATCH-PAD MEMORY(階層的スクラッチパッドメモリを持つ超並列計算機向け通信最適化) | 平木 敬 | コンピュータ科学専攻 |
| 藤田 肇 | TCP Connection Scheduling in Broadcast-based Single IP Cluster(ブロードキャスト方式のシングル IP クラスタにおける TCP接続のスケジューリング) | 石川 裕 | コンピュータ科学専攻 |
| 松田 靖広 | Fast Fluid Simulation with Free Surfaces by Using Graphics Hardware(グラフィクスハードウェアを用いた自由表面を伴う流体シミュレーションの高速化) | 西田 友是 | コンピュータ科学専攻 |
| 松原 勇介 | N-gram language modeling with overlapping features(重複する素性を持つNグラム言語モデル) | 辻井 潤一 | コンピュータ科学専攻 |
| 山上 智久 | Highly accurate method for solving partial differential equations with extrapolations of polynomials(多項式の加速を用いた偏微分方程式の高精度解法) | 須田 礼仁 | コンピュータ科学専攻 |
| 山下 諒蔵 | SECURE INFORMATION FLOW FOR RESOURCES(リソースのための情報流解析) | 米澤 明憲 | コンピュータ科学専攻 |
| 吉野 剛史 | Performance Optimization of TCP/IP over 10 Gigabit Ethernet by Precise Instrumentation(精細な測定による10ギガビットイーサネット上のTCP/IP通信最適化) | 平木 敬 | コンピュータ科学専攻 |
| チェッター エリック ナシャニエル | Timeless modeling of application-level timeouts for model checking communication protocols(コミュニケーションプロトコルのための、アプリケーションレベルタイムアウトのTimelessモデル化) | 本位田 真一 | コンピュータ科学専攻 |
| ペッリエ エリク | A SUPER-STRUCTURE BASED METHOD FOR FINDING OPTIMAL BAYESIAN NETWORKS(上位構造に基づく最適なベイジアンネットワークの探索) | 宮野 悟 | コンピュータ科学専攻 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 原 忠義 | ADAPTING AN HPSG PARSER TO A NEW DOMAIN(HPSG構文解析器を新たな分野へ適応させる手法) | 辻井 潤一 |
コンピュータ科学専攻 |
| 小澤 武 | ON DISJOINT SUM OF ASSOCIATION COMPUTATION(連想計算の直和について) | 高野 明彦 | コンピュータ科学専攻 |
| 阿部 秀彦 |
GRADE-IV:An Interactive Visual Debugger for 3D-Graphics Programming(GRADE-IV : 3次元グラフィックスプログラミングのための対話式可視化デバッガ) | 五十嵐 健夫 | コンピュータ科学専攻 |
| 乾 義文 | Polynomial-time quantum algorithms for solvable groups(可解群に対する多項式時間量子アルゴリズム) | 今井 浩 | コンピュータ科学専攻 |
| 今井 照之 | Large Virtual Memory Space Using Distributed Paging(分散ページングによる大規模仮想メモリ空間) | 石川 裕 | コンピュータ科学専攻 |
| 上野 賢哉 | Relating L versus P to Reversal versus Access and their Combinatorial Structures(Ｌ対Ｐ問題の折り返し対アクセス問題への関連付けとそれらの組み合わせ構造) | 今井 浩 | コンピュータ科学専攻 |
| 太田 大介 | Visual Reconstruction of an Intersection by Integrating Cameras of MultipleVehicles(複数台車載カメラの統合による交差点の視覚的な復元) | 池内 克史 | コンピュータ科学専攻 |
| 岡野原 大輔 | A discriminative language modrl with pseudo-negative samples(擬似負例を用いた文識別モデル) | 辻井 潤一 | コンピュータ科学専攻 |
| 小山内 詔子 | CROSSLINGUAL INFORMATION ACCESS BASED ON ASSOCIATION(多言語の電子データから情報を獲得する手法の研究) | 高野 明彦 | コンピュータ科学専攻 |
| ガク エイコウ | A Fast and High-Quality Renderng Technique for Global Illumination(大域照明計算のための高速で高精度なレンダリング手法) | 西田 友是 | コンピュータ科学専攻 |
| 川本 裕輔 | Verifying the Anonymity and Coercion-Resistance of E-Vting Protocols in Epistemic Logic(知識論理による電子投票プロトコルの匿名性と耐買収性の検証) | 萩谷 昌己 | コンピュータ科学専攻 |
| 小島 加寿代 | A Feature-Based Approach to Quadrilateral Image Mosaics Respecting Human Visual Perception and its Application(視覚特性を考慮に入れた画像特徴に基づく四辺形モザイク手法とその応用) | 高橋 成雄 | コンピュータ科学専攻 |
| 小嶋 大起 | EXTRACTING LEXICAL ENTRIES FOR A JAPANESE CCG PARSER(日本語CCGパーザのための語彙項目の獲得) | 辻井 潤一 | コンピュータ科学専攻 |
| 佐藤 秀明 | Fastand Precise Code Clone Reduction by Incremental Analysis(差分解析による高速かつ正確なコードクローンの解消) | 米澤 明憲 | コンピュータ科学専攻 |
| 島本 大輔 | Detecting Anomalies on Windows by Monitoring System Services(System Service 監視による Windows 向け異常検知) | 米澤 明憲 | コンピュータ科学専攻 |
| 竹内 淳平 | Search Results Clustering Based on Non-negative Matrix Factorization(非負行列分解 を用いた 検索結果のクラスタリング) | 辻井 潤一 | コンピュータ科学専攻 |
| チュオン カン クアン | Improving Prediction Accuracy in Recommender System by Clustering Items Based on Stability of User Similarity(推薦システムの予測精度を上げる手法：ユーザ類似度の変動を安定させるアイテムクラスタリング) | 本位田 真一 | コンピュータ科学専攻 |
| 頓 楠 | Design and Implementation of Locality-Aware Distributed File System for Wide-Area Grid Environments(広域グリッド環境における局所性を考慮した分散ファイルシステムの設計戸実装) | 米澤 明憲 | コンピュータ科学専攻 |
| 中嶋 海介 | Representing Vector Graphics with Geometric Constraints and Its Applications(ベクターグラフィックスの幾何学的制約による表現とその応用) | 五十嵐 健夫 | コンピュータ科学専攻 |
| 新倉 寿樹 | Keyframe-Based Animation of Crowd Formation Using Graph Laplacian Representation(グラフラプラシアン表現を用いた群衆隊形のキーフレームベース・アニメーション) | 高橋 成雄 | コンピュータ科学専攻 |
| 西川 徹 | FLATFRAME : A PARALLEL PROGRAMMING FRAMEWORK FOR MASSIVELY PARALLEL COMPUTERS(flatFrame : 超並列計算機向け並列プログラミングフレーム) | 平木 敬 | コンピュータ科学専攻 |
| 西川 賀樹 | Distributed System Test Bed by Virtualization of OS Resources(OS資源ビューの仮想化を用いた分散システムテストベッド) | 米澤 明憲 | コンピュータ科学専攻 |
| 西鳥羽 二郎 | Smallest Enclosing Ball Orientations of Cube Graphs(最小包含球問題から得られるCubeグラフの向きづけ) | 今井 浩 | コンピュータ科学専攻 |
| 丹羽 智史 | Web Document Recommender based on Folksonomy Mining(Folksonomyマイニングに基づくWebドキュメント推薦システム) | 本位田 真一 | コンピュータ科学専攻 |
| 野村 哲弘 | Netwrok performance model for TCP/IP-based cluster computing(TCP/IPベースのクラスタのためのネットワーク性能モデル) | 石川 裕 | コンピュータ科学専攻 |
| 藤田 まどか | Example-Based Stylized Curve and Drawing Pattern Synthesis Using Transition Rules(遷移規則を用いたイグザンプルベースな曲線および描画パターンの生成) | 西田 友是 | コンピュータ科学専攻 |
| 宮川 大輔 | POPM: Process-Oriented Power Management Mechanisim(POPM:プロセス単位電力制御機構) | 石川 裕 | コンピュータ科学専攻 |
| 宮﨑 麻衣子 | A Flexible Planning and Visual Feedback Framework for>Manipulation of Deformable Linear Objects(線状柔軟物操作のための柔軟な動作計画・ビジュアルフィードバックの枠組み) | 池内 克史 | コンピュータ科学専攻 |
| 森 悠紀 | Interactive Pattern Design for Plush Toys(ぬいぐるみのためのインタラクティブな型紙デザイン) | 五十嵐 健夫 | コンピュータ科学専攻 |
| 師 芳卓 | Particle-Based Fluid Simulation Using Graphics Hardware(グラフィクスハードウェアを用いたパーティクルベース流体シミュレーション) | 西田 友是 | コンピュータ科学専攻 |
| 辛 孝宗 | Magic Canvas: Interactive Design of a 3-D Scene PrototypeMagic Canvas: 手書きスケッチに基づく３次元シーンのデザインシステム | 五十嵐 健夫 | コンピュータ科学専攻 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 千葉 啓和 |
Comparative genomic analysis of promoter regions
（プロモーター領域の比較ゲノム解析） |
中井 謙太 |
コンピュータ
科学 |
| 佐賀 直也 |
Improving spherical-attribute-image method for complicated object with
depressions and partial fractures
（窪み箇所や部分欠損を含む複雑な形状の物体のためのSAI法の改良） |
池内 克史 |
コンピュータ
科学 |
| ベック 和穂 エリック |
Algebraic geometrical algorithms to prove irreducibility of
multivariate polynomials and related issues
（代数幾何学的な多変数多項式の既約証明アルゴリズム及びその周辺の問題） |
今井 浩 |
コンピュータ
科学 |
| 石井 康雄 |
Performance trade-offs between on-chip SIMD architectures
（オンチップSIMDアーキテクチャの性能比較） |
平木 敬 |
コンピュータ
科学 |
| 井尻 敬 |
Floral diagrams and inflorescence: interactive flower modeling
using botanical structural constraints
（花式図・花序： 生物学の知識を利用した花のモデリングインタフェース） |
五十嵐 健夫 |
コンピュータ
科学 |
| 稲葉 一浩 |
XML transformation language based on monadic second order logic
（単項二階論理に基づくXML変換言語） |
細谷 晴夫 |
コンピュータ
科学 |
| 海野 広志 |
Combining type-based analysis and model checking for finding counterexamples
against non-interference
（型解析とモデル検査を組み合わせた非干渉性の反例発見法） |
米澤 明憲 |
コンピュータ
科学 |
| 遠藤 侑介 |
Continuation join point
（継続ジョインポイント） |
米澤 明憲 |
コンピュータ
科学 |
| 岡本 泰英 |
Editing, retrieval, and display system of archeological information
on large 3D geometric models
（大規模３次元モデル上の情報の編集・表示システム） |
池内 克史 |
コンピュータ
科学 |
| 加藤 充 |
Automatic drawing of biological networks using cross cost and subcomponent data
（交差コストとサブコンポーネント情報を用いた生物学的ネットワークの自動描画） |
宮野 悟 |
コンピュータ
科学 |
| 金森 由博 |
An efficient up-sampling method for filling holes on point-sampled surfaces
and its applications
（点で表現された曲面の穴埋めのための効率的なアップサンプリング法とその応用） |
西田 友是 |
コンピュータ
科学 |
| 川崎 禎紀 |
Vision-based gestural interaction using everyday objects
（日用品を用いたジェスチャインタフェース） |
五十嵐 健夫 |
コンピュータ
科学 |
| 川中 真耶 |
biXid: bidirectional transformation language for XML
（biXid：XMLの為の双方向変換言語） |
細谷 晴夫 |
コンピュータ
科学 |
| 河村 彰星 |
On lookahead in stream computation
（文字流計算における参照量について） |
|
コンピュータ
科学 |
| グエン カン グォク |
Service agreement description and management framework
（Service Agreementの記述と管理フレームワーク） |
本位田 真一 |
コンピュータ
科学 |
| 酒井 将人 |
The fault detection system based on a fault model
（障害モデルに基づく障害検知システム） |
石川 裕 |
コンピュータ
科学 |
| 佐藤 学 |
Generating semantic representations based on typed dynamic logic from real texts
（実テキストからの型付き動的論理に基づく意味表現の生成） |
辻井 潤一 |
コンピュータ
科学 |
| 柴田 輝之 |
Traffic information analysis by data of vehicle movement and its applications
（車両軌跡データの分析による交通情報の把握とその応用） |
今井 浩 |
コンピュータ
科学 |
| 柴田 有 |
Leveraging surplus resources on game emulators
（ゲームエミュレータにおける余剰資源の活用） |
平木 敬 |
コンピュータ
科学 |
| 清 雄一 |
An algorithm to reduce the communication traffic for multi-word search
in distributed hash table
（分散ハッシュテーブルにおけるAND検索時のトラフィック量削減） |
本位田 真一 |
コンピュータ
科学 |
| 田中 俊輔 |
The design and implementation of autonomous communication management mechanism
（自律的通信管理機能の設計と実装） |
石川 裕 |
コンピュータ
科学 |
| 富 さやか |
Research of the asymptotically optimal method of the load redistribution
by Multi-Master Divisible Load model
（Multi-Master Divisible Loadモデルによる負荷再分散の漸近最適な手法の研究） |
須田 礼仁 |
コンピュータ
科学 |
| 仲亀 渉 |
The high performance communication mechanism in User Mode Linux
（User Mode Linux上における高性能通信機構） |
石川 裕 |
コンピュータ
科学 |
| 中西 紘子 |
Efficient statistical sentence generation based on HPSG
（主辞駆動句構造文法を用いた高効率な統計的文生成） |
辻井 潤一 |
コンピュータ
科学 |
| 西田 健志 |
Drag-and-guess: drag-and-drop with prediction
（Drag-and-guess： 予備付きドラッグアンドドロップ） |
五十嵐 健夫 |
コンピュータ
科学 |
| 沼田 和幸 |
Memory-efficient hierarchical clustering algorithms for
large-scale microarray gene expression data
（大規模マイクロアレイ遺伝子発現データに対するメモリ効率のよい
階層型クラスタリングアルゴリズム） |
宮野 悟 |
コンピュータ
科学 |
| 細川 暢 |
Modeling tertiary structure of complementarity determining region
of antibodies
（抗体たんぱく質抗原認識部位の立体構造予測） |
木下 賢吾 |
コンピュータ
科学 |
| 松林優一郎 |
Integration of non-overlapping constraint and n-best parser
into the learning model on semantic role labeling
（意味役割割り当てにおける非重複制約とN-BEST構文解析器の学習
モデルへの統合） |
辻井 潤一 |
コンピュータ
科学 |
| 三森 慶卓 |
Parallel LU decomposition on heterogeneous clusters using two-dimensional
column-based data distribution
（２次元列ベースデータ分割を用いたヘテロ型クラスタ上の並列LU分解） |
須田 礼仁 |
コンピュータ
科学 |
| 山本 啓二 |
Worst case execution time prediction based on partial execution
（部分実行に基づく最悪実行時間予測） |
石川 裕 |
コンピュータ
科学 |
| 横山 陽介 |
Application-specific virtual environments for migration and checkpointing
（アプリケーションに特化した計算移動やチェックポインティングのための仮想環境） |
米澤 明憲 |
コンピュータ
科学 |
| 吉野 寿宏 |
A framework using a common language to build program verifiers for
low-level languages
（低級言語のプログラム検証器を構成するための共通言語を用いたフレームワーク） |
米澤 明憲 |
コンピュータ
科学 |
| 渡辺 奈夕子 |
Bubble clusters: information management mechanism using spatial clusters of icons
（Bubble clusters： アイコンの空間的なまとまりを利用した情報管理機構） |
五十嵐 健夫 |
コンピュータ
科学 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 小川 周吾 |
DYNAMIC OPTIMIZATION FOR PROCESS SCHEDULER USING HARDWARE
STATISTICS INFORMATION
（ハードウェア統計情報を用いたプロセスの動的な最適スケジューリング手法） |
平木 敬 |
コンピュータ
科学 |
| 瀬田 剛広 |
EXTENSION OF ASP OUTSIDE NP OR FNP
（ASPのNP（FNP）以外への拡張） |
今井 浩 |
コンピュータ
科学 |
| 谷口 宏樹 |
PROCESS MIGRATION WITH KEEPING TCP/IP CONNECTIONS
（TCPコネクションを維持した状態でのプロセス移送） |
石川 裕 |
コンピュータ
科学 |
| 佐藤 貴洋 |
IMPLEMENTATION OF TABLEAUX‐BASED SATISFIABILITY CHECKERS
USING BDD
（BDDを用いたタブロー法による充足可能性判定手続きの実装） |
萩谷 昌己 |
コンピュータ
科学 |
| 稲上 克史 |
JAVA GRID COMPILER （Java 自動グリッド化コンパイラ） |
平木 敬 |
コンピュータ
科学 |
| 植山 晋輔 |
DEVELOPMENT OF A METHOD TO PREDICT PROTEIN FUNCTIONS USING
PROTEIN-PROTEIN INTERACTION DATA
（蛋白質相互作用情報を用いた蛋白質機能予測手法の開発） |
萩谷 昌己 |
コンピュータ
科学 |
| 大内田 賢太 |
AN EFFICIENT LTAG PARSER WITH CFG FILTERING
（CFGフィルタリングを用いた高効率なLTAGパーザの構築） |
辻井 潤一 |
コンピュータ
科学 |
| 大根田 裕一 |
A BYTECODE TRANSLATION FOR POINTCUT DESCRIPTION BASED ON
DATA DEPENDENCY
（データ間依存性に基づくポイントカット記述のためのバイトコード変換） |
米澤 明憲 |
コンピュータ
科学 |
| 岡部 誠 |
INTERACTIVE DESIGN OF BOTANICAL TREES USING FREEHAND SKETCHES
AND EXAMPLE‐BASED EDITING
（手書きスケッチと例示予測インタフェースに基づくインタラクティブな3次元樹木モデルのデザイン手法） |
五十嵐 健夫 |
コンピュータ
科学 |
| 尾上 浩一 |
DESIGN AND IMPLEMENTATION OF A MOBILE COMPUTING SYSTEM
BASED ON Ａ ＣＰＵ EMULATOR
（ＣＰＵエミュレータを利用した移動計算システムの設計と実装） |
米澤 明憲 |
コンピュータ
科学 |
| 苅部 卓哉 |
MOBILE AGENT FRAMEWORK FOR CONTENT DISTRIBUTION
（コンテンツ流通のためのモバイルエージェントフレームワーク） |
本位田 真一 |
コンピュータ
科学 |
| 川崎 敬昌 |
WORD SENSE DISAMBIGUATION EXPLOITING SEMANTICALLY RELATED
WORDS
（意味的関連性を持つ語を利用した多義語の曖昧性解消法） |
辻井 潤一 |
コンピュータ
科学 |
| 小西 康介 |
Mining Successive Regular Structures from Semi-structured
Documents by Detecting Similar Prefix Areas
（共通の接頭部の発見による半構造文書からの連続した規則的な構造のマイニング） |
高野 明彦 |
コンピュータ
科学 |
| 小林 正朋 |
INFORMATION FISHING : INTERACTIVE DATA EXPLORATION THROUGH
VIRTUAL ECOLOGY GUIDED BY USERS' VOTES
（情報魚釣り：ユーザフィードバックに基づいて発展する仮想的な生態系を介した対話的なデータ探索環境） |
五十嵐 健夫 |
コンピュータ
科学 |
| 佐々木 伸 |
MULTIPLE ALIGNMENT ALGORITHM AND IMPLEMENTATION FOR LARGE
SCALE
WHOLE GENOME SHOTGUN ASSEMBLER
（大規模ホールゲノムショットガンアセンブラーのためのマルチプルアライメントアルゴリズムと実装） |
萩谷 昌己 |
コンピュータ
科学 |
| 末永 幸平 |
TRANSLATION OF TREE-PROCESSING PROGRAMS INTO STREAM-PROCESSING
PROGRAMS BASED ON ORDERED LINEAR TYPE
（ 順序付き線形型に基づく木構造処理プログラムからストリーム処理プログラムへの変換） |
米澤 明憲 |
コンピュータ
科学 |
| 戴 毛兵 |
THE DESIGN AND IMPLEMENTATION OF A PREDICTABLE REAL‐TIME
KERNEL
（予測可能リアルタイムカーネルの設計と実装） |
石川 裕 |
コンピュータ
科学 |
| 高橋 圭一郎 |
CHAIN REACTION SYSTEMS BASED ON CONFORMATIONAL CHANGES
OF DNA MOLECULESDNA
（分子の形態変化による連鎖反応系） |
萩谷 昌己 |
コンピュータ
科学 |
| 立沢 秀晃 |
ＡＮ ＡＳＰＥＣＴ－ＯＲＩＥＮＴＥＤ ＬＡＮＧＵＡＧＥ ＦＯＲ ＦＵＮＣＴＩＯＮＡＬ ＰＲＯＧＲＡＭＭＩＮＧ
（関数型プログラミングのためのアスペクト指向言語） |
米澤 明憲 |
コンピュータ
科学 |
| 綱川 隆司 |
CLASSIFICATION OF AUTOMATICALLY ALIGNED WORD-SEQUENCE PAIRS
FOR
STATISTICAL MACHINE TRANSLATION
（統計的機械翻訳のための自動抽出した単語列ペアの分類） |
辻井 潤一 |
コンピュータ
科学 |
| 土肥 拓生 |
IOM/T: An Interaction Description Language for Multi-Agent
System
（マルチエージェントシステムのためのインタラクション記述言語 IOM/T） |
本位田 真一 |
コンピュータ
科学 |
| 中川 孔人 |
REALIZATON OF OS-LEVEL UNDO BY USING SBUML AND ITS APPLICATIONS
（SBUML を用いたOSレベルでのUndo の実現及びその応用） |
萩谷 昌己 |
コンピュータ
科学 |
| 成相 直樹 |
USING EXPRESSION DATA AND PROTEIN_PROTEIN INTERACTIONS
TO ESTIMATE
GENE NETWORKS
（遺伝子発現データ と タンパク質間相互作用データ を利用した遺伝子ネットワーク推定） |
宮野 悟 |
コンピュータ
科学 |
| 長谷川 淳 |
THEORETICAL ANALYSES OF QUANTUM COUNTING ALGORITHMS AGAINST
DECOHERENCE ERRORS
（デコヒーレンスエラーに対する量子数え上げアルゴリズムの理論的解析） |
今井 浩 |
コンピュータ
科学 |
| 原 謙治 |
EASY‐TO‐USE VIDEOPHONE COMMUNICATION
（テレビ電話コミュニケーションの手軽な利用に関する研究） |
五十嵐 健夫 |
コンピュータ
科学 |
| 広瀬 修 |
INFERRING GENE NETWORKS BY BOOLEAN NETWORK MODEL USING
MICROARRAY DATA AND BINDING LOCATION DATA
（マイクロアレイデータと結合位置データ を用いたブーリアンネットワークモデルによる遺伝子ネットワークの推定） |
宮野 悟 |
コンピュータ
科学 |
| 松井 一 |
A Method for Creating Colored-Pencil Style Images by Drawing
Strokes Based on Boundaries of Regions
（領域の輪郭に沿ったストローク描画による色鉛筆風画像の生成法） |
西田 友是 |
コンピュータ
科学 |
| 松葉 浩也 |
NETWORK TRAFFIC BALANCING USING THE HIGH SPEED NETWORK
（高速ネットワークによるネットワークトラフィックの分散） |
石川 裕 |
コンピュータ
科学 |
| 丸山 泰史 |
APPLYING USER INTERFACE TECHNOLOGY TO TRADITIONAL TRANSACTIONS
OVER COUNTERS
（ユーザインターフェース技術の窓口手続きへの応用） |
五十嵐 健夫 |
コンピュータ
科学 |
| 山田 崇 |
SCHRODINGER'S “CAR” : ON A QUANTUM TRAFFIC-FLOW MODEL
（Schrodingerの車：１次元交通流セルオートマトンの量子化） |
今井 浩 |
コンピュータ
科学 |
| 吉田 敦 |
DISTRIBUTED CHECKPOINT SYSTEM FOR FILE AND PROCESS
（ファイルを含めた分散チェックポイントシステム） |
石川 裕 |
コンピュータ
科学 |
| 吉田 和弘 |
CORPUS ORIENTED METHOD FOR DEVELOPING PRACTICAL JAPANESE
HPSG PARSERS
（コーパスを利用した実用的日本語HPSGパーザの開発） |
辻井 潤一 |
コンピュータ
科学 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 安部 達也 |
Good Processes Have Detachable Wingsプロセスの戸口にはとが建てられる |
萩谷 昌己 |
コンピュータ
科学 |
| 佐藤 治 |
UML SCRAPBOOK AND REALIZATION OF SNAPSHOT PROGRAMMINGENVIRONMENTUML
スクラップブックとスナップショットプログラミング環境の実現 |
萩谷 昌己 |
コンピュータ
科学 |
| 久保田 光宏 |
DESIGN AND IMPLEMENTATION OF BRANCHING STATES USING CONFORMATIONAL
CHANGES OF DNA HAIRPIN STRUCTURES ヘアピン構造DNAの形態変化に基づ分岐状態の設計と実現 |
萩谷 昌己 |
コンピュータ
科学 |
| 竹村 亮 |
VERIFICATION OF AUTHENTICATION PROTOCOLS IN GENERAL ENVIRONMENTS BASED
ON BINDING RELATION 一般的な環境における認証プロトコルの束縛関係に基づく検証 |
萩谷 昌己 |
コンピュータ
科学 |
| 松下 耕三 |
PROOF‐CARRYING AUTHENTICATION ON CELLULAR PHONES 携帯電話上における証明付き認証 |
萩谷 昌己 |
コンピュータ
科学 |
| 橋本 泰成 |
WEB PAGE SEARCH BY LAYOUT レイアウトによるWEBページ検索 |
五十嵐 健夫 |
コンピュータ
科学 |
| 王 化 |
Communication System Using Animation Associated to Physiological
Signals 生体情報に連動するアニメーションを利用したコミュニケーションシステム |
五十嵐 健夫 |
コンピュータ
科学 |
| 伊藤 剛志 |
ANALYSES OF FLOW TIME AND FAIRNESS OF TCP CONGESTION CONTROL ALGORITHMS
IN WIDE AREA NETWORKS 広域ネットワークにおけるTCPの輻輳制御アルゴリズムの通信時間と公平性の解析 |
今井 浩 |
コンピュータ
科学 |
| 川上 岳 |
RESEARCH ON EFFECTIVE CONSISTENCY MANAGEMENT IN WIDE AREA METWORK REALIZED BY EXTENTION OF SOFTWARE PREFETCHING
大域分散環境においてソフトウェアプリフェッチの拡張によって効果的になる一貫性官吏方式についての研究 |
今井 浩
（稲葉 真理） |
コンピュータ
科学 |
| 中山 裕貴 |
ANALYSIS OF FAUGERE’S ALGORITHMS FOR TORIC IDEALS トーリックイデアルに対するFaugereのアルゴリズムの解析 |
今井 浩 |
コンピュータ
科学 |
| 徳本 晋 |
SECURITY OF QUANTUM KEY DISTRIBUTION PROTOCOL USING QUANTUM
BCH CODES 量子BCH 符号を用いた量子鍵配送プロトコルの安全性についての研究 |
今井 浩 |
コンピュータ
科学 |
| 大谷 未雅 |
DEVELOPMENT OF IMAGE PROCESSING PROGRAM FOR YEAST CELL
MORPHO
LOGY AND CLUSTERING METHOD CONSIDEIRING STRUCTURE OF GENE NETWORK 酵母の形態画像処理プログラムの開発と遺伝子機能マイニングのためのツーハイブリッド遺伝子ネットワークの分解 |
森下 真一 |
コンピュータ
科学 |
| 笠原 雅弘 |
Fast and Accurate Algorithm for DNA Fragment Assembly DNA断片アセンブルのための高速・高精度なアルゴリズム |
森下 真一 |
コンピュータ
科学 |
| 斉藤 太郎 |
ON CONCURRENCY AND UPDATABILITY OF XML DATABASES XMLデータベースの並列性と更新性能についての研究 |
森下 真一 |
コンピュータ
科学 |
| 伊藤 秀和 |
cNFS:NFS_BASED DISTRIBUTED FILE SYSTEM WITH HIGH SCALABILITY
AND AVAILABILITY cNFS:高可用性・拡張性を備えたNFSを利用した分散ファイルシステム |
平木 敬 |
コンピュータ
科学 |
| 千本 潤介 |
Full UTILIZATION OF LONG DISTANCE NETWORK BY NIC LEVEL
STREAM
MANAGEMENT NICレベルのストリームマネージメントによる長距離ネットワーク環境の有効利用 |
平木 敬 |
コンピュータ
科学 |
| 中村 洋介 |
HIGHLY FAULT-TOLERANT PROCESSOR FOR PERMANTE FAULTS 固定故障に対する高信頼性プロセッサ |
平木 敬 |
コンピュータ
科学 |
| 清木 昌 |
MODEL CHECKING FOR COMPUTER GAME SCENARIOS モデル検査理論のゲームシナリオへの適用 |
米澤 明憲 |
コンピュータ
科学 |
| 永田 章人 |
REGION-BASED MEMORY MANAGEMENT FOR DYNAMIC TYPED LANGUAGE
動的型付き言語のためのリージョン推論に基づくメモリ管理 |
米澤 明憲 |
コンピュータ
科学 |
| 増山 隆 |
DESIGNING AND IMPLEMENTING A DISTRIBUTED COMPONENT LANGUAGE WITH
TRANSPARENT MOBILITY 透明な移動が可能な分散コンポーネント言語の設計と実装 |
米澤 明憲 |
コンピュータ
科学 |
| 島津 朗 |
PROPOSITON OF NEW PRECONDITIONER BASED ON ALGEBRAIC IMPROVEMENT
MULTILEVEL ILU FACTORIZATION
Multilevel ILU 分解 の Algebraic な改良に基づく新しい前処理手法の提案 |
小柳 義夫 |
コンピュータ
科学 |
| 五十嵐 孝博 |
RESEARCH ON CONVERGENCE ACCELERATION OF NUMERICAL INTEGRATION
数値積分の収束加速に関する研究 |
小柳 義夫 |
コンピュータ
科学 |
| 小野 豊 |
Creating 3D Character Models from Cel Animation and its
Applications
セルアニメーションからの三次元キャラクタモデルの生成とその応用 |
西田 友是 |
コンピュータ
科学 |
| 橋本 良太 |
Creating Watercolor Style Images and Animations Using Color
Diffusion
色の拡散処理を用いた水彩風画像とアニメーションの生成 |
西田 友是 |
コンピュータ
科学 |
| 永野 圭一郎 |
A RHETORICAL RELATION ANALYZER USING A MACHINE LEARNING
TECHNIQUE
機械学習手法を用いた修辞関係解析 |
辻井 潤一 |
コンピュータ
科学 |
| 増田 勝也 |
ROBUST AND SCALABLE MODEL OF PROXIMAL AND STRUCTURAL TEXT
RETRIEVAL USING REGION ALGEBRA
領域代数を用いた近接構造テキスト検索の頑健でスケーラブルなモデル |
辻井 潤一 |
コンピュータ
科学 |
| 松崎 拓也 |
OPTIMIZING MODEL COMPLEXITY OF PROBABILISTIC MODELS OF
WORD CO_OCCURRENCE
単語共起の確率モデルのモデル複雑度の最適化手法 |
辻井 潤一 |
コンピュータ
科学 |
| 石川 冬樹 |
WEB SERVICES INTEGRATION WITH MOBILE AGENT
モバイルエ-ジェントによるWebサービス連携 |
本位田 真一 |
コンピュータ
科学 |
| 松崎 和賢 |
UBIQUITOUS APPLICATIONS DEVELOPMENT WITH MOBILEAGENT_BASED
SYSTEM
モバイルエージエントを用いたユビキタスアプリケーション開発手法 |
本位田 真一 |
コンピュータ
科学 |
| 上原 康彦 |
Estimation of the Phylogenetic Relationships of Japanese
Native Fowls using 3-dimensional Image Recognition
3次元画像認識を用いた日本在来ニワトリの系統関係の推定 |
池内 克史 |
コンピュータ
科学 |
| 猪狩 壮文 |
Separating Illumination and Surface Spectral from Multiple
Color Signals
複数の反射光スペクトルを用いた光源スペクトル・分光反射率分離ホールゲノムショットガンアセンブラのための高速・高精度なアルゴリズム |
池内 克史 |
コンピュータ
科学 |
| 金 順暎 |
DYNAMIC BAYESIAN NETWORK AND NONPARAMETRIC REGRESSION FOR
NONLINEAR MODELING OF GENE NETWORKS
ダイナミックベイジアンネットワークとノンパラメトリック回帰を用いた遺伝子ネットワーク推定法 |
宮野 悟 |
コンピュータ
科学 |
| 氏名 |
題目 |
指導教員 |
専攻 |
| 上嶋 裕樹 |
Multi-state DNA Machine Based on Sequential Structure Transitions
and its Secondary Structure Design
(逐次的構造変化による多状態DNA機械とその二次構造設計） |
萩谷 昌己 |
コンピュータ
科学 |
| 大久保 亮 |
SIMULTANEOUS REGISTRATION OF 2D IMAGES ONTO 3D MODELS FOR
TEXTURE MAPPING（テクスチャマッピングのための 3次元モデルと 複数枚画像の 同時位置合わせ） |
池内 克史 |
コンピュータ
科学 |
| 小笠原 準 |
Fast and Sensitive Algorithm for Aligning ESTs to Human
Genome
（ヒトゲノムに対し高速かつ精度よくESTを写像するアルゴリズム） |
森下 真一 |
コンピュータ
科学 |
| 金田 憲二 |
IMPLEMENTING A RUNTIME SYSTEM FOR PARALLEL AND DISTRIBUTED
COMPUTATION ON THE INTERNET AND ITS APPLICATIONS
（インターネット上の並列分散計算のための実行時システムとそのアプリケーションの実装） |
米澤 明憲 |
コンピュータ
科学 |
| 狩野 芳伸 |
PSYCHOLOGICAL PLAUSIBLE PARSING MODEL（心理学的に妥当な統語解析モデル） |
辻井 潤一 |
コンピュータ
科学 |
| 工藤 誠 |
A STUDY OF PARALLEL SPARSE MATRIX‐VECTOR MULTIPLICATION
LIBRARY WITH AUTO-TUNING SYSTEM
（自動チューニング機構を持つ並列疎行列ベクトル積ライブラリの研究） |
金田 康正 |
コンピュータ
科学 |
| 幸谷 泰造 |
EVALUATION OF AN ENERGY EFFICIENT POWER MANAGEMENT PROTOCOL
CONSIDERING RISTEN INTERVAL ON IEEE 802.11B WIRELESS LAN
（ビーコンパケットの受信間隔を考慮したIEEE802.11b無線LAN環境下での効率的なパワーマネジメントプロトコルの評価） |
平木 敬 |
コンピュータ
科学 |
| 坂尾 要祐 |
CONSTRUCTIVE CALCULATION OF NON-LOCAL FIGURES OF MERIT
FOR PARSING （構文解析における非局所的な評価値の構成的計算） |
辻井 潤一 |
コンピュータ
科学 |
| 佐々木 勇也 |
COMPLEXITY CLASS OF POLYNOMIAL SIZE QUANTUM BRANCHING PROGRAMS
（多項式サイズ量子ブランチングプログラムモデルのなす計算量クラス） |
今井 浩 |
コンピュータ
科学 |
| 田渕 直 |
REGULAR EXPRESSION TYPES FOR STRINGS IN A TEXT PROCESSING
LANGUAGE（テキスト処理言語における文字列のための正規表現型） |
米澤 明憲 |
コンピュータ
科学 |
チュ-
ヒェンチン |
Environment Characteristics Settings-based Automatic Switching
between Communication Media（in a Ubiquitous Networking Environment）
（ユビキタス環境の）環境特徴要素による通信メディアの自動スイッチング |
坂村 健 |
コンピュータ
科学 |
| 中岡 慎一郎 |
GENERATING WHOLE BODY MOTIONS FOR THE ROBOT TO IMITATE
HUMAN DANCES （人間の舞踊を模倣するロボットの全身動作の生成） |
池内 克史 |
コンピュータ
科学 |
| 中村 無心 |
HUMAN TRACKING SYSTEM USING DISTRIBUTED COOPERATIVE ACTIVE
SENSORS（分散協調センサーによる人間の位置追跡） |
坂村 健 |
コンピュータ
科学 |
| 西澤 弘毅 |
MANIPULATION AND INFERENCE OF LINEAR CONTEXT IN LOGICAL
FRAMEWORK
（Logical FrameworkにおけるLinear Context の操作と推論） |
萩谷 昌己 |
コンピュータ
科学 |
| 西田 祐輔 |
PPM Compression Algorithms for Image Data （PPM圧縮法の画像への応用） |
今井 浩 |
コンピュータ
科学 |
| 速水 雄太 |
JAVA BYTECODE TRANSFORMATION FOR FINE GRAIN CPU RESOURCE
MANAGEMENT（Javaバイトコード変換による細粒度CPU資源管理） |
米澤 明憲 |
コンピュータ
科学 |
| 坂東 洋介 |
Modeling Expressive Wrinkles and Hairs for Virtual Humans
（バーチャルヒューマンのための表情ジワと髪のモデリング） |
西田 友是 |
コンピュータ
科学 |
| 増田 智仁 |
3D SHAPE RESTORATION AND COMPARISON THROUGH SIMULTANEOUS
（同時位置合わせ手法を用いた三次元形状の復元と比較） |
池内 克史 |
コンピュータ
科学 |
| 水上 達夫 |
RESOURCE USAGE ANALYSIS WITH REFERENCES（参照を扱った資源使用解析） |
米澤 明憲 |
コンピュータ
科学 |
| 小林 義徳 |
AN EFFICIENT GARBAGE COLLECTOR IN THE PRESENCE OF AMBIGUOUS
REFERENCES（曖昧なポインタの存在下での効率的なゴミ集め） |
米澤 明憲 |
コンピュータ
科学 |
薬師寺
あかね |
A WORKBENCH OF PRACTICAL GRAMMAR DEVELOPMENT FOR INFORMATION
EXTRACTION（情報抽出を目的とした実用的な文法を開発するためのワークベンチ） |
辻井 潤一 |
コンピュータ
科学 |
| 八登 崇之 |
COMPLEXITY AND COMPLETENESS OF FINDING ANOTHER SOLUTION
AND ITS APPLICATION TO PUZZLES
（別解問題の計算論的複雑さと完全性、およびパズルへの応用） |
今井 浩 |
コンピュータ
科学 |
