2020-11-12 二封筒問題のシミュレーション その３ 整数拡張編
2020-11-05 23:05:33 (JST) in シミュレーション Python | 固定リンク | コメント (8)
宣伝: 『「シミュレーション仏教」の試み』(JRF 著)。Amazon Kindle で、または、少し高いですが、DRM フリー EPUB を BOOTH で、販売中！
技術系電子本。Python による仏教社会シミュレーション( https://github.com/JRF-2018/simbd )の哲学的解説です。
技術系電子本。Python による仏教社会シミュレーション( https://github.com/JRF-2018/simbd )の哲学的解説です。
全ての記事 (初公開日順)
[更新日] [タイトル]
[初公開日] in [カテゴリ] | [諸データ]
2020-11-12 二封筒問題のシミュレーション その２ 実数拡張編
2020-11-05 22:59:45 (JST) in シミュレーション Python | 固定リンク | コメント (0)
2020-11-12 二封筒問題のシミュレーション その１ 基礎編
2020-11-05 22:51:24 (JST) in シミュレーション Python | 固定リンク | コメント (4)
2020-06-23 ケネディと天使の問題を Isabelle で証明 その３ 悪戦苦闘編
2020-06-22 08:10:47 (JST) in 関数型言語・定理証明器 | 固定リンク | コメント (0)
2020-06-23 ケネディと天使の問題を Isabelle で証明 その２ 気まぐれ天使問題
2020-06-22 08:07:46 (JST) in 関数型言語・定理証明器 | 固定リンク | コメント (0)
2020-09-03 ケネディと天使の問題を Isabelle で証明 その１ うそつき天使問題
2020-06-22 08:02:35 (JST) in 関数型言語・定理証明器 | 固定リンク | コメント (5)
2020-05-09 「志村けん問題」を JAGS で解く その２ 試行錯誤編
2020-05-09 「志村けん問題」を JAGS で解く その１ 結論編
2020-05-09 JAGS でモンティ・ホール問題を解く
2020-02-07 Predictor - Actor (- Recollector) モデルと負の学習
2020-02-07 01:45:07 (JST) in Python 人工知能・機械学習 | 固定リンク | コメント (1)
2019-06-13 ニューラルネットで負の学習: 競争的な学習の実験 その２
2019-05-16 05:49:50 (JST) in Python 人工知能・機械学習 | 固定リンク | コメント (4)
2019-05-24 機械学習の練習のため競争的な学習の実験をしてみた
2019-01-26 00:23:09 (JST) in Python 人工知能・機械学習 | 固定リンク | コメント (7) | トラックバック (0)
2018-04-13 21:00:17 (JST) in Perl シミュレーション 関数型言語・定理証明器 | 固定リンク | コメント (1) | トラックバック (0)
2018-04-25 組み合わせと順列の数え上げのアルゴリズム
2018-04-11 21:48:01 (JST) in Perl | 固定リンク | コメント (3) | トラックバック (0)
2018-01-19 Tweet Sig: ウェブ上の三文判？
2018-01-06 17:12:01 (JST) in JRF 作成ソフトウェア Firefox JavaScript | 固定リンク | コメント (7) | トラックバック (0)
2020-11-03 PP Interrupter Lite: GET をブロック
2017-12-27 20:30:50 (JST) in JRF 作成ソフトウェア Firefox JavaScript | 固定リンク | コメント (2) | トラックバック (0)
2020-11-03 PP Interrupter: 健全なサイトをブロック!?
2017-12-08 16:17:00 (JST) in JRF 作成ソフトウェア Firefox JavaScript | 固定リンク | コメント (7) | トラックバック (0)
2017-12-27 PP Authorizer: 匿名的ログイン・匿名的支払いをサポートするアドオン
2017-11-27 11:55:00 (JST) in JRF 作成ソフトウェア Firefox JavaScript | 固定リンク | コメント (11) | トラックバック (0)
2017-04-20 過剰診断論に関するシミュレーション 中間報告
2017-04-20 16:22:40 (JST) in Perl シミュレーション | 固定リンク | コメント (2) | トラックバック (0)
2017-02-13 眠り姫問題のプログラム
2017-02-11 19:24:07 (JST) in Perl シミュレーション | 固定リンク | コメント (1) | トラックバック (0)
2017-02-06 コーシー分布でブラック・ショールズ・モデル？
2017-02-05 23:27:08 (JST) in Perl シミュレーション | 固定リンク | コメント (1) | トラックバック (0)
2018-05-17 モンティ・ホール問題または三囚人問題の拡張とその確率操作シミュレーション
2016-08-27 21:17:40 (JST) in Perl シミュレーション | 固定リンク | コメント (3) | トラックバック (1)
2016-01-07 14:20:18 (JST) in JRF 作成ソフトウェア 関数型言語・定理証明器 | 固定リンク | コメント (3) | トラックバック (0)
2015-10-16 20:05:48 (JST) in Emacs/Meadow | 固定リンク | コメント (18) | トラックバック (0)
2014-03-20 03:46:54 (JST) in ウェブログ・ココログ関連 JavaScript | 固定リンク | コメント (10) | トラックバック (0)
2014-03-17 Perl でオブジェクト指向 Ｃ＋＋風 その４ HashFreezer
2014-03-17 18:20:35 (JST) in Perl | 固定リンク | コメント (0) | トラックバック (0)
2020-05-14 JRF Flag Semaphore for NES Emulator を作った
2014-03-11 08:00:00 (JST) in Perl ハード JRF 作成ソフトウェア JavaScript | 固定リンク | コメント (18) | トラックバック (0)
2014-03-05 Perl で unpack_bits
2014-03-05 06:24:44 (JST) in Perl | 固定リンク | コメント (0) | トラックバック (0)
2014-07-25 hide_img.js：画像のクラス指定に順って閲覧を要クリック化する
2014-02-08 17:22:42 (JST) in JRF 作成ソフトウェア JavaScript | 固定リンク | コメント (3) | トラックバック (0)
2019-02-21 gengou.js：日付を後付けで元号表示にする
2014-02-08 00:37:41 (JST) in JRF 作成ソフトウェア JavaScript | 固定リンク | コメント (3) | トラックバック (0)
2013-03-05 HLPVIEW: プチコンmkII用の簡易アドヴェンチャーゲーム用ルーチン
2013-02-23 09:53:30 (JST) in JRF 作成ソフトウェア プチコン | 固定リンク | コメント (2) | トラックバック (0)
2013-02-22 POPUP_MNU_RA: プチコンmkII用のポップアップメニュー
2013-02-22 18:17:29 (JST) in プチコン | 固定リンク | コメント (0) | トラックバック (0)
2013-02-23 CON_PRINT: プチコンmkII用コンソールPRINT
2013-02-22 07:58:04 (JST) in プチコン | 固定リンク | コメント (1) | トラックバック (0)
2013-02-23 STACKLIB: プチコンmkII用スタックライブラリ
2013-02-21 04:44:53 (JST) in Perl JRF 作成ソフトウェア プチコン | 固定リンク | コメント (7) | トラックバック (3)
2013-04-22 「易双六 PTC」開発記
2013-02-21 04:29:42 (JST) in JRF 作成ソフトウェア プチコン | 固定リンク | コメント (9) | トラックバック (1)
2017-03-30 ユーザーによるコメント「削除」をココログプロで実現する
2012-02-16 12:03:53 (JST) in ウェブログ・ココログ関連 セキュリティ JavaScript | 固定リンク | コメント (15) | トラックバック (0)
2012-02-11 cp_with_prefix.pl: ディレクトリ平坦化機能付きコピー
2012-02-09 22:26:15 (JST) in Cygwin Perl JRF 作成ソフトウェア | 固定リンク | コメント (2) | トラックバック (0)
2012-01-07 ブログのバックアップ＆「ひとこと」のクロスリファレンス
2012-01-07 14:28:08 (JST) in ウェブログ・ココログ関連 Perl JRF 作成ソフトウェア | 固定リンク | コメント (0) | トラックバック (0)
2012-01-11 タロットの偶奇で易の卦を出す
2011-11-18 22:57:26 (JST) in シミュレーション | 固定リンク | コメント (1) | トラックバック (1)
2011-07-01 22:37:18 (JST) in Perl シミュレーション 関数型言語・定理証明器 | 固定リンク | コメント (2) | トラックバック (0)
2011-06-20 02:54:31 (JST) in Perl シミュレーション 関数型言語・定理証明器 | 固定リンク | コメント (3) | トラックバック (4)
2011-06-03 05:28:30 (JST) in ウェブログ・ココログ関連 Perl JRF 作成ソフトウェア JavaScript | 固定リンク | コメント (4) | トラックバック (2)
2011-05-09 電子署名の替わりに Loaded Magic
2011-05-07 22:32:13 (JST) in セキュリティ JavaScript | 固定リンク | コメント (8) | トラックバック (0)
2011-04-23 08:56:02 (JST) in ウェブログ・ココログ関連 Perl JRF 作成ソフトウェア HTML/XML/CSS JavaScript | 固定リンク | コメント (36) | トラックバック (4)
2011-01-31 Haskell の callCC で goto を作る
2011-01-20 19:37:45 (JST) in 関数型言語・定理証明器 | 固定リンク | コメント (2) | トラックバック (1)
2011-01-14 Perl でオブジェクト指向 Ｃ＋＋風 その３ ローカル関数
2011-01-07 22:40:08 (JST) in Perl | 固定リンク | コメント (1) | トラックバック (0)
2011-01-06 Perl でオブジェクト指向 C++風 その２ クラス変数
2011-01-06 13:13:55 (JST) in Perl | 固定リンク | コメント (0) | トラックバック (1)
2011-01-07 Perl でオブジェクト指向 C++風
2010-12-31 09:42:55 (JST) in Perl | 固定リンク | コメント (8) | トラックバック (4)
2010-05-25 アセンブラで JIS から SJIS に変換するとき DAA が使える？
2010-05-25 20:27:52 (JST) in ハード | 固定リンク | コメント (0) | トラックバック (0)
2010-05-22 21:46:54 (JST) in Perl JRF 作成ソフトウェア | 固定リンク | コメント (0) | トラックバック (1)
2010-06-02 日本語IME「風」をVistaにインストールするとき、解除キーを登録するところで失敗する
2010-05-19 18:48:50 (JST) in Windows アプリ | 固定リンク | コメント (2) | トラックバック (1)
2010-05-06 19:20:17 (JST) in ウェブログ・ココログ関連 | 固定リンク | コメント (2) | トラックバック (0)
2010-03-16 Cygwin 上で dvdauhor を使い、字幕付き DVD を作る
2010-03-15 23:56:09 (JST) in Cygwin ハード | 固定リンク | コメント (1) | トラックバック (1)
2010-05-28 Firefox でココログを印刷しようとすると本文が１ページ目しか表示されない
2006-03-27 02:07:13 (JST) in ウェブログ・ココログ関連 HTML/XML/CSS Firefox | 固定リンク | コメント (6) | トラックバック (0)
2006-03-18 Mew でパスワード入力時 C-g を押しても止まってくれない
2006-03-15 13:36:57 (JST) in Emacs/Meadow | 固定リンク | コメント (0) | トラックバック (2)
2010-07-01 Navi2ch でインラインに画像を表示する (Referer もつける)
2006-03-04 06:44:26 (JST) in Emacs/Meadow Cygwin | 固定リンク | コメント (2) | トラックバック (0)
2011-04-27 ココログプロで Google サイトマップインデックスを作る
2006-03-02 03:12:23 (JST) in ウェブログ・ココログ関連 | 固定リンク | コメント (4) | トラックバック (1)
2006-03-04 DDwin.js をダブルクリックで呼べるようにする
2006-03-01 19:46:57 (JST) in Firefox | 固定リンク | コメント (0) | トラックバック (0)
2006-02-27 00:37:52 (JST) in Emacs/Meadow Windows アプリ Firefox | 固定リンク | コメント (0) | トラックバック (0)
2006-03-11 Windows のコマンドライン cmd.exe 用のエスケープってどうやるの？
2006-02-26 05:47:03 (JST) in Perl Windows アプリ | 固定リンク | コメント (0) | トラックバック (0)
2006-02-28 native2ascii.pl をいちおう作ってみた
2006-02-26 05:31:33 (JST) in Perl Windows アプリ JRF 作成ソフトウェア | 固定リンク | コメント (1) | トラックバック (1)
2006-02-25 14:22:08 (JST) in Windows アプリ Firefox | 固定リンク | コメント (4) | トラックバック (3)
2006-03-30 Movable Type で「記事と同じカテゴリ内の最近の記事」を表示する。
2006-02-22 17:46:31 (JST) in ウェブログ・ココログ関連 | 固定リンク | コメント (3) | トラックバック (3)
2011-05-13 ddwin.el: Meadow から DDwin を使う
2006-02-22 14:41:23 (JST) in Emacs/Meadow JRF 作成ソフトウェア | 固定リンク | コメント (0) | トラックバック (2)
2006-02-21 04:31:05 (JST) in Perl HTML/XML/CSS | 固定リンク | コメント (0) | トラックバック (0)
2006-02-21 04:15:15 (JST) in Cygwin Perl | 固定リンク | コメント (0) | トラックバック (2)
2006-02-21 ココログでスクリプトなどからファイルを削除する
2006-02-21 04:14:13 (JST) in ウェブログ・ココログ関連 HTML/XML/CSS | 固定リンク | コメント (0) | トラックバック (2)
2006-02-16 emachines のオンボードサウンドでヘッドフォンを使うとものすごいノイズがある
2006-02-16 04:49:57 (JST) in ハード | 固定リンク | コメント (0) | トラックバック (0)
2006-02-16 Ghostscript で -dSAFER にすると日本語が使えない
2006-02-16 04:46:59 (JST) in Cygwin TeX | 固定リンク | コメント (0) | トラックバック (0)
2006-03-01 Firefox などの CSS3 を使ってローカルなリンクに別の色を付ける
2006-02-16 03:58:17 (JST) in HTML/XML/CSS Firefox | 固定リンク | コメント (0) | トラックバック (1)
2006-02-27 XML や XHTML のチェックに xmllint --valid を使う
2006-02-16 03:44:13 (JST) in Cygwin HTML/XML/CSS | 固定リンク | コメント (0) | トラックバック (0)
2006-02-16 03:16:33 (JST) in ハード Windows アプリ | 固定リンク | コメント (2) | トラックバック (0)
2006-02-10 Firefox のダウンロードがミョーに遅くてイライラする
2006-02-10 04:21:45 (JST) in Windows アプリ Firefox | 固定リンク | コメント (0) | トラックバック (0)
2006-02-10 液晶ディスプレイで 3D 表示がちょっと変
2006-02-10 03:54:31 (JST) in ハード Windows アプリ | 固定リンク | コメント (0) | トラックバック (0)
2006-02-09 Firefox 1.5 でフォントがゴシックになっちゃった
2006-02-09 11:29:43 (JST) in Windows アプリ Firefox | 固定リンク | コメント (0) | トラックバック (0)
2006-02-09 11:08:48 (JST) in Windows アプリ Firefox | 固定リンク | コメント (0) | トラックバック (0)
2006-02-08 Firefox 1.0.7 から Firefox 1.5.0.1 にバージョンアップした
2006-02-08 15:54:16 (JST) in Windows アプリ Firefox | 固定リンク | コメント (0) | トラックバック (0)
2006-02-01 「風」の wnd ファイルを Meadow でエディットすると起動しない！
2006-02-01 01:41:35 (JST) in Emacs/Meadow Windows アプリ | 固定リンク | コメント (0) | トラックバック (2)
2006-02-01 USB 機器などの「ハードウェアの安全な取り外し」をコマンドラインから呼ぶ
2006-02-01 01:14:11 (JST) in Windows アプリ | 固定リンク | コメント (2) | トラックバック (0)
2006-01-28 玄人志向 RD70-A64C を NTSC で起動する
2006-01-28 21:59:23 (JST) in ハード | 固定リンク | コメント (0) | トラックバック (0)
![[RSS]](/archive/rss.gif "コメント一覧のRSS"){kind=small}