IOTAプログラミング・システムとその他の日本の高等学術研究に関する報告(その1)