• プロジェクト
• 論文
• メンバー
• 写真
• 研究室紹介
• 所在地

English

学位論文

2023

FPGA 上のグラフ処理のための頂点アクセス並列化を支援する HLS 向けフレームワーク

• 三冨 秀和
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2023 年 3 月.
• Get Copy

2022

ソースコード内にコメントを挿入する際に適切なコメントを例示するシステムの開発

• 白石 誠
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2022 年 3 月.
• Get Copy

静的型付き言語における動的型生成に起因するエラーメッセージの改善

• 横井 駿平
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2022 年 3 月.
• Get Copy

2021

高水準動的型付け言語間 FFI における Type Description Helper の構築

• 池崎 翔哉
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2021 年 3 月.
• Get Copy

Flash メモリを併用するスモールデバイス向けメモリ管理システム

• 井上 曜
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2021 年 3 月.
• Get Copy

教師ラベルなし単言語学習データのみでの cross-language コードクローン検出の試み

• 劉 宇澤
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2021 年 3 月.
• Get Copy

2020

計算化学に向けたドメイン特化言語のための Rank 型の提案

• 西田 秀之
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2020 年 3 月.
• Get Copy

2019

無意識を表現に取り入れるアートプログラミングのための統合実行環境「Delevative」の開発

• 佐藤 輝年
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2019 年 3 月.
• Get Copy

プログラミング言語の文法獲得に向けた Skip-Gram モデルによる非終端記号の獲得

• 松永 智將
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2019 年 3 月.
• Get Copy

2018

遅延スレッドのために連結されたスタック領域のメモリ効率の改善

• 折笠 雄太朗
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2018 年 3 月.
• Get Copy

2017

トークン列の尤度計算に基づいたコーディングスタイルの誤り検知

• 小林 佑樹
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2017 年 8 月.
• Get Copy

メモリ管理用メタプログラムを効率よく動かすための Buffered Garbage Collection

• 山崎 徹郎
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2017 年 1 月.
• Get Copy

他の拡張構文との衝突の回避に留意した構文拡張機構 Erbs の開発

• 岩間 雄太
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2017 年 1 月.
• Get Copy

内部ドメイン固有言語の実行時情報を利用する書き換え機構の提案

• 長田 朋久
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2017 年 1 月.
• Get Copy

2016

有効範囲を既知のコールパスに限定することで安全に利用できる Ruby のためのクラス拡張 Method Seals

• 福室 嶺
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2016 年 1 月.
• Get Copy

2015

エージェントシミュレーションの並列化のための軽量な条件付きバリア同期の開発

• 夏 澄彦
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2015 年 1 月.
• Get Copy, Slides

PGAS 言語X10 の暗黙的な挙動を可視化するプロファイリングツールXAnalyzerの開発

• 板橋 晟星
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2015 年 1 月.
• Get Copy, Slides

Java 用ソースコード解析のためのドメイン専用言語 Queream の開発

• 小川 秀典
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2015 年 1 月.
• Get Copy, Slides

2014

グラフ解析プログラム向けのオブジェクトのメモリレイアウトを整列化できるJavaコンパイラの開発

• 汐田 徹也
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2014 年 1 月.
• Get Copy, Slides

処理の差異と順序が記述可能な並列コレクション向け Java 言語拡張の提案

• 宗 桜子
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2014 年 1 月.
• Get Copy, Slides

適用するメソッドを切り替えることで破壊的クラス拡張で生じるメソッド衝突を避けられるモジュール機構Method Shells

• 竹下 若菜
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2014 年 1 月.
• Get Copy, Slides

分割された計算空間の正しさを実行ログを用いて検査するユニットテストフレームワークの提案

• 穂積 俊平
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2014 年 1 月.
• Get Copy, Slides

2013

利用可能性の高い仮想計算機転送技術

• 高橋 一志
• 博士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2013 年 2 月.
• Get Copy

差分対応付けによる多言語文書同期化支援システム

• コ モンテン
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2013 年 1 月.
• Get Copy

データ圧縮に基づく多言語混合文書の言語に関する分割

• 山口 洋
• 修士論文, 東京大学大学院 情報理工学系研究科 創造情報学専攻, 2013 年 1 月.
• Get Copy

静的型付け言語における汎用的なユーザ定義演算子を含む式の構文解析手法

