[B! math] kentoshoのブックマーク

オンラインで入手できる数理論理学・数学基礎論のテキスト

オンラインで入手できる数理論理学・数学基礎論のテキスト数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。入門的概説論理一般高階論理と型理論直観主義論理コンビネータとラムダ計算時相論理および時制論理様相論理適切さの論理自然言語の論理空間論理モデル理論安定性理論無限論理計算可能性理論および再帰理論集合論 pcf理論記述集合論実数の集合論選択公理強制法と内部モデル連続体仮説 NF 証明論と構成的数学順序数解析算術の体系と不完全性証明可能性論理線形論理構成的数学代数的論理と圏論ブール代数普遍代数量子論理圏論歴史入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学講義ノート（2013年度版）」． St

kentosho 2016/03/23

オンラインの数学テキストいろいろ

リンク

巨大数論

単行本電子書籍（PDF版） 2018年10月13日 2版2刷発行正誤表 Q&A POD個人出版アワード窓の杜賞受賞！大きな数を考えます。ただひたすら、大きな数について考える本。巨大数を作ってその大きさを評価するための巨大数論（グーゴロジー）の解説書。 >>> 続きを読む ------------------ ●巨大数とは億：100000000 兆：1000000000000 無量大数：1の後に0が68個続く数グーゴル：1の後に0が100個続く数グーゴルプレックス：1の後に0がグーゴル個続く数想像も絶する大きな有限の数が巨大数である。全宇宙の物質をすべてインクに変えて1000...と書いても、グーゴルプレックスには届かない。このように果てしなく大きいグーゴルプレックスも、巨大数論では入門レベルの大きさの数である。 ------------------ ●本書の構成

kentosho 2014/02/07

巨大数論についてのPDFがタダで落とせるページ

リンク

GNUPLOT、MaTX関連のリンク集 - とね日記

理数系ネタ、パソコン、フランス語の話が中心。量子テレポーテーションや超弦理論の理解を目指して勉強を続けています！ GNUPLOTを使えばグラフ作成は思いのままだが、このようなGIFアニメーションも（比較的）簡単に作ることができる。POV-Rayと組み合わせて使えば表現力はさらに増す。 GNUPLOT+POV-Rayで作ったGIFアニメーション GNUPLOTで作ったGIFアニメーションこの記事は自分のためのリンク集。ご自由にお使いください。 GNUPLOT関連： GNUPLOT公式ページ（英語） http://gnuplot.info/ GNUPLOT全般 http://t16web.lanl.gov/Kawano/gnuplot/index.html GNUPLOTマニュアルページ http://lagendra.s.kanazawa-u.ac.jp/ogurisu/manuals/

kentosho 2012/05/07

gnuplotで書いた3Dを綺麗なレンダリングされた画像に！

リンク

■わぼろぐ - スティーブン・ウルフラム「万物の理論を計算する」

kentosho 2012/04/24

Mathematica愛用者だけれど、ウルフラムって人も凄い野心を実行に移す人だな。しかし、Mathematicaが弦理論や数理物理などを理解する日はとても遠い気がする。既に良きパートナーではあるけれども。

リンク

MathWorks 日本 - Webカメラで解く数独 - MATLAB - デモ

このビデオについて:MATLABを使ってWebカメラで撮影した数独パズルを解き、リアルタイムに動画上に回答を表示するためのアルゴリズムについて解説します。「数独(SUDOKU)」は二コリの日本における登録商標です。

kentosho 2012/04/13

これ、すごいよなぁ。一家に一ライセンスMatlabが欲しくなる。

math
matlab

リンク

http://www.iasri.res.in/webhadamard/

kentosho 2012/01/06

アダマール行列を作ってくれるスクリプト

リンク

grossman - The Erdös Number Project

This is the website for the Erdös Number Project, which studies research collaboration among mathematicians. The site is maintained by Jerry Grossman, Professor of Mathematics Emeritus at Oakland University. Please address all comments, additions, and corrections to Jerry at gros [email protected]. Erdös numbers have been a part of the folklore of mathematicians throughout the world for many years.