[自己PR]
サイト内の検索
カテゴリー
最近の記事
- 2020-06-23 ケネディと天使の問題を Isabelle で証明 その３ 悪戦苦闘編
- 2020-06-23 ケネディと天使の問題を Isabelle で証明 その２ 気まぐれ天使問題
- 2020-09-03 ケネディと天使の問題を Isabelle で証明 その１ うそつき天使問題
- 2020-07-01 グローバル共有メモ
- 2020-05-09 「志村けん問題」を JAGS で解く その２ 試行錯誤編
- 2020-05-09 「志村けん問題」を JAGS で解く その１ 結論編
- 2020-05-09 JAGS でモンティ・ホール問題を解く
- 2020-02-07 Predictor - Actor (- Recollector) モデルと負の学習
- 2019-06-13 ニューラルネットで負の学習: 競争的な学習の実験 その２
- 2019-05-24 機械学習の練習のため競争的な学習の実験をしてみた
最近のトラックバック
- Exhaustive Lock Dependency Emulator その３ 修正とチェック (JRF のソフトウェア Tips)
- 眠り姫問題のプログラム (JRF のソフトウェア Tips)
- モンティ・ホール問題または三囚人問題の拡張とその確率操作シミュレーション (JRF のソフトウェア Tips)
- Perl でオブジェクト指向 Ｃ＋＋風 その４ HashFreezer (JRF のソフトウェア Tips)
- HLPVIEW: プチコンmkII用の簡易アドヴェンチャーゲーム用ルーチン (JRF のソフトウェア Tips)
- POPUP_MNU_RA: プチコンmkII用のポップアップメニュー (JRF のソフトウェア Tips)
- CON_PRINT: プチコンmkII用コンソールPRINT (JRF のソフトウェア Tips)
- 「易双六 PTC」開発記 (JRF のソフトウェア Tips)
- STACKLIB: プチコンmkII用スタックライブラリ (JRF のソフトウェア Tips)
- ブラウザからアプリを起動とかイロイロ。Firefox の拡張 JSActions (JRF の勝手に PR)
最近のコメント ![[RSS]](/archive/rss.gif "コメント一覧のRSS")
- JRF on グローバル共有メモ
- JRF on ケネディと天使の問題を Isabelle で証明 その１ うそつき天使問題
- JRF on グローバル共有メモ
- JRF on ケネディと天使の問題を Isabelle で証明 その１ うそつき天使問題
- JRF on グローバル共有メモ
- JRF on グローバル共有メモ
- JRF on ケネディと天使の問題を Isabelle で証明 その１ うそつき天使問題
- JRF on The Proofs about Alpha-equivalences in Isabelle
- JRF on ケネディと天使の問題を Isabelle で証明 その１ うそつき天使問題
- JRF on グローバル共有メモ