東京大学バナー(中) 東大 アラムナイ 寄付のご案内
| ENGLISH | サイトマップ |
東京大学 大学院 情報理工学系研究科
交通アクセス・学内地図
訪問者別ご案内
受験・進学希望の方
留学生の方
(For International Students)
企業・一般の方
修了者の方
高校生の方
高校教員の方
大学生の方
教育と研究
研究科案内
各専攻・教員の紹介
 
コンピュータ科学
  数理情報学
  システム情報学
  電子情報学
  知能機械情報学
  創造情報学
フォーカス(2006〜2016)
ソーシャルICT研究センター
情報理工学国際センター
受賞
ソーシャルICTグローバル・クリエイティブリーダー育成プログラム
グローバル・クリエイティブリーダー 講義
enPiT
データサイエンティスト養成講座(領域知識創成教育研究プログラム)
創造情報学連携講座
産学連携(R2P/IST等)
情報理工関係イベント
国際交流
(International Cooperation)
他プログラム
科学研究ガイドライン
情報倫理ガイドライン
入学・進学案内 new !
学生支援制度
履修・学籍・諸手続案内
科目等履修生案内
学生情報システム
工学・情報理工学図書館
公募情報
ポータルサイト (内部のみ)
ISTクラウド (内部のみ)
研究倫理審査・広報 (内部のみ)
緊急連絡
緊急連絡ページ
関連学部
工学部
理学部
Home > 教育と研究 > 研究科案内 > 専攻と講義科目 > コンピュータ科学
教育と研究

コンピュータ科学 movie
専攻の目的Department Objective教員と研究室Faculty and Labs
講義学位論文(修士)学位論文(博士)
入試案内Admissions就職状況Careers理学部情報科学科

学位論文 修士 (修了年度別)

2001年度以前の修士論文は情報科学科発行論文検索から検索下さい。

2009

氏名 題目 指導教員 専攻
袁 旭陽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(リアルタイム録画における2物体の動きの同期手法)五十嵐 健夫コンピュータ科学
鳥海 晋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(テキスチャレイヤーで表現された毛に対するダイナミックスの組み込み法)西田 友是コンピュータ科学
page top

2008

氏名 題目 指導教員 専攻
ガルシア トリゴ パブロ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(教師なし学習に基づく形態素獲得を用いた品詞タグづけ手法)辻井 潤一コンピュータ科学専攻
page top

2007

氏名 題目 指導教員 専攻
藤堂 英樹 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(上位構造に基づく最適なベイジアンネットワークの探索)宮野 悟コンピュータ科学専攻
page top

2006

氏名 題目 指導教員 専攻
原 忠義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(L対P問題の折り返し対アクセス問題への関連付けとそれらの組み合わせ構造)今井 浩コンピュータ科学専攻
太田 大介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: 手書きスケッチに基づく3次元シーンのデザインシステム五十嵐 健夫コンピュータ科学専攻
page top

2005

氏名 題目 指導教員 専攻
千葉 啓和 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 (大規模3次元モデル上の情報の編集・表示システム) 池内 克史 コンピュータ
科学
加藤 充 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 (2次元列ベースデータ分割を用いたヘテロ型クラスタ上の並列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: アイコンの空間的なまとまりを利用した情報管理機構) 五十嵐 健夫 コンピュータ
科学
page top

2004

氏名 題目 指導教員 専攻
小川 周吾 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 A CPU EMULATOR (CPUエミュレータを利用した移動計算システムの設計と実装) 米澤 明憲 コンピュータ
科学
苅部 卓哉 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 (分子の形態変化による連鎖反応系) 萩谷 昌己 コンピュータ
科学
立沢 秀晃 AN ASPECT−ORIENTED LANGUAGE FOR FUNCTIONAL PROGRAMMING (関数型プログラミングのためのアスペクト指向言語) 米澤 明憲 コンピュータ
科学
綱川 隆司 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の車:1次元交通流セルオートマトンの量子化) 今井 浩 コンピュータ
科学
吉田 敦 DISTRIBUTED CHECKPOINT SYSTEM FOR FILE AND PROCESS (ファイルを含めた分散チェックポイントシステム) 石川 裕 コンピュータ
科学
吉田 和弘 CORPUS ORIENTED METHOD FOR DEVELOPING PRACTICAL JAPANESE HPSG PARSERS (コーパスを利用した実用的日本語HPSGパーザの開発) 辻井 潤一 コンピュータ
科学
page top

2003

氏名 題目 指導教員 専攻
安部 達也 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 ダイナミックベイジアンネットワークとノンパラメトリック回帰を用いた遺伝子ネットワーク推定法 宮野 悟 コンピュータ
科学
page top

2002

氏名 題目 指導教員 専攻
上嶋 裕樹 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 (別解問題の計算論的複雑さと完全性、およびパズルへの応用) 今井 浩 コンピュータ
科学
page top


大学院 情報理工学系研究科 お問い合せ先 東京大学