kangaroo/学会発表ほか - PukiWiki

2010年度 学会発表リスト

田中久治,溝口佳寛,熊原啓作:「初等幾何学定理の証明におけるRegular Chainの有効性の評価」:第19回日本数式処理学会大会,2010/6/11~2010/6/13
田中久治,岡崎泰久,渡辺健次:「代数的手法による証明の自動化を目指した初等幾何学における関係式の方程式化」:第35回 教育システム情報学会 全国大会,2010/8/26~2010/8/28
Yasuhisa Okazaki, Ryouhei Iwahashi, Hisaharu Tanaka, Kenzi Watanabe, Makiko Takenaka: Development of a Game Type Food Education System Using a Cell Phone Camera , Proceedings of the 18th International Conference on Computers in Education. Putrajaya, Malaysia,2010(Accepted)


トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSSPDF
Last-modified: 2010-09-24 (金) 17:00:09 (3100d)