Changes集合論中村論理学の知識をベースにして数学の構造を理解し、集合、写像の概念を学ぶ集合論演習師玉公理的集合論を題材に，Mizarと呼ばれる数学証明の自動チェックシステムを用いて,証明法についての演習を行うコンピュータネットワーク山崎コンピュータネットワークの基本的考え方を学ぶ・OSI７階層モデル・通信方式・同期方式・データ伝送制御(ポーリング,トークン,CSMA/CD)・誤り制御・プロトコル(基本型データ伝送制御手順,HDLC)交流理論基礎と実験中村交流回路の知識はコンピュータのインターフェースや伝送系を考えるときに必須のものです.ここでは最低限の知識の習得と、それに伴う実験をしてもらいます. ・交流と複素数による表現・コンデンサーと交流・コイルと交流・各種波形と過渡現象Mizar5-基本群と不動点定理-師玉Mizar3の準備のもとに，基本群や２次元の不動点定理を題材に，位相数学

外国語を読む訓練は、読むことそのものの訓練 ― 〈検索〉＆〈会話〉教育は大学生をバカにするだけ。 2008年01月20日 ミクシィ（MIXI）でいちばん面白くないのは、思想系のコミュニティ（と思想系の読書レビュー）だ。 私は、自分の“得意な”分野については ― ミクシィの全会員１０００万人がよってかかってきても負けない分野については、一切、該当コミュニティには参加していない（本のレビューも出来るだけ避けるようにしている）。それらの記事を読み始めると腹が立ってきて、「身体に悪い」からだ。それに老婆心で一度でも口出しするとくだらない反応にまみれてもっと「身体に悪い」。 最近の若い連中（と言っても４０歳以下）は、本の読み方を知らない（なんて書き方を私もする年になった。老害かな）。 なぜか。 〈検索〉で本を読むようになってきたからだ。昔は、「訳者後書き」や「索引」をたどって本を読んだ気になっていた