研究・論文情報
研究・論文情報
主な研究トピック
並行・並列・分散システムの設計、 オペレーティングシステム、 計算機アーキテクチャ、 ファームウェア、 並列処理記述言語†、 言語処理系†、 記号処理†、 小型計算機上のシステム開発、 位置測定技術・位置情報利用システム、 その他よろずのプログラム作成
（小宮研の研究トピックは†がついたもの）
最近の学位論文
楊 光:
メモリリーク原因となる参照経路の作成箇所を特定可能なGCアサーション
眞田 龍史:
関数型言語の諸概念を取り入れたシェル
李志弘: インタプリタとコンパイラ生成コードの対比によるコンパイラ実行時環境理解支援ツール
西谷幸太郎: 値への追跡子付与を活用したデバッグ機構
石井朋実:
プログラム記述の違いによるプログラミング言語の性能差評価
北口大貴:
近年のCPUにおけるcdrコーディングの評価
小池柊間:
SVGとCSSによるWebアニメーションの制作支援ツール（久野研研究テーマ）
松村康一:
関数型リアクティブプログラミングのためのビジュアル開発環境の実装
関口 雄太:
アサーションの情報を取り入れた静的解析に基づくデバッグ支援ツールの開発
半澤 順一:
ごみ集めにおける自動ルート保護と手動ルート保護の併用手法
木戸 章紀:
TypeScript における型定義を切り替え可能な型検査補助ツールの実装
西谷 幸太郎:
参照不変性推論の結果を理解するためのヒントの生成手法
寺澤 哉門:
FFI をもつ Scheme インタプリタのための部分コンパイル方式コンパイラの構成法
金子 啓太:
Web ブラウザにおける Scheme 仮想機械の実装
甲地弘樹:
様々な実装方式の仮想機械の性能比較
関口 雄太:
タグ付きポインタを考慮した動的メモリ解析手法
柳 震:
ソース-to-C型トランスレータ向けデバッガの実装手法
藤田 竜一:
共有キャッシュメモリを有効活用するスレッドスケジューリング機構
関 湧大:
クラスタ内の計算機資源を統一的に扱うディレクティブの提案と変換器の実装
ゾリーグ ウンダラム:
多様な情報源を活用したアプリケーション用途の分類技法
李 明元:
ユーザのブラウジング習慣に基づく携帯端末でのWebページプリフェッチ技法
佐藤 江里子:
CMPにおけるラストレベルキャッシュの振舞いに関する調査と検討
熊谷 佑弥:
近距離無線通信を用いたエリア内在籍者の状態・所在提示システム
山本 峻丸:
「気付き」を誘起する忘れ物防止支援システム
吉原 大夢:
OSの管理者権限機構の改良によるユーザ環境移行手法の検討と実装
磯谷 俊明:
オフラインWebアプリケーションにおける事前データ取得の半自動化
工藤 朋哉:
対話型環境を持つ分散型スクリプト言語の設計と実装
鈴木駿介:
ロールベースのP2Pライブストリーミングアーキテクチャの研究
村井 栄王:
ロックとSTMを共存させた排他制御機構の提案
森中 翔太郎:
初学者と指導者のためのプレセンテーション作成支援環境
片桐 国建:
実行時情報を活用した第一級継続のオーバーヘッド削減手法
石田 峰文:
仮想メソッド呼出しを用いることによるプログラム難読化のオーバヘッド削減
神保 直幸:
ファイル同期機能を持つファイルシステムの設計と実装
若井 英之:
オンラインストレージを用いた分散SNSの設計と実装
中原 祥吾:
M2Mにおけるデバイスへの統一アクセス手法
酒井 慎平:
Bluetoothを用いた個人用仮想電話網の構築
金野 千顕:
遅延スイープ法におけるメモリアクセスの局所性改善
佐藤 寛之:
JavaScriptにおける動的情報流解析のソースコード変換による実装
永井 智大:
モバイルデバイスによる被災者捜索システム
蛭田 瑞生:
モバイルデバイスを用いた災害情報共有システム
西尾 信吾:
ブラウザを用いた複数ユーザ動画制御共有ツール
矢嶋 航:
スマートフォンを対象にした環境適応型マナーモードの自動設定機能の設計・実装
康 娜丹:
メモ化の適用範囲を拡張するプログラム変換器の設計と実装
高見澤 拓郎:
モバイルデバイス間における省電力を考慮したファイル同期方式
湯山 圭一:
実時間性を確保したハイブリッドOSの実装
荻山 温夫:
Schemeにおける動的ソフトウェア更新機構の設計と実装
奥村 祐気:
パケットの可読化に着目したプロトコル記述言語
立澤 正樹:
技術動向調査に基づいたセンサデバイスの省電力制御プログラム作成支援ツールの構築
三島 航:
ページ遷移を考慮したWebアプリケーション記述言語の設計と実装
川端 聖:
チャットルームにおけるユーザの特徴を用いたトピック抽出システム
冨田 有紀:
相手との関係に応じて情報開示を行う個人向けコミュニケータ
山下 剛:
既存のプログラミングツールを活用する共同開発環境の設計と実装
今井 祥子:
バイナリコードから脅威度を推定する脆弱性検出ツールの実装と評価
NGUYEN THI HOANG LIEN:
低価格カメラを使った探し物支援システムの設計と実装
豊田 義純:
ポインティング操作がキーボードのみで可能なWebブラウジングインタフェースの設計と実装
渡邊 隆造:
Linuxデバイスドライバのアーキテクチャ間移植に関する問題点の分類と静的解析による調査
新宮 澄夫:
継続の共有化による継続ベースWebサーバのメモリ使用量削減
山之井 啓泰:
Webアプリケーションのための動的適応可能な処理分担機構の設計と実装
黒澤 研吾:
ノードの稼働パターンを考慮したP2Pバックアップシステムの設計と実装
三樹 一貴:
CSEEGAIA:ユーザ提示画像を基にしたクリッカブル動画自動生成システム
三好 晴樹:
センサと扇風機群の配置に依存しない室温の動的制御システム
古川 潤:
社会ネットワークにおけるユーザの属性と振舞を用いたコミュニケーション支援システム
五十嵐 正浩:
携帯電話向けWebクリッピングシステムの設計と実装
濱 善幸:
イーサネットのみを利用した組込み計算機用カーネル開発システムの設計と実装
前澤 直洋:
ユーザの位置情報を利用したmoblog投稿・検索システムの設計と実装
光林 真:
リクエスタサイドから制御可能なWebサービスの分散型テスティングシステムに関する研究
藤田 昌平:
カーネル外スレッドetの適用範囲拡大のための追加機能の設計と実装
南野 久美子:
Webアプリケーションサーバの性能向上を目指した動作情報の動的解析とパラメータチューニング
明神 智之:
ネットワークを利用した組込み計算機向け開発用資源拡張システム
朝倉 理浩:
ユーザ情報に基づいたWeb検索支援システムの開発
和田 将:
円錐状の光を発する光源を用いた三次元ポインティングデバイスの製作と評価
崔 哲浩:
仮想マシン技術を用いて隔離されたプロセス監視制御システム
花田 智洋:
カーネル感染型有害プログラム検出システムの設計と実装
三浦 明平:
群集の移動情報に基づく最適経路導出法の提案と評価
仁平 幸子:
トラフィック観測に基づいたファイアウォールルール制御の自動化手法
小野 優介:
既存JAVAプログラムを透過的に活用できるモバイルエージェントシステムの設計と実装
佐々木 直志:
近隣端末間の相互保証による位置情報改ざん検知機構の設計と評価
富永 直樹:
加速度センサを使った自律位置同定機構の設計と評価
これ以前のものはこちらへ
論文リスト
[ 論文誌・学会発表 | 著書・翻訳書 | 技術文書・解説論文 ]
学会発表・論文誌
著書・翻訳書
技術文書・解説論文