CiNii 論文 -  運転停止エスカレータに乗込む際の潜在的運動制御 : 違和感の原因を探る http://ci.nii.ac.jp/naid/110006163679

@yamashitam 高階の算術についても、何らかの意味で「有限的」な手法にで無矛盾性を証明することは出来ないか、というのが証明論の人達が取り組んでいる大きな問題の一つであったりします。この辺りの話は新井先生のPDFに詳しいです https://t.co/uCYxiqIgkc

ややこれっぽい話 → 感染症流行予測におけるネットワーク構造の影響分析 http://t.co/rpUJU7Pp #wakate2013w