研究・論文情報

少しずつ更新中
[ トップページへ | 過去の学位論文一覧 | #研究トピック | #最近の学位論文 | #論文リスト ]
japanese / english

主な研究トピック

並行・並列・分散システムの設計、 オペレーティングシステム、 計算機アーキテクチャ、 ファームウェア、 並列処理記述言語†、 言語処理系†、 記号処理†、 小型計算機上のシステム開発、 位置測定技術・位置情報利用システム、 その他よろずのプログラム作成

(小宮研の研究トピックは†がついたもの)

最近の学位論文

2022年度

修士論文

李志弘:  インタプリタとコンパイラ生成コードの対比によるコンパイラ実行時環境理解支援ツール

卒業論文

近藤大地:  末尾呼び出し最適化を考慮したバックトレース
齊藤百香:  数値計算ライブラリ IFN の数値表現の改良と 合成演算の導入によるメモリ効率の改善(岩崎研研究テーマ)
神宮拓弥:  アセンブリ言語プログラムのレジスタ値の定義元表示ツール
豊田 亮:  クロージャ生成のメモ化による最適化
吉田昂太:  第一級関数に対応した表示的プログラムスライシング

2021年度

修士論文

西谷幸太郎:  値への追跡子付与を活用したデバッグ機構

卒業論文

眞田 龍史:  VM命令セットの違いによるスーパー命令の性能への影響調査
繁田 鈴之介:  SiekらによるC++テンプレートのインスタンス化意味論の実装
橋本 樹:  前処理による静的解析ツールSolhintの解析性能向上

2020年度

卒業論文

石井朋実:  プログラム記述の違いによるプログラミング言語の性能差評価
北口大貴:  近年のCPUにおけるcdrコーディングの評価
小池柊間:  SVGとCSSによるWebアニメーションの制作支援ツール(久野研研究テーマ)
松村康一:  関数型リアクティブプログラミングのためのビジュアル開発環境の実装

2019年度

修士論文

関口 雄太:  アサーションの情報を取り入れた静的解析に基づくデバッグ支援ツールの開発
半澤 順一:  ごみ集めにおける自動ルート保護と手動ルート保護の併用手法

卒業論文

木戸 章紀:  TypeScript における型定義を切り替え可能な型検査補助ツールの実装
西谷 幸太郎:  参照不変性推論の結果を理解するためのヒントの生成手法

2018年度

修士論文

寺澤 哉門:  FFI をもつ Scheme インタプリタのための部分コンパイル方式コンパイラの構成法

卒業論文

金子 啓太:  Web ブラウザにおける Scheme 仮想機械の実装
甲地弘樹:  様々な実装方式の仮想機械の性能比較

2017年度

卒業論文

関口 雄太:  タグ付きポインタを考慮した動的メモリ解析手法

2016年度

修士論文

柳 震:  ソース-to-C型トランスレータ向けデバッガの実装手法

2015年度

修士論文

藤田 竜一:  共有キャッシュメモリを有効活用するスレッドスケジューリング機構
関 湧大:  クラスタ内の計算機資源を統一的に扱うディレクティブの提案と変換器の実装
ゾリーグ ウンダラム:  多様な情報源を活用したアプリケーション用途の分類技法
李 明元:  ユーザのブラウジング習慣に基づく携帯端末でのWebページプリフェッチ技法

2014年度

修士論文

佐藤 江里子:  CMPにおけるラストレベルキャッシュの振舞いに関する調査と検討
熊谷 佑弥:  近距離無線通信を用いたエリア内在籍者の状態・所在提示システム
山本 峻丸:  「気付き」を誘起する忘れ物防止支援システム
吉原 大夢:  OSの管理者権限機構の改良によるユーザ環境移行手法の検討と実装
磯谷 俊明:  オフラインWebアプリケーションにおける事前データ取得の半自動化
工藤 朋哉:  対話型環境を持つ分散型スクリプト言語の設計と実装
鈴木駿介:  ロールベースのP2Pライブストリーミングアーキテクチャの研究

2013年度

修士論文

村井 栄王:  ロックとSTMを共存させた排他制御機構の提案
森中 翔太郎:  初学者と指導者のためのプレセンテーション作成支援環境
片桐 国建:  実行時情報を活用した第一級継続のオーバーヘッド削減手法
石田 峰文:  仮想メソッド呼出しを用いることによるプログラム難読化のオーバヘッド削減
神保 直幸:  ファイル同期機能を持つファイルシステムの設計と実装
若井 英之:  オンラインストレージを用いた分散SNSの設計と実装
中原 祥吾:  M2Mにおけるデバイスへの統一アクセス手法

2012年度

修士論文

酒井 慎平:  Bluetoothを用いた個人用仮想電話網の構築
金野 千顕:  遅延スイープ法におけるメモリアクセスの局所性改善
佐藤 寛之:  JavaScriptにおける動的情報流解析のソースコード変換による実装
永井 智大:  モバイルデバイスによる被災者捜索システム
蛭田 瑞生:  モバイルデバイスを用いた災害情報共有システム
西尾 信吾:  ブラウザを用いた複数ユーザ動画制御共有ツール

2011年度

修士論文

矢嶋 航:  スマートフォンを対象にした環境適応型マナーモードの自動設定機能の設計・実装
康 娜丹:  メモ化の適用範囲を拡張するプログラム変換器の設計と実装
高見澤 拓郎:  モバイルデバイス間における省電力を考慮したファイル同期方式

2010年度

修士論文

湯山 圭一:  実時間性を確保したハイブリッドOSの実装
荻山 温夫:  Schemeにおける動的ソフトウェア更新機構の設計と実装

2009年度

修士論文

奥村 祐気:  パケットの可読化に着目したプロトコル記述言語
立澤 正樹:  技術動向調査に基づいたセンサデバイスの省電力制御プログラム作成支援ツールの構築
三島 航:  ページ遷移を考慮したWebアプリケーション記述言語の設計と実装
川端 聖:  チャットルームにおけるユーザの特徴を用いたトピック抽出システム
冨田 有紀:  相手との関係に応じて情報開示を行う個人向けコミュニケータ

2008年度

修士論文

山下 剛:  既存のプログラミングツールを活用する共同開発環境の設計と実装
今井 祥子:  バイナリコードから脅威度を推定する脆弱性検出ツールの実装と評価
NGUYEN THI HOANG LIEN:  低価格カメラを使った探し物支援システムの設計と実装
豊田 義純:  ポインティング操作がキーボードのみで可能なWebブラウジングインタフェースの設計と実装
渡邊 隆造:  Linuxデバイスドライバのアーキテクチャ間移植に関する問題点の分類と静的解析による調査
新宮 澄夫:  継続の共有化による継続ベースWebサーバのメモリ使用量削減
山之井 啓泰:  Webアプリケーションのための動的適応可能な処理分担機構の設計と実装

2007年度

修士論文

黒澤 研吾:  ノードの稼働パターンを考慮したP2Pバックアップシステムの設計と実装
三樹 一貴:  CSEEGAIA:ユーザ提示画像を基にしたクリッカブル動画自動生成システム
三好 晴樹:  センサと扇風機群の配置に依存しない室温の動的制御システム
古川 潤:  社会ネットワークにおけるユーザの属性と振舞を用いたコミュニケーション支援システム

2006年度

修士論文

五十嵐 正浩:  携帯電話向けWebクリッピングシステムの設計と実装
濱 善幸:  イーサネットのみを利用した組込み計算機用カーネル開発システムの設計と実装
前澤 直洋:  ユーザの位置情報を利用したmoblog投稿・検索システムの設計と実装
光林 真:  リクエスタサイドから制御可能なWebサービスの分散型テスティングシステムに関する研究

2005年度

修士論文

藤田 昌平:  カーネル外スレッドetの適用範囲拡大のための追加機能の設計と実装
南野 久美子:  Webアプリケーションサーバの性能向上を目指した動作情報の動的解析とパラメータチューニング
明神 智之:  ネットワークを利用した組込み計算機向け開発用資源拡張システム
朝倉 理浩:  ユーザ情報に基づいたWeb検索支援システムの開発
和田 将:  円錐状の光を発する光源を用いた三次元ポインティングデバイスの製作と評価

2004年度

修士論文

崔 哲浩:  仮想マシン技術を用いて隔離されたプロセス監視制御システム
花田 智洋:  カーネル感染型有害プログラム検出システムの設計と実装
三浦 明平:  群集の移動情報に基づく最適経路導出法の提案と評価
仁平 幸子:  トラフィック観測に基づいたファイアウォールルール制御の自動化手法

2003年度

修士論文

小野 優介:  既存JAVAプログラムを透過的に活用できるモバイルエージェントシステムの設計と実装
佐々木 直志:  近隣端末間の相互保証による位置情報改ざん検知機構の設計と評価
富永 直樹:  加速度センサを使った自律位置同定機構の設計と評価

これ以前のものはこちら

論文リスト

[ 論文誌・学会発表 | 著書・翻訳書 | 技術文書・解説論文 ]

学会発表・論文誌

著書・翻訳書

技術文書・解説論文

Any comments can be E-mailed to <www [at-mark] spa.is.uec.ac.jp >
/ Return to the Top Page