大学の数学/物理を無料で学べるおすすめサイト・サービス6選 - プロクラシスト
高校生のほけきよ少年にとって、得られる大学以上の物理や数学の情報はwebサイトだけでした。 物理や数学の専門書って高いんですよね。あと、大きな本屋じゃないと取り扱っていない。 今ではamazonでいろいろな書籍が手に入るようになりましたが、高いしどんな内容がかかれているかは分からないので、買うのもためらわれます。 そこで今日は 好奇心溢れる高校生 お金はない、単位が危ない、やる気に溢れた大学生 社会人になってから物理や数学を趣味で始めたい人 たちのために、無料で大学以上の内容を学べるサイト/サービスを紹介します！ 1. 物理のかぎしっぽ 2. EMANの物理学 3. MITの物理学講義(Youtube) 4. 現代数学観光ツアー 物理のための解析学探訪 5. 数学：物理を学び楽しむために 6. 高校数学の美しい物語 まとめ ※ここでいう数学は「物理学のための数学」の範疇を超えません。 1.
数学・情報科学などに関する、面白くてためになるサイトとアプリ5つ - paiza times
Photo by Peter Morville こんにちは、谷口です。 みなさんはプログラミングや周辺知識の勉強でどんなサイトやアプリを使っていますか？ 最近、弊社のエンジニアたちから数学や情報科学などに関するちょっと楽しくて勉強になるサイトを聞いて、いろいろ見たり遊んだりしたら面白かったので、そんな感じのサイトやアプリを5つご紹介します。 息抜きにもなるので、疲れた時に覗くのもいいと思います。ぜひごらんになってみてください。 ◆ウンコード・マニア ウンコード・マニアは、他の人が創作したウンコードを鑑賞するのが目的のサイトです。味わい深いソースコードをたくさん鑑賞できるありがたいサイトです。ウンコードを憎んで人を憎まず…。 ◆PhotoMath iPhone版／Android版 数学の問題を撮影するとその答えと途中式などの解説まで教えてくれるアプリです。すごい…。数学を勉強しなおし中の方に
「存在論の方法としての言語分析」 - 飯田隆
I am a philosopher at Nihon University (Faculty of Humanities and Sciences). I work in the philosophy of language and logic. My current interests are developing a formal semantical theory for Japanese, and the ontology of types and tokens. After studying at the University of Tokyo and the University of Michigan, I taught at Kumamoto University (1978-1988), Chiba University (1988-1998), and Keio Un
selfref2006.dvi
∗ I 2 1 2 2 2 3 3 4 5 5 7 6 8 II 11 1 11 2 12 3 13 4 14 5 15 6 — 16 ∗ 2002 8 5 8 2006 5 2007 8 Soto-Andrade Varela 1984 1 Part I 1 Russell, B.A.W., 1872-1970 ( ) X ∈ X X M 1 M M M ∈ M M M M M ∈ M M 2 Cantor, G., 1845-1918 1 X 2X X u t X m : 2X → X X R R = {m(A) | A ⊆ X, m(A) 6∈ A} m(R) R m(R) ∈ R R m(A) 6∈ A A ⊆ X m(R) = m(A) m R = A m(R) 6∈ R m(R) 6∈ R R m(R) ∈ R 1 M 2 1 1 ( ) 3 1 2 X X X XX X u
Combinatory Logic (Stanford Encyclopedia of Philosophy)
First published Fri Nov 14, 2008; substantive revision Mon Nov 16, 2020 Combinatory logic (henceforth: CL) is an elegant and powerful logical theory that is connected to many areas of logic, and has found applications in other disciplines, especially, in computer science and mathematics. CL was originally invented as a continuation of the reduction of the set of logical constants to a singleton se
The Church-Turing Thesis (Stanford Encyclopedia of Philosophy)
First published Wed Jan 8, 1997; substantive revision Mon Dec 18, 2023 The Church-Turing thesis (or Turing-Church thesis) is a fundamental claim in the theory of computability. It was advanced independently by Church and Turing in the mid 1930s. There are various equivalent formulations of the thesis. A common one is that every effective computation can be carried out by a Turing machine (i.e., by
写像
■写像の定義 集合Xのおのおのの要素が，ある対応によって，集合Yの要素に1つずつ定まるとする．このある対応をXからYへの写像という．この写像を f とすると，写像 f は， f:X→Y または， X → f Y と表す．Xのある要素 x に対しては，Yの要素がただ1つだけ対応する．このYの要素を y とすると， y を写像 fによる x の像といい， f( x ) で表す． x と y の関係を f を使って表すと y=f( x ) となる． 写像の内，数の集合から数の集合への写像を普通関数という． ■写像に関する用語 写像の定義域と値域，1対1の写像，写像の合成，逆写像 ホーム>>カテゴリー別分類>>その他>>写像 最終更新日 2018年3月9日
KIT数学ナビゲーション
数学ナビゲーションについて KIT数学ナビゲーションでは，高校数学と大学1，2年次に学ぶ数学の内容が中心になっています。特に、基本となる数学の公式を整理して掲載しているので、数学の辞書のように利用していただくと便利です。また、問題を解くためのノウハウも掲載しているので、どのように問題をといたらいいかわからない時にご利用ください。数学の基礎的な内容が中心になるので、本学を目指す高校生にとっても参考になります。 今後、さらに内容を充実させてきます。 作成スタッフ 動画配信 周辺知識ネットワークグラフ 数学ナビゲーションは，STEMナビゲーションのコンテンツの1つで、STEMナビゲーションには他に物理ナビゲーションと工学ナビゲーションがあります．これらのコンテンツの知識を記載した各ページはハイパーリンクで関連付けられています．その様子を示したのが下の周辺知識ネットワークグラフです．水色は数学の知
Microsoft PowerPoint - ll2008.ppt
千年の言語？ A Thousand-Year Language? 住井 英二郎 Eijiro Sumii あんた誰？ Who am I? z いわゆるプログラミング言語「理論」の 研究者（大学准教授）です – ML（SML, OCaml）とかλ計算とか教えたり、 – いわゆる「型理論」とかプログラム等価性 とか研究しています – PerlとかRubyとか開発していません z すみません… � Academic researcher on programming language “theory” – Not developing Perl or Ruby (sorry...) 何でここにいるの？ Why am I here? z 趣味でMinCamlを作ったため（多分） – MinCamlって何？ ⇒ OCamlサブセットの教育用コンパイラ – OCamlって何？ ⇒ 関数型言語MLの方言
計算の理論
内容詳細 計算の理論とはコンピュータの動作の普遍的な原理に関する数学である．本書はこの理論の本格的な内容を，仮想的なモデルではなく現実のC言語を使用してわかりやすく正確に説明する教科・参考書である． 第1章 導入 1.1 一番大切な定義 1.2 自然数,表記の約束 1.3 部分関数 1.4 関数プログラム 1.5 現実のC言語との相違 1.6 再び,一番大切な定義 1.7 計算の理論の概観 第1章の章末問題 第2章 ジャンププログラム 2.1 準備 2.2 ジャンププログラム 2.3 ジャンププログラムへの書換え 2.4 特定形プログラム 第2章の章末問題 第3章 万能関数 3.1 自然数のペアのコード化 3.2 自然数の有限列のコード化 3.3 ジャンププログラムのコード化 3.4 万能関数 第3章の章末問題 第4章 計算可能・不可能の境界付近 4.1 対角線論法 4.2 停止問題の決定
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://www.jstage.jst.go.jp/article/kisoron1954/34/2/34_2_91/_pdf
http://nanotsu.ait.kyushu-u.ac.jp/wp-content/uploads/2016/05/FM%E3%82%BC%E3%83%9F0512watanuki.pdf
集合
http://www.math.chs.nihon-u.ac.jp/~ichihara/Labo/Notes/2012/3rd/0516Kiyota.pdf
https://www.jstage.jst.go.jp/article/sugaku/66/1/66_0661078/_pdf
2.8 多価関数
https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=6089&item_no=1&attribute_id=1&file_no=1
https://www.kurims.kyoto-u.ac.jp/~cs/cs2015_hasegawa.pdf
無限項書き換えシステムにおける性質に関する考察 (代数と言語のアルゴリズムと計算理論)
http://aiweb.cs.ehime-u.ac.jp/~ninomiya/archive/infomath/im1-7.pdf