• 市川 和央
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2013 年 2 月.
• Get Copy, Slides

アスペクト指向言語のための視点に応じた編集を可能にするツール

• 大谷 晃司
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2013 年 2 月.
• Get Copy, Slides

実行速度を考慮した実装法による細粒度でのコード再利用のためのメソッド内メソッド

• 平松 俊樹
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2013 年 2 月.
• Get Copy, Slides

2012

Reserved member 方式によるメンバーの実行時追加機構の提案

• 早船 総一郎
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2012 年 2 月.
• Get Copy, Slides

Kide: 開発環境による対話的なモジュール分割と文書作成の支援

• 金澤 圭
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2012 年 2 月.
• Get Copy, Slides

統合開発環境によって表現された言語機構によるコードのモジュール化

• 寺本 裕基
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2012 年 2 月.
• Get Copy, Slides

仮想マシンを用いた IDS オフロードのための資源管理機構

• 新井 昇鎬
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2012 年 2 月.
• Get Copy, Slides

静的型付きオブジェクト指向言語のための暗黙的に型定義されるレコード

• 大久保 貴司
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2012 年 2 月.
• Get Copy, Slides

HPC向け実行時言語変換器WootinJのバイトコード対応と表現力の拡張

• 穂積 俊平
• 学士論文, 東京工業大学 理学部 情報科学科, 2012 年 2 月.
• Get Copy, Slides

メソッドの計算順序を関心事として分離できる言語とそのHPCへの応用

• 宗 桜子
• 学士論文, 東京工業大学 理学部 情報科学科, 2012 年 2 月.
• Get Copy, Slides

モジュール機構method sheltersの意味論と効率の良い実装方法

• 竹下 若菜
• 学士論文, 東京工業大学 理学部 情報科学科, 2012 年 2 月.
• Get Copy, Slides

2011

XenによるゲストOSの解析に基づくパケットフィルタリング

• 安積 武志
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2011 年 2 月.
• Get Copy, Slides

プログラムの差分記述を容易に行うためのレイヤー機構付きIDEの提案

• 松本 久志
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2011 年 2 月.
• Get Copy, Slides

部分的再ロードによる Java プログラムの再起動の高速化手法

• 別役 浩平
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2011 年 2 月.
• Get Copy, Slides

プログラムの織り込み関係を可視化するアウトラインビューの提案と実装

• 大谷 晃司
• 学士論文, 東京工業大学 理学部 情報科学科, 2011 年 2 月.
• Get Copy, Slides

細かい粒度でコードの再利用を可能とするメソッド内メソッドの Java 言語への導入

• 平松 俊樹
• 学士論文, 東京工業大学 理学部 情報科学科, 2011 年 2 月.
• Get Copy, Slides

内部ドメイン専用言語支援のための型に連動した字句・構文ルールの変更機構

• 市川 和央
• 学士論文, 東京工業大学 理学部 情報科学科, 2011 年 2 月.
• Get Copy, Slides

2010

分散アスペクトの一貫性の保持と停止時間の短縮を考慮した動的織り込み手法
(Coordinated Distributed Dynamic Weaving with Minimum Pause Time)

• Satoshi MORITA (森田 悟史)
• A Master's Thesis, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, February 2010.
• Get Copy, Slides

暗黙的に型付けされる構造体の Java 言語への導入

• 大久保 貴司
• 学士論文, 東京工業大学 理学部 情報科学科, 2010 年 2 月.
• Get Copy, Slides

関心事ごとに視点を切り替えてプログラムを編集できる統合開発環境の提案と実装

• 金澤 圭
• 学士論文, 東京工業大学 理学部 情報科学科, 2010 年 2 月.
• Get Copy, Slides

分散動的アスペクト指向言語のアラウンドアドバイスの実装方法

• 早船 総一郎
• 学士論文, 東京工業大学 理学部 情報科学科, 2010 年 2 月.
• Get Copy, Slides

2009

複数OSに対応した仮想マシン間プロセススケジューリング

• 田所 秀和
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2009 年 8 月.
• Get Copy, Slides

横断的関心事を扱うためのオブジェクト指向言語の拡張

• 今吉 竜之介
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2009 年 2 月.
• Get Copy

Web アプリケーションのためのモジュール化のための言語

• 内河 綾
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2009 年 2 月.
• Get Copy

