オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
Webで数式を簡単に使う方法 | Okumura's Blog
以前Webで数式を書く方法について書いたが，今なら Google Chart Tools のAPIを使うほうが簡単。例： <img src="http://chart.apis.google.com/chart?cht=tx&chl=x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}" alt="" /> URL中に使えない文字は%16進2桁で表記する。例えばスペースは試した限りではそのまま使えたが用心するなら%20とする。詳しくはGoogleの解説 Mathematical (TeX) Formulas 参照。 問題点：ピクセルサイズの指定はできるが，標準の2倍の大きさにしたいという指定はできないみたい。
はてな民に確率の問題を出してみよう - Pashango’s Blog
こんにちは、今回は確率の話です。 以前、職場で余興として問題を出したのですが、ほぼ全員がこの問題を知りませんでした。 理系が多く集まる職場なので、意外にみんな知らないんだなぁと思ったのですが、今度はリテラシーの高い（と勝手に思っている）はてな民に問題を出したら、どうなるんだろうと純粋な好奇心が沸いてきました。 なお有名な問題ですので、答えを知っている方はあまりヒントを出さない方向で・・・ 問１ ティムはテレビのクイズ番組に出演し見事優勝をはたしました、優勝賞品の自動車をゲットするチャンスを得たのです。 司会者は言いました。 「ここにＡ、Ｂ、Ｃの３つのドアがあります。 １つのドアの後ろには自動車、それ以外の２つのドアの後ろにはヤギがいます。 ティムは１つのドアを選び、そのドアの中に自動車が入っていれば賞品をゲットできます。 もし、ヤギが入っていた場合はハズレです。 さぁティム、どのドアを選び
HITS, 主成分分析, SVD - naoyaのはてなダイアリー
ウェブグラフのリンク解析によるページの評価と言えば PageRank が著名ですが、もうひとつ Jon Kleinberg による HITS (Hyperlink-induced topic search)も有名です。最初の論文 Authoritative Sources in a Hyperlinked Environment は 1999年です。IIR の 21章で、この PageRank と HITS についての解説がありました。 HITS HITS はウェブページの評価に二つの軸を用います。一つが authority スコア、もう一つが hub スコアです。 例えば「Perl の情報が欲しい」という検索要求に対しては CPAN や 開発者である Larry Wall のホームページなどが重要度の高いページかと思います。これらのページは「Perl に関して信頼できる情報源」ということ
生活や実務に役立つ高精度計算サイト
2023/9/20 地図を利用した機能の提供を終了しました。 ご利用のお客さまにはご不便をおかけしますが、ご理解賜りますようお願い申し上げます。 （提供終了日 2023/9/11） 2023/7/3 ライブラリを追加しました。 野球のOPSの計算 2023/6/20 ライブラリを追加しました。 子供の反復横とびの平均値 2023/3/6 ライブラリを追加しました。 60歳以降働いた場合の年金増加額を計算 2023/2/16 ライブラリを追加しました。 磁束密度の換算 2023/2/9 ライブラリを追加しました。 角速度の換算 2023/1/27 ライブラリを追加しました。 税理士、司法書士等の報酬の源泉徴収税額を計算 2023/1/12 ライブラリを追加しました。 リフィル処方箋の日にち計算 2022/12/21 ライブラリを追加しました。 ポイント獲得時のお得な課金額は？ 2022/12
2008-03-07 - おまえにハートブレイク☆オーバードライブ
『インビテーション』原稿のためにジュンク堂にて新刊リスト（自作）を手に新書をひたすら読み潰していたら（経費的スペース的に全部買うわけにはいかないから本屋で一次選抜をするんですよ、何日か詰めて）、ブルーバックスの新刊に『算数オリンピックに挑戦』というのがあって、まあいちおう目をとおしておくかと棚に行くと、『入試数学 伝説の良問100』というタイトルの本が並べて置かれていた。ああそういやおれってば理系だったんじゃんとか思い出し（笑）、手に取ってパラパラめくったら、ものすごくナイスな問題を発見したのでメモってきた（笑）。1995年京大後期文系だそうです。こんなの。自然数の関数、をを7で割った余りによって定める。(1)すべての自然数に対してを示せ。(2)あなたの好きな自然数を1つ決めてを求めよ。そのの値をこの設問におけるあなたの得点とする。（強調引用者）小粋ですなあ。しかも、に適当な数を代入すると
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
