当サイト、Codex 日本語版は今後積極的な更新は行わない予定です。後継となる新ユーザーマニュアルは、https://ja.wordpress.org/support/ にあります。 万が一、当サイトで重大な問題を発見した際などは、フォーラムや WordSlack #docs チャンネルでお知らせください。</p>
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト(講義ノート、サーヴェイ、モノグラフ等)のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫,「数理論理学(命題論理と述語論理)」.[PDF] 嘉田勝,「数理論理学 講義ノート(2013年度版)」. St
ADVERTISEMENT Ready to head on your MSC cruise adventure? Here are some tips on packing for a cruise vacation so you can really enjoy yourself! Packing for an MSC cruise can be tricky, but with a little bit of preparation, it can be easy to have the trip of a lifetime. Planning Your Cruise Before […]
citeulike is a free service for managing and discovering scholarly references
面倒な文献管理と参考文献リスト作成はEndNoteにおまかせ 文献収集・文献管理機能 文献情報・フルテキストPDFをカンタン取得・管理。 キーワードを検索するだけで、目的の文献がすぐ見つかる。 論文作成支援・引用機能 複雑な操作なし!ドラッグ&ドロップで参考文献リストを瞬間作成。 投稿先の変更も雑誌名を選ぶだけで一発変換。 同期機能 職場、自宅、外出先、iPad、iPhoneのどこからでも自分のライブラリにアクセス。 共同研究や研究室内での文献共有に最適なライブラリ共有。 EndNote 21の新機能はこちら >> 文献収集・文献管理機能 書誌情報とフルテキストPDFを取り込んで一元管理 手入力は不要 書誌情報、PDFの取り込み・取得もラクラク PubMedや医中誌Web、Google Scholar、J-STAGE、CiNiiなどのオンラインデータベースから著者名・雑誌名・アブストラクト
MozillaのJavaScriptドキュメントとECMA Scriptの言語仕様を、まとめてHTMLヘルプ(chm)形式にコンパイルしました。Windows用です。 (2008-05-27 追記) OS XならChemrがいいみたいです。(参考) http://cid-57544de2edadf883.skydrive.live.com/self.aspx/jsref/jsref.chm *1 以下のドキュメントが入っています。 Core JavaScript 1.5 リファレンス http://developer.mozilla.org/ja/docs/Core_JavaScript_1.5_Reference Core JavaScript 1.5 ガイド http://developer.mozilla.org/ja/docs/Core_JavaScript_1.5_Guide G
Filed: Mon, Apr 30 2007 under Programming|| Tags: reference javascript numbers number math Javascript is not a typed language so it should come as no surprise that there are no specific integer or floating-point types, no short, long, byte, double, or any other type other languages use to define numbers. All numbers in Javascript are 64bit (8 bytes) floating point numbers which yields an effective
単語の末尾へ カーソル位置が単語の途中の場合はその単語の末尾 カーソルが単語末尾なら次の単語の末尾 カーソルが行末なら次行先頭の単語の末尾
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く