NII SEEDS ('16)

信頼性の高いプログラムを容易に記述するための型エラーデバッグ手法

対馬 かなえ

小学校でプログラミングの授業が導入されたことが話題になるなど、プログラミングは特殊な技能ではなく、一般に広く使用される技術…


続きを読む

 
 

アーキテクチャ科学研究系

対馬 かなえ / TSUSHIMA Kanae  

対馬 かなえ