14:44:28)追加された行はこの色です。削除された行はこの色です。ここは「論理と計算」に関するホームページです。[[日高>akiko]]ここは「論理と計算」に関するホームページです。ソフトウェアとハードウェアが計算機システムにおける車の両輪であることは言うまでもありません。した基礎づけの上にソフトウェアの新しい概念や方法が開発されなければなりません。豊かなものにする一つまり、ソフトウェア科学の確かな発展こそが必要だと考えられます。ドリームスパークは、マイクロソフトが世界で展開している学生支援プログラムです。