個々の特殊な事実や命題の集まりからそこに共通する性質や関係を取り出し、 一般的な命題や法則を導き出すこと⇔演繹（えんえき）
思考法 思考の道具？ 問題（クイズ）の解答と解説 サイトご利用方法 思考法 異論があることは百も承知だが、人間が獲得した思考法というのは突き詰めれば演繹と帰納しかない。 演繹とは風が吹けば桶屋が儲かる式のものであると理解すればいい。 具体的には 風が吹くと砂埃がたち、砂埃がたつと砂が目に入り、砂が目に入ると目が見えなくなる人が増え、目が見えなくなる人が増えると三味線を弾く人が増え、三味線を弾く人が増えると三味線屋が儲かり、三味線屋が儲かると猫の皮が必要となり、猫の皮が必要になると猫が減り、猫が減るとネズミが増え、ネズミが増えると桶がかじられ、桶がかじられると桶を購入する人が増え、桶を購入する人…
AIにおける帰納法と演繹法 https://www.meti.go.jp/press/2018/06/20180615001/20180615001-3.pdf 上記の文献より抜粋 帰納的に推論を行う AI 技術を利用したソフトウェア開発では、開発 初期段階で成果物を確定的に予測することが、演繹的に推論を行う従 来型のソフトウェアの開発と比較すると難しく、また、ユーザとベンダ の間の認識にも違いが生じやすい。 ⇒「帰納」が嫌われている。（この考えには、全然、賛成ではないですが。。。） AIを特別視するところに違和感あり。 それはそうかもしれないが。。。 下記のブリタニカの記事によると（引用） …
帰納、演繹は、日本語としては強い？単語ですが。。。 帰納（Induction）、演繹（Deduction）。 英語のInduction、Deductionは、重要な単語なんですかね。。。 使われている英語の文書をみかけたら、 ここに記載します。 みつけた（ブリタニカ） www.britannica.com 引用 Reasoning To reason is to draw inferences appropriate to the situation. Inferences are classified as either deductive or inductive. コメント 特にありませ…
Induction. インダクション
今回はDCをイシズ斬機で回ったので備忘録としてその感想を置いておく。 データ関係 使用デッキ コンセプト デッキの感想 DCの感想 余談 データ関係 勝率 36勝17敗 68% 先攻 25勝5敗 83% 後攻 11勝12敗 48% コイントス 表29 裏24 55% 対戦数が多かったデッキ 烙印系≧スプライト系>イシズGS系=罠ルーン>斬機=エクソ>その他 エルド、ふわん、PUNKなどにも複数回当たった 使用デッキ コンセプト ①罠ルーンやエルドの後攻は割り切って、それ以外の対面で勝ちを拾う事を意識して組んだ ②アギドはナブラまで入れないと3素材超階乗を作れないので抜いた、イシズギミックで超階…
問題文 問題文は、こちらより引用しています。 MathStat_Answers.pdf - Google ドライブ また、模範解答は上のpdfのp.41から記載されています。 方針（問11） 4つのパートに区切る。 確率関数になることを示す ここは、以下の2つを満たすことを示せばOK となること 合計が1になること 合計を計算するときは、無限等比級数の和を考える必要がある。 初項をa、公比をrとしたとき、 の時 となる。 それを計算すると1になる。 確率母関数の導出 こちらも無限等比級数の和を計算する。 ただ、またしてもsの範囲が引っかかる。 公比がなので、範囲はかと思いきや、解答ではになって…
問題文 毎回第2章を解いては解き方を忘れるので、解答の方針を記載することにしました。 問題文は、こちらより引用しています。 MathStat_Answers.pdf - Google ドライブまた、模範解答は上のpdfのp.40に記載されています。 方針 (1) 積率母関数なので、いつも通り計算するだけ。 ただ、問題はtの範囲。解答では |t| 積率母関数を求めるために積分すると、 という式が出てくるが、eの指数が負に発散すればは収束するのだから、t-1積分計算は収束するように思える。 まぁ、最悪絶対値の付け忘れはマイナス1点だから、気にせず次に進む。 どなたか、ここが絶対値ついて|t| (2…
超超へやわけMX： https://scrapbox.io/nishinanntoka/%E8%B6%85%E8%B6%85%E3%81%B8%E3%82%84%E3%82%8F%E3%81%91MX コンピューターを用いた探索により、$L$ が小さい場合に角 $5\times L$ に入る黒マスの最大値が求められている。 https://scrapbox.io/nishinanntoka/%E3%81%B8%E3%82%84%E3%82%8F%E3%81%91DP 以下は一般の $L$ についての結果を考察したもの。$L = 16m$ と表される場合について、タイトな上界を求める。
今ひとつ意味の違いがわかりにくい「感性」「知性」「理性」ついて、主に（近代）哲学的な文脈で、それぞれの意味やニュアンスに関して僕なりの理解をまとめておきます。ざっくりした理解なので、厳密な正確性には欠けるかもしれません。 感性 これが一番わかりやすいかもしれません。感性とは、感覚器官を通した感覚情報として外部の情報を受け取ることができる能力を指します。例えば、目に映る映像や、聞こえる音、手触り、暑い/寒い、といった個別の感覚情報を捉えることができるのは感性のはたらきによるものです。芸術作品などに感化されやすい人に対して「感性豊か」などというニュアンスとは異なります。
【名著】ノヴム・オルガヌム｜ベーコン 今すぐ捨てるべき、４つの“思い込み”とは？(アバタロー) 「ノヴム・オルガヌム」は、17世紀に活躍したイギリスの哲学者、フランシスベーコンの著作です。 ベーコンの名前や「知は力なり」という名言はよく知られていますが、「ノヴム・オルガヌム」は聞いたことがない人が多いと思います。 「ノヴム・オルガヌム」は「新しいオルガノン」という意味のラテン語です。「オルガノン」は、「古代ギリシアの哲学者アリストテレスにより執筆された論理学に関する著作群の総称」です。論理学とは、哲学(つまり知の探究)をするための道具(ギリシャ語でオルガノン)です。 つまり「ノヴム・オルガヌム…
前回の記事 box-white.hatenablog.com での根の無限級数の値を求めました.今回はこの続きとして一般的な級数の値を求める方法を考えます.まずと置きます.ここではの任意の正の根です. となって部分積分の公式から となります. を用いてもう一度部分積分の公式を使うと, となります.ここでより初めの二項が打ち消しあって となります. またです.これらの式からを定数として,と表すことができます.はなので前回の記事の展開公式が適用できます. それは で和はの正の根すべてを渡ります. これを計算すると となります. を代入して となります. を一つずつ増やしていけば,帰納的にの値を求め…
解法の説明は公式解説に任せるとして、いくつかの事実についての証明を書きます。 公式解説を見れてないのでどこが証明されてどこが証明されてないか分からない (もしかすると方針自体違うかも)。 治安が低いほど が大きいのが混乱の元なので、治安という言葉は全部 に置き換える。 使う辺を固定した場合に必要な警備員の数 使う辺を固定した場合 (= 廃止しない船を決めた場合) に必要な警備員の人数を考える。 まず、各船につき の警備員は明らかに必要である。 以降警備員と言ったら、これに追加して必要となる警備員のことを指すものとする。 を、 が 未満である頂点による誘導部分グラフと定義する。 すなわち、 であ…
distributed-agile-team.connpass.com こちらのイベントに参加してきたので、会の様子と感想を書いていこうと思います。 会の概要 会の様子 ChatGPT4になってよかったこと ChatGPT4になっても変わらないこと ChatGPTにどのような印象を抱いているのか？ ChatGPTの使い方 ChatGPTに期待していること ChatGPTで仕事の仕方は変わってくるか？ ChatGPTでなくなっていく仕事はあるか？ プロダクトマネジメントとChatGPT コーチング領域にChatGPTがどのように組み込まれていくのか？ 会全体を通した感想 会の概要 以下、イベント…
ビジュアルプログラミング 通常の数式の変形では難しいことをビジュアルプログラミングでやるとどうなるかを調査しています。帰納法による証明や、可換モノイドに関する順序に依存しない計算をやろうと考えています。現在は「Blockly | Google Developers」を調査しています。「関数のグラフ」、「プログラム電卓(Blockly)」を作成しました。「群の完備化」、「環の演算」、「自然数の演算」についても「Blockly | Google Developers」を使うことはできないか調べています。 サーバー対ブラウザープログラミング サーバーが常に動作している状態で、サーバーと相互にやりとり…
ChatGPT-xのような、チャット方式の対話型AIが世間を騒がしています。確かに、現代社会に大きなインパクトを与えそうです。僕も期待に胸を躍らせているのですが、だいぶニッチな方面への期待です。今までとても困難だった“機械可読形式証明〈machine-readable formal proof〉を書くこと”が、かなり楽チンになる可能性があります。$`\newcommand{\Iff}{\Leftrightarrow}`$内容： 機械可読形式証明の現状 形式証明の事例 自然言語ヒント／自然言語キュー とんでもなく大変なライブラリ検索 関連する記事： 近未来の証明ソフトウェアは‥‥ 近未来の証明ソ…
帰納的に定義された型〈inductively defined type | inductive type〉では帰納原理〈induction principle〉が働きます。帰納原理を関数として表現したものがリカーサー〈recursor〉です。リカーサーについては「帰納的型とリカーサー」で述べました。以前の記事では単純なリカーサー $`\mathrm{NatRec}`$ を紹介しましたが、より一般的なリカーサーをこの記事で説明します。ただし、扱う帰納的型は自然数型だけです。例題としてフィボナッチ数列とその一般化を出します。記事タイトルの「完全に書き下す」は、帰納原理の中身を書き出すのではなくて、…
アニマル・スタディーズ29の基本概念 平凡社 Amazon 先日に発売された『アニマル・スタディーズ 29の基本概念』を図書館で入手してきたので（とても個人で購入できるような値段ではない）、気になる章をいくつか読んで読書メモを取っていく。 まずは、倫理学者ゲイリー・ヴァーナーが執筆した第２４章「感覚があること／有感覚（Senticence）」から。ヴァーナーはわたしのお気に入りの哲学者であり、このブログでも何度か紹介してきたほか、『21世紀の道徳』の第３章でも引用している*1。しかしこれまで彼の本や論文が日本語に公式に翻訳されてきたことはなかったはずなので、今回の『アニマル・スタディーズ 29…
はじめに さまざまなテキストベイズ統計の理論と方法作者:渡辺 澄夫コロナ社Amazon実践Ｄａｔａ Ｓｃｉｅｎｃｅシリーズ ＲとＳｔａｎではじめる ベイズ統計モデリングによるデータ分析入門 (ＫＳ情報科学専門書)作者:馬場真哉講談社Amazonなどを参照しながらベイズ統計学について学んでいきます。 また理論だけでなく、可能な限りシミュレーションを含めていくこととし、それも,やなど幅広い言語で実装していきたい。 各種バージョン情報 OS Windows 11 Home 22H2 R R-4.1.3 RStudio RStudio 2022.02.2+485 "Prairie Trillium" …
息子が「これなあに」と言うようになった。 知らないものだけでなく、知っているものについても、確認の意味もあるのか、聞いてくることがままある。「これなあに」の由来は、息子に関しては明らかで、我々が図鑑を読み聞かせるときに、指差しと共に「これなあに」と確認していたからだ。言い方が一緒。親が言うことをオウム返ししたら、いろいろ答えてくれることを学んだのだろう。ともあれ、子供構文の典型、「これなあに」「なんでｘｘなの」などのうちのひとつを身に着けたのだなぁと、感慨を覚える。 さらに面白いと思ったのは、「ない」だ。「ない」はかなり初期から息子の言葉のレパートリーに加わった。1歳を過ぎたころには、食べたく…
u-1roh.hatenadiary.org
nishiohirokazu.hatenadiary.org
www.abysshr.com
developer.smartnews.com
ja.wikipedia.org
watch.s22.xrea.com
developer.smartnews.com
blog.livedoor.jp
izumi-math.jp