ユーザ毎にカスタマイズ可能な Web アプリケーションの効率のよい実装方法

• 別役 浩平
• 学士論文, 東京工業大学 理学部 情報科学科, 2009 年 2 月.
• Get Copy, Slides

セキュリティ機構のオフロードを考慮した仮想マシンのスケジューリング

• 新井 昇鎬
• 学士論文, 東京工業大学 理学部 情報科学科, 2009 年 2 月.
• Get Copy, Slides

統合開発環境のためのプログラミング言語拡張フレームワーク

• 松本 久志
• 学士論文, 東京工業大学 理学部 情報科学科, 2009 年 2 月.
• Get Copy, Slides

2008

ポータブルなJITコンパイラを開発するための使いやすいバックエンド

• 栗田 洋輔
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2008 年 2 月.
• Get Copy, Slides

SAccessor:デスクトップPCのための安全なファイルアクセス制御システム

• 滝澤 裕二
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2008 年 2 月.
• Get Copy, Slides

同期処理のモジュール化を可能にするアスペクト指向言語

• 赤井 駿平
• 学士論文, 東京工業大学 理学部 情報科学科, 2008 年 2 月.
• Get Copy, Slides

Xen によるゲスト OS の監視に基づくパケットフィルタリング

• 安積 武志
• 学士論文, 東京工業大学 理学部 情報科学科, 2008 年 2 月.
• Get Copy, Slides

同期的にアドバイスを活性化できる分散動的アスペクト指向システム

• 森田 悟史
• 学士論文, 東京工業大学 理学部 情報科学科, 2008 年 2 月.
• Get Copy, Slides

2007

アプリケーションに応じた AOP による高速化が可能な永続システム

• 青木 康博
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2007 年 2 月.
• Get Copy, Slides

アスペクト指向言語による例外処理の記述方法の改善

• 熊原 奈津子
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2007 年 2 月.
• Get Copy, Slides

アスペクト指向言語のための独立性の高いパッケージシステム

• 今吉 竜之介
• 学士論文, 東京工業大学 理学部 情報科学科, 2007 年 2 月.
• Get Copy, Slides

永続システムのためのアスペクト指向言語

• 内河 綾
• 学士論文, 東京工業大学 理学部 情報科学科, 2007 年 2 月.
• Get Copy, Slides

開発者との対話を活かした横断的構造の表現

• 戸部 敦
• 学士論文, 東京工業大学 理学部 情報科学科, 2007 年 2 月.
• Get Copy, Slides

2006

アスペクト指向プログラミングと Dependency Injection の融合

• 石川 零
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2006 年 2 月.
• Get Copy, Slides

統合開発環境のためのアスペクト指向システム

• 薄井 義行
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2006 年 2 月.
• Get Copy, Slides

J2EEアプリケーションにおけるアプリケーションレベルスケジューリング

• 日比野 秀章
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2006 年 2 月.
• Get Copy, Slides

実行中のプログラムの振舞いを安全に拡張できるアスペクト指向システム

• 栗田 洋輔
• 学士論文, 東京工業大学 理学部 情報科学科, 2006 年 2 月.
• Get Copy, Slides

仮想計算機を用いたOSを介さない安全なファイルアクセス制御

• 滝澤 裕二
• 学士論文, 東京工業大学 理学部 情報科学科, 2006 年 2 月.
• Get Copy, Slides

アスペクトによるモジュール拡張を強調したアウトラインビューア

• 堀江 倫大
• 学士論文, 東京工業大学 理学部 情報科学科, 2006 年 2 月.
• Get Copy, Slides

2005

過負荷時のWebアプリケーションの性能劣化を改善するSession-level Queue Scheduling

• 松沼 正浩
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2005 年 2 月.
• Get Copy, Slides

A Dynamic Aspect Oriented Kernel Profiler for Ease of Use
(動的アスペクト指向に基づいた使いやすいカーネルプロファイラ)

• Yoshisato YANAGISAWA (柳澤 佳里)
• A Master's Thesis, Department of Mathematical and Computing Sciences, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, Jan. 2005.
• Get Copy, Slides

既存Javaプログラム向け分散化支援システムの開発

• 須永 豊
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2005 年 2 月.
• Get Copy, Slides

アプリケーション依存の先読みが可能なO/Rマッピングフレームワーク

