*卒業論文 [#maa773f7]
**2013年度 [#sfbaee1b]
***博士 [#ddbc77cd]
-Verification Model and Approximation-Based Implementation of Information-Based Access Control
***卒業研究 [#xd990ef7]
-文書分類手法を用いた自然言語仕様からのプログラム部品自動選択
-ソースコード中の識別子の分析によるリファクタリング支援法の研究
***プロジェクト研究 [#cfb9b860]
-モデル検査器CPAcheckerを用いたCソースコードの誤り検出
**2012年度 [#x6c2c689]
***修士 [#zb654541]
-モデル検査器Java Pathfinderにおける実行トレース出力の改善
-デザインパターン検出ツールを用いた汎化関係の追加に基づくパターン適用可能箇所検出手法
***卒業研究 [#s731cdd0]
-LEDマトリクスを用いたアート作品のためのヴィジュアルプログラミング環境
-Webアプリケーションを対象とするモデル検査法の効率化に関する研究
-迷路を題材とした子ども用プログラミング学習ツールの開発
-Cプログラムを対象としたシェープ解析アルゴリズムの実装
***プロジェクト研究 [#q9444911]
-利用者への質問を用いた情報検索システムの検討
-モデル検査におけるGUIによる時相論理式入力方法の検討
**2011年度 [#df7b32a4]
***修士 [#vffc7396]
-フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案
-関数型プログラミング学習者のためのプログラミング支援システム
***プロジェクト研究 [#fc357f23]
-Java言語のためのタイル型プログラミング環境の開発
-与えられたDTDに適合するテスト用XML文書生成ツールの開発
**2010年度 [#sc3be5a4]
***修士 [#z4c8dcbb]
-検証結果に影響を与えない到達可能性検証用コード削減手法
-履歴ベースアクセス制御プログラムに対するモデル検査の高速化法
***卒業研究 [#ne805b8b]
-難読言語Malbolgeの逆コンパイル困難性に関する研究
-部分的なソースコードを入力とするデザインパターン検索手法の提案
***プロジェクト研究 [#h3f3b2d3]
-散布図を用いたレポート間の類似性の視覚化
-推論規則の適用順序に基づく数独問題の難易度算出
-LEGO Mindstorms RCXを用いたPID制御方式ライントレーサの製作
**2009年度 [#jfb95bd8]
***修士 [#h424e9d3]
-サービス競合を解消するプロセス分解を用いた家電機器連携サービス実現方法の提案
-情報流仕様に基づいたアクセス制御文の自動生成法
***卒業研究 [#o2e4ec36]
-アルゴリズム学習支援のための定理証明機能付きJavaプログラミング環境の開発
-Java経験者を対象とした関数型プログラムの学習支援のためのプログラミング環境の開発
***プロジェクト研究 [#s4b4eac1]
-クラスファイル編集による逆コンパイル防止法の実装
-分散仕様に基づく自動分散プログラム化ツールの開発
-人間の解き方に基づく数独問題の難易度の自動算出
**2008年度 [#w50a9333]
***卒業研究 [#q544b48f]
-フロー図に基づく仕様記述法および検証法の設計
-PDSモデル検査器を用いた履歴ベースアクセス制御プログラムの検証
***プロジェクト研究 [#ta69fd5a]
-段数制約付き最小全域木問題の計算複雑さ
-日本語V-gramを用いた日本語文書の類似性評価
-DPマッチング法によるソースコード間の類似性評価
-計算問題の途中式の誤りを検出するソフトウェアの作成
-配列構造の可視化によるプログラム動作可視化ツールの開発
**2007年度 [#ee2f3740]
***卒業研究 [#ieee8b3f]
-携帯電話機のみで操作できるタイルプログラム作成環境の開発
-日本語向けLZSS圧縮アルゴリズムの圧縮効率向上に関する研究
-通常のプログラムからアルゴリズムアニメーション表示プログラムを自動生成する方法に関する研究
