「情報学を創る」-科研プロジェクトがめざしたもの : 新しいソフトウェアの実現 -科研「情報学」プロジェクトA01柱を振り返って-