Jump to main content

yr 〜
yr

Search results 7

Annual Report 2010(ASAI Kenichi)

Annual Report 2010(ASAI Kenichi)
Digital文書・図像類
ASAI, Kenichi, 淺井, 健一国立大学法人お茶の水女子大学2012-01国立大学法人お茶の水女子大学 Annual Report 2010 -個人別教育研究報告-p.18-19
Other Libraries in Japan
  • Subject Heading教育・教育学 部分継続 部分評価 自己反映言語 delimited continu...

Annual Report 2009(ASAI Kenichi)

Annual Report 2009(ASAI Kenichi)
Digital文書・図像類
ASAI, Kenichi, 淺井, 健一国立大学法人お茶の水女子大学2010-07国立大学法人お茶の水女子大学 Annual Report 2009 -個人別教育研究報告-p.18-19
Other Libraries in Japan
  • Subject Heading教育・教育学 部分継続 部分評価 自己反映言語 delimited continu...

Annual Report 2008(ASAI Kenichi)

Annual Report 2008(ASAI Kenichi)
Digital文書・図像類
ASAI, Kenichi, 淺井, 健一国立大学法人お茶の水女子大学2009-07国立大学法人お茶の水女子大学 Annual Report 2008 -個人別教育研究報告-p.320-321
Other Libraries in Japan
  • Subject Heading教育・教育学 部分継続 部分評価 自己反映言語 delimited continu...

Annual Report 2007(ASAI Kenichi)

Annual Report 2007(ASAI Kenichi)
Digital文書・図像類
ASAI, Kenichi, 淺井, 健一国立大学法人お茶の水女子大学2008-07-01国立大学法人お茶の水女子大学 Annual Report 2007 -個人別教育研究報告-p.26-27
Other Libraries in Japan
  • Subject Heading教育・教育学 モジュール部分継続 部分評価 自己反映言語

関数型言語による高信頼性プログラミング

関数型言語による高信頼性プログラミング
Digital文書・図像類
淺井, 健一, ASAI, Kenichi国立大学法人お茶の水女子大学2009-092009-2010　研究紹介集p.18-18
Other Libraries in Japan
  • Subject Heading教育・教育学 関数型言語 型システム プログラム理論 部分継続 信頼性

関数型言語による高信頼性プログラミング

関数型言語による高信頼性プログラミング
Digital文書・図像類
淺井, 健一, ASAI, Kenichi国立大学法人お茶の水女子大学2008-062008　研究紹介集p.20-20
Other Libraries in Japan
  • Subject Heading教育・教育学 関数型言語 型システム プログラム理論 部分継続 信頼性

関数型言語による高信頼性プログラミング

関数型言語による高信頼性プログラミング
Digital文書・図像類
淺井, 健一, ASAI, Kenichi国立大学法人お茶の水女子大学2007-09-012007　社会とのパートナーシップ　研究紹介集p.22-22
Other Libraries in Japan
  • Subject Heading情報学 関数型言語 型システム プログラム理論 部分継続 信頼性

Reached to the end of result.

RSS