2012年度『コンピュータサイエンス入門』資料