http://jrf.cocolog-nifty.com/software/ 自分で作成したソフトウェアの紹介、および、他のソフトウェアの設定などの Tips。 注: 最近は、Tips も《ひとこと》に書き、ソフトウェアは《GitHub/JRF-2018》で公開しています。 ja-JP 2020-11-05T23:05:33+09:00 http://jrf.cocolog-nifty.com/software/2020/11/post-cc834b.html ■ 概要 二封筒問題(参: 三浦俊彦『可能世界の哲学』)を Python を用いたシミュレーションで解く。その１では未開封と開封で答えが違うことがシミュレーションによっても確かめられた。その謎を解くため、その２では、まずは額を実数にするよう問題を拡張した。 この「その３」では整数問題に戻って拡張を試み、謎の解明を完成する。 ... シミュレーション Python JRF 2020-11-05T23:05:33+09:00 http://jrf.cocolog-nifty.com/software/2020/11/post-8d2f26.html ■ 概要 二封筒問題(参: 三浦俊彦『可能世界の哲学』)を Python を用いたシミュレーションで解く。その１では未開封と開封で答えが違うことがシミュレーションによっても確かめられた。 この「その２」ではその謎を探るため、まずは上限の効果を確かめようと額を実数にするよう問題を拡張してみる。 この次の「その３」では整数問題に戻って拡張を試みる。 ... シミュレーション Python JRF 2020-11-05T22:59:45+09:00 http://jrf.cocolog-nifty.com/software/2020/11/post-91f890.html ■ 概要 二封筒問題(参: 三浦俊彦『可能世界の哲学』)を Python を用いたシミュレーションで解く。 最初は誤解して、「求めているのは、単に、相手を見たとき相手の額が自分の何倍かを調べると平均で 1.25 倍になるということ。交換したとしてもしなかったとしてもそうなる。じゃあ、交換すれば結果が変わるかというと変わらない。開封も未開封も関係ない。」と考え... シミュレーション Python JRF 2020-11-05T22:51:24+09:00 http://jrf.cocolog-nifty.com/software/2020/06/post-33c483.html ■ 概要 ケネディと天使の問題、または、うそつき天使問題、気まぐれ天使問題、三人の天使問題…と言われているものを、定理証明システム Isabelle でその答えが正しいかチェック(証明)した。 これは「その３」で、気まぐれ天使問題について悪戦苦闘した私の「失敗」を扱う。 ... 関数型言語・定理証明器 JRF 2020-06-22T08:10:47+09:00 http://jrf.cocolog-nifty.com/software/2020/06/post-d9cd87.html ■ 概要 ケネディと天使の問題、または、うそつき天使問題、気まぐれ天使問題、三人の天使問題…と言われているものを、定理証明システム Isabelle でその答えが正しいかチェック(証明)した。 これは「その２」で、気まぐれ天使問題を扱う。 ... 関数型言語・定理証明器 JRF 2020-06-22T08:07:46+09:00 http://jrf.cocolog-nifty.com/software/2020/06/post-ef863f.html ■ 概要 ケネディと天使の問題、または、うそつき天使問題、気まぐれ天使問題、三人の天使問題…と言われているものを、定理証明システム Isabelle でその答えが正しいかチェック(証明)した。 これは「その１」で、うそつき天使問題を扱う。 ... 関数型言語・定理証明器 JRF 2020-06-22T08:02:35+09:00 http://jrf.cocolog-nifty.com/software/2020/05/post-dd6738.html グローバルに共有して使うメモのウェブアプリです。 《グローバル共有メモ》に動いているサービスがあります。 ■ メモを使うユーザーへのヒント 誰でも書け、誰でも消せます。街中の黒板のようなものです。 ただし、18時間以内は書いた人しか消せません。 メモは 200 個を越えたところで 200個より前のものは消去されます。 「梅Pゴシック」というフリーなフ... Perl JRF 2020-05-18T12:30:39+09:00 http://jrf.cocolog-nifty.com/software/2020/05/post-e84089.html JAGS に慣れていないこともあり、「その１ 結論編」に達するまでにはかなり試行錯誤した。その「苦労」を記録しておく。 JAGS は確率に関する Prolog みたいなものという認識で、それがおもしろいと思っていたのだが、「苦労」した結果、Prolog みたいに使うのは間違いかと思うようになった。 ... シミュレーション R JRF 2020-05-09T05:28:58+09:00 http://jrf.cocolog-nifty.com/software/2020/05/post-918b0f.html 新型コロナウィルス(COVID-19)により稀代のコメディアン・志村けん氏が亡くなった。その志村けん氏がまだ闘病中だったころ、新型コロナについて一つの確率的問題が提起された。 志村けん氏ほどの有名人が新型コロナに罹ったということは、感染者数は言われているよりもっと多いに違いない。…これは本当か。 …というのが、その問題のだいたいである。 「それは本当だ」というのを R 言語上のベイズ統... シミュレーション JRF 2020-05-09T05:25:43+09:00 http://jrf.cocolog-nifty.com/software/2020/04/post-7e9b97.html JAGS と R 言語の私の入門・練習として、モンティ・ホール問題を JAGS (rjags) で解いてみる。 ... シミュレーション R JRF 2020-04-18T19:28:13+09:00