Kusumoto Laboratory
  • リスト
  •  表 
  • LaTeX
  • BibTeX
List of works

国内会議(査読付き)
[1] 宮澤清介, 岡野浩三, 楠本真二 , "フォーマルアプローチの基本技術習得のための学習支援システムの試作," ソフトウェアエンジニアリング最前線2009, pages 69-74, 2009年9月. [SES2009_MiyazawaKiyoyuki.pdf]
研究会・全国大会等
[1] 井垣 宏, 楠本 真二, "ソフトウェアイノベーション先導のためのクラウドコンピューティングを対象とした教育プログラムの検討," 情報処理学会シンポジウムシリーズ ウィンターワークショップ2012・イン・琵琶湖, volume 2012, number 1, pages 19-20, 2012年1月.

Search

Tags

この検索内の頻出タグ: e-Learning:2 proof:1 formal:1 Axiom:1

2 件の該当がありました. : このページのURL : HTML

Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.246789 seconds.