達人プログラマー 熟達に向けたあなたの旅（第2版）
達人プログラマー 熟達に向けたあなたの旅（第2版） David Thomas, Andrew Hunt(著), 村上雅章(訳) オーム社 3,520円 (3,200円+税) より良いプログラマになるための実践的アプローチ。先見性と普遍性に富んだ本書は、入門者には手引きとなり、ベテランでも読み直すたびに得るものがある、座右の一冊です。 関連サイト本書の関連ページが用意されています。 達人プログラマー 熟達に向けたあなたの旅（第2版） | Ohmsha内容紹介本書は、David Thomas and Andrew Hunt, The Pragmatic Programmer 20th Anniversary Edition (Addison Wesley, 2019）の日本語版です。 本書は、より効率的、そしてより生産的なプログラマーになりたいと願うソフトウェア開発者に向けて、アジャイルソフト
アブダクション - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "アブダクション" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年3月) アブダクション（逆行推論）（古代ギリシア語: ἀπαγωγή[注釈 1]、英: abduction, retroduction）とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は誘拐の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。 古くは
ヒュームの原理 - Wikipedia
ヒュームの原理（Hume's Principle、HPと略称される）とは、数Fsと数Gsの間に一対一対応（全単射）があるとき、FsとGsは等しいとする原理。ジョージ・ブーロス(George Boolos)によって命名された。ヒュームの原理は二階述語論理の考え方に沿って定式化できる。 ヒュームの原理はゴットロープ・フレーゲの数学の哲学において中心的役割を果たしている。フレーゲによれば、この原理およびそれに適合して定義された算術概念をもとにして、今日では二階算術(second-order arithmetic)と呼ばれているもののすべての公理が論理的必然として導かれることが証明される。このことの帰結がフレーゲの定理の名で知られるものであり、新論理主義の名で知られる数学の哲学を基礎づけている。 ヒュームの原理は、フレーゲの『算術の基礎』において、デイヴィッド・ヒュームの『人間本性論』第1巻第3部
実例によるPureScript
本書の内容についての注意事項この翻訳の原著である "PureScript by Example" は現在更新が途絶えており、この翻訳も古い内容のままになっています。そのため、本書の内容は最新の言語仕様に沿っておらず、サンプルプログラムの多くは最新の処理系ではコンパイルすることができません。変更のない部分については本書の内容も参考になりますが、もし本書を読み進める場合には十分ご注意ください。最新の情報については、purescript/documentation (英語) などを参考にしてください。 目次 はじめに 開発環境の準備 関数とレコード 再帰、マップ、畳み込み パターン照合 型クラス Applicativeによる検証 Effモナド キャンバスグラフィックス 外部関数インタフェース モナドの探求 コールバック地獄 テストの自動生成 領域特化言語 そのほかのフォーマット 原書(英語) 原
Read PureScript by Example | Leanpub
require('fs').readFile(sourceFile, function (error, data) { if (!error) { require('fs').writeFile(destFile, data, function (error) { if (!error) { console.log("File copied"); } }); } }); Libraries such as React and virtual-dom model views as pure functions of application state. Functions enable a simple form of abstraction which can yield great productivity gains. However, functional programming i
様相論理 - Wikipedia
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子と、「～は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同されやすい。 例えば「雪男は存在して
ゴットロープ・フレーゲ - Wikipedia
フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ（Friedrich Ludwig Gottlob Frege[2], 1848年11月8日 - 1925年7月26日）は、ドイツの哲学者、論理学者、数学者。現代の数理論理学、分析哲学の祖とされる。 バルト海に面したドイツの港町ヴィスマールに生まれる。母アウグステ・ビアロブロツキーはポーランド系。イェーナ大学で学び、その後ゲッティンゲン大学に移り1873年に博士号を取得。その後イェーナに戻り、1896年から数学教授。1925年死去。 フレーゲは、古代ギリシア（ギリシア哲学）のアリストテレス以来の伝統的論理学の革命を遂行し、数学の哲学である「論理主義」 を提唱した[3]。革命的な『概念記法』(Begriffsschrift) は1879年に出版され、アリストテレス以来2,000年変わらずに続いていた伝統論理学を一掃して論理学の新時代を切り開い
チャールズ・サンダース・パース - Wikipedia
チャールズ・サンダース・パース[注釈 1]（英: Charles Sanders Peirce、1839年9月10日 - 1914年4月19日[1]）は、アメリカ合衆国の哲学者、論理学者、数学者、科学者であり、プラグマティズムの創始者として知られる。 マサチューセッツ州ケンブリッジ生まれ。パースは化学者としての教育を受け、米国沿岸測量局に約30年間、科学者として雇われていた。「アメリカ合衆国の哲学者たちの中で最も独創的かつ多才であり、そしてアメリカのもっとも偉大な論理学者」ともいわれる[2]。存命中はおおむね無視され続け、第二次世界大戦後まで二次文献はわずかしかなかった。莫大な遺稿の全ては今も公表されていない。パースは自分をまず論理学者とみなし、さらに論理学を記号論（semiotics）の一分野とみなした。 清教徒の移民であったジョン・パースの子孫であり、当時アメリカ最大の数学者と見なされ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
