ネット学習教材 - ドキュメント - SUGSI
Changes集合論中村論理学の知識をベースにして数学の構造を理解し、集合、写像の概念を学ぶ集合論演習師玉公理的集合論を題材に，Mizarと呼ばれる数学証明の自動チェックシステムを用いて,証明法についての演習を行うコンピュータネットワーク山崎コンピュータネットワークの基本的考え方を学ぶ・OSI７階層モデル・通信方式・同期方式・データ伝送制御(ポーリング,トークン,CSMA/CD)・誤り制御・プロトコル(基本型データ伝送制御手順,HDLC)交流理論基礎と実験中村交流回路の知識はコンピュータのインターフェースや伝送系を考えるときに必須のものです.ここでは最低限の知識の習得と、それに伴う実験をしてもらいます. ・交流と複素数による表現・コンデンサーと交流・コイルと交流・各種波形と過渡現象Mizar5-基本群と不動点定理-師玉Mizar3の準備のもとに，基本群や２次元の不動点定理を題材に，位相数学
パラメトロン計算機
私は暦が好きなので, Shakespeareの劇を読んでいても「暦」の文字があると立ち止ってしまう. 例えば, 誰でも思い出すであろう「夏の夜の夢」3幕1場で, 6人の職人が森の中で芝居の稽古をする場面: スナウト おれたちが芝居をやる晩に月は出るのか? ボトム 暦だ, 暦だ! 今年一年の暦を見て, 月が出るか調べるんだ, 月は出るか. クインス うん, その晩月は出る. (ここでの引用は, 私と同時代人である小田島さんの訳による.) 旧暦の国の人なら, 日付けで月のありなしは分る. 1日の前後は月出は夜明, 月入は夕方 8日の前後は月出は夜中, 月入は昼間 15日の前後は月出は夕方, 月入は夜明 22日の前後は月出は昼間, 月入は夜中 である. だから明治5年12月2日, 旧暦の最後の日は, 地球照で鎌のように細く光る三日月が 西の空にあったに違いない. 英国は, というかヨーロッパの殆
正方化長方形
Tne New Martin Gardner Mathematical Libraryの2冊目にSquaring the Squareという話題があった. 正方化正方形とでもいおうか. 正方形を相異る正方形で埋め尽す問題である. 同じ正方形で埋め尽すなら22が4とか33が9とかに分割すれば出来るが, 相異るとなると出来るかどうか不明である. 本書によると1936年頃, ケンブリッジ大学の4名の学生が挑戦したらしい. 周囲が正方形なら非常に困難だが, 相異る正方形で長方形を敷き詰めるのは, 比較的容易らしい. 下の図の左がその一例で, 横61, 縦69の長方形が相異る正方形で敷き詰めてある. 正方形の中の数が, 正方形の辺の長さで, 最小のは2と書いてある. こういう図形を正方化長方形(squared rectangle)という. 例えばこの上に61掛ける61の正方形, 横に69掛ける69の
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Google Code Archive - Long-term storage for Google Code Project Hosting.