• 青木 康博
• 学士論文, 東京工業大学 理学部 情報科学科, 2005 年 2 月.
• Get Copy, Slides

状況に応じて適切な例外処理が行なえるアスペクト指向分散環境実験の支援ツール

• 熊原 奈津子
• 学士論文, 東京工業大学 理学部 情報科学科, 2005 年 2 月.
• Get Copy, Slides

複数個の Joinpoint の集合を対象とした Pointcut を記述可能なアスペクト指向言語

• 竹内 秀行
• 学士論文, 東京工業大学 理学部 情報科学科, 2005 年 2 月.
• Get Copy, Slides

2004

感性を考慮したジョブスケジューリング

• 栗田 亮
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2004 年 2 月.
• Get Copy, Slides

豊富な情報を基にした pointcut を記述できるアスペクト指向言語

• 中川 清志
• 修士論文, 東京工業大学大学院 情報理工学研究科 数理・計算科学専攻, 2004 年 2 月.
• Get Copy, Slides

大容量 XML 文書のデータ更新が可能な XML 編集ライブラリ

• 石川 零
• 学士論文, 東京工業大学 理学部 情報科学科, 2004 年 2 月.
• Get Copy, Slides

アスペクト指向を利用してデバッグコードを挿入できるソフトウェア開発環境

• 薄井 義行
• 学士論文, 東京工業大学 理学部 情報科学科, 2004 年 2 月.
• Get Copy, Slides

過負荷時の分散ソフトウェアの性能劣化を改善するスケジューリングの提案

• 日比野 秀章
• 学士論文, 東京工業大学 理学部 情報科学科, 2004 年 2 月.
• Get Copy, Slides

ソケットの拡張による Java 用分散ミドルウェアの高信頼化

• 松田 麻里
• 学士論文, 東京工業大学 理学部 情報科学科, 2004 年 2 月.
• Get Copy, Slides

2003

実行時の情報を用いてプロセッサ間の通信を最適化するコンパイラ

• 横田 大輔
• 博士論文, 筑波大学 工学研究科 電子・情報工学専攻, 2003 年 3 月.
• Get Copy, Slides

他のプロセスにあたえる影響が少ない実行時ミラーリングシステム

• 柳澤 佳里
• 学士論文, 東京工業大学 理学部 情報科学科, 2003 年 2 月.
• Get Copy, Slides

プログラムの意味構造と相互の関連性を意識した検索機能

• 沖 沙織
• 学士論文, 東京工業大学 理学部 情報科学科, 2003 年 2 月.
• Get Copy, Slides

安全性の高いセッション管理方式のServletへの導入

• 松沼 正浩
• 学士論文, 東京工業大学 理学部 情報科学科, 2003 年 2 月.
• Get Copy, Slides

ユビキタスコンピューティングのためのハンドオーバー機能付きRMIの実装

• 須永 豊
• 学士論文, 東京工業大学 理学部 情報科学科, 2003 年 2 月.
• Get Copy, Slides

2002

分散プログラミング用アスペクト指向言語

• 西澤 無我
• 卒業論文, 東京工業大学 理学部 情報科学科, 2002 年 2 月.
• Get Copy, Slides

タイムスタンプ付ストリーム I/Oによる音の実時間処理

• 栗田 亮
• 卒業論文, 東京工業大学 理学部 情報科学科, 2002 年 2 月.
• Get Copy, Slides

特定ユーザーのみが利用可能な仮想プライベート・ネットワーク

• 宇崎 央泰
• 卒業論文, 東京工業大学 理学部 情報科学科, 2002 年 2 月.
• Get Copy, Slides

Josh : バイトコードレベルでのJava用 Aspect Weaver

• 中川 清志
• 卒業論文, 東京工業大学 理学部 情報科学科, 2002 年 2 月.
• Get Copy, Slides

不要なデータを捨てながら移動するモバイルエージェント

• 木村 信真
• 卒業論文, 東京工業大学 理学部 情報科学科, 2002 年 2 月.
• Get Copy, Slides

Peer-to-Peerシステムにおける動的な木構造の生成による検索

• 柿原 聡
• 卒業論文, 東京工業大学 理学部 情報科学科, 2002 年 2 月.
• Get Copy, Slides

東京大学 情報理工学系研究科 創造情報学専攻 千葉滋研究室