サクサク読めて、アプリ限定の機能も多数!
これは初めて見る。とりあえずブックマークしておく RT @hatebu ネット学習教材 - ドキュメント - SUGSI (97 users)
asari3 のブックマーク 2010/05/09 23:03
ネット学習教材 - ドキュメント - SUGSIこれは初めて見る。とりあえずブックマークしておく RT <a href="https://twitter.com/hatebu" target="_blank" rel="noopener nofollow">@hatebu</a> ネット学習教材 - ドキュメント - SUGSI (97 users)2010/05/09 23:03
これは初めて見る。とりあえずブックマークしておく RT <a href="https://twitter.com/hatebu" target="_blank" rel="noopener nofollow">@hatebu</a> ネット学習教材 - ドキュメント - SUGSI (97 users)
このブックマークにはスターがありません。 最初のスターをつけてみよう!
cai1.cs.shinshu-u.ac.jp2008/09/30
Changes集合論中村論理学の知識をベースにして数学の構造を理解し、集合、写像の概念を学ぶ集合論演習師玉公理的集合論を題材に,Mizarと呼ばれる数学証明の自動チェックシステムを用いて,証明法についての演習を...
589 人がブックマーク・30 件のコメント
\ コメントが サクサク読める アプリです /
これは初めて見る。とりあえずブックマークしておく RT @hatebu ネット学習教材 - ドキュメント - SUGSI (97 users)
asari3 のブックマーク 2010/05/09 23:03
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ネット学習教材 - ドキュメント - SUGSI
cai1.cs.shinshu-u.ac.jp2008/09/30
Changes集合論中村論理学の知識をベースにして数学の構造を理解し、集合、写像の概念を学ぶ集合論演習師玉公理的集合論を題材に,Mizarと呼ばれる数学証明の自動チェックシステムを用いて,証明法についての演習を...
589 人がブックマーク・30 件のコメント
\ コメントが サクサク読める アプリです /