ここは「論理と計算」に関するホームページです。
ソフトウェアとハードウェアが計算機システムにおける車の両輪であることは言うまでもありません。 そのソフトウェアの生産性や信頼性を向上させ、計算機システムを飛躍的に高度なものとするためには、 しっかりした基礎づけの上にソフトウェアの新しい概念や方法が開発されなければなりません。 そのためには、ソフトウェアの基礎理論を構築し、ソフトウェア工学を充実させ、人工知能や知識工学を 豊かなものにする一つまり、ソフトウェア科学の確かな発展こそが必要だと考えられます。
htmlinsert(): No such a htmlinsert variable, id, in the specified page.
↑↑ (要パスワード(ymken)) → (ymken)/2009/伝言板
1限(8:40-10:10), 2限(10:30-12:00), 3限(13:00-14:30), 4限(14:50-16:20), 5限(16:40-18:10)