ソフトウェア Tips (82 件)

• 2020年11月
• ソフトウェア Tips 二封筒問題のシミュレーション その３ 整数拡張編 [cocolog:92328134] 2020年11月05日 23:05:33 [シミュレーション] [Python]
• ソフトウェア Tips 二封筒問題のシミュレーション その２ 実数拡張編 [cocolog:92328124] 2020年11月05日 22:59:45 [シミュレーション] [Python]
• ソフトウェア Tips 二封筒問題のシミュレーション その１ 基礎編 [cocolog:92328105] 2020年11月05日 22:51:24 [シミュレーション] [Python]
• 2020年6月
• ソフトウェア Tips ケネディと天使の問題を Isabelle で証明 その３ 悪戦苦闘編 [cocolog:91995474] 2020年06月22日 08:10:47 [関数型言語・定理証明器]
• ソフトウェア Tips ケネディと天使の問題を Isabelle で証明 その２ 気まぐれ天使問題 [cocolog:91995468] 2020年06月22日 08:07:46 [関数型言語・定理証明器]
• ソフトウェア Tips ケネディと天使の問題を Isabelle で証明 その１ うそつき天使問題 [cocolog:91995459] 2020年06月22日 08:02:35 [関数型言語・定理証明器]
• 2020年5月
• ソフトウェア Tips グローバル共有メモ [cocolog:91914001] 2020年05月18日 12:30:39 [Perl]
• ソフトウェア Tips 「志村けん問題」を JAGS で解く その２ 試行錯誤編 [cocolog:91890593] 2020年05月09日 05:28:58 [シミュレーション] [R]
• ソフトウェア Tips 「志村けん問題」を JAGS で解く その１ 結論編 [cocolog:91890591] 2020年05月09日 05:25:43 [シミュレーション]
• 2020年4月
• ソフトウェア Tips JAGS でモンティ・ホール問題を解く [cocolog:91836017] 2020年04月18日 19:28:13 [シミュレーション] [R]
• 2020年2月
• ソフトウェア Tips Predictor - Actor (- Recollector) モデルと負の学習 [cocolog:91662485] 2020年02月07日 01:45:07 [Python] [人工知能・機械学習]
• 2019年5月
• ソフトウェア Tips ニューラルネットで負の学習: 競争的な学習の実験 その２ [cocolog:90995242] 2019年05月16日 05:49:50 [Python] [人工知能・機械学習]
• 2019年1月
• ソフトウェア Tips 機械学習の練習のため競争的な学習の実験をしてみた [cocolog:90592562] 2019年01月26日 00:23:09 [Python] [人工知能・機械学習]
• 2018年4月
• ソフトウェア Tips Exhaustive Lock Dependency Emulator その３ 修正とチェック [cocolog:89194818] 2018年04月13日 21:00:17 [Perl] [シミュレーション] [関数型言語・定理証明器]
• ソフトウェア Tips 組み合わせと順列の数え上げのアルゴリズム [cocolog:89185653] 2018年04月11日 21:48:01 [Perl]
• 2018年1月
• ソフトウェア Tips Tweet Sig: ウェブ上の三文判？ [cocolog:88702702] 2018年01月06日 17:12:01 [JRF 作成ソフトウェア] [Firefox] [JavaScript]
• 2017年12月
• ソフトウェア Tips PP Interrupter Lite: GET をブロック [cocolog:88646059] 2017年12月27日 20:30:50 [JRF 作成ソフトウェア] [Firefox] [JavaScript]
• ソフトウェア Tips PP Interrupter: 健全なサイトをブロック!? [cocolog:88550402] 2017年12月08日 16:17:00 [JRF 作成ソフトウェア] [Firefox] [JavaScript]
• 2017年11月
• ソフトウェア Tips PP Authorizer: 匿名的ログイン・匿名的支払いをサポートするアドオン [cocolog:88492149] 2017年11月27日 11:55:00 [JRF 作成ソフトウェア] [Firefox] [JavaScript]
• 2017年4月
• ソフトウェア Tips 過剰診断論に関するシミュレーション 中間報告 [cocolog:87253124] 2017年04月20日 16:22:40 [Perl] [シミュレーション]
• 2017年2月
• ソフトウェア Tips 眠り姫問題のプログラム [cocolog:86853962] 2017年02月11日 19:24:07 [Perl] [シミュレーション]
• ソフトウェア Tips コーシー分布でブラック・ショールズ・モデル？ [cocolog:86821690] 2017年02月05日 23:27:08 [Perl] [シミュレーション]
• 2016年8月
• ソフトウェア Tips モンティ・ホール問題または三囚人問題の拡張とその確率操作シミュレーション [cocolog:85821961] 2016年08月27日 21:17:40 [Perl] [シミュレーション]
• 2016年1月
• ソフトウェア Tips The Proofs about Alpha-equivalences in Isabelle [cocolog:84330372] 2016年01月07日 14:20:18 [JRF 作成ソフトウェア] [関数型言語・定理証明器]
• 2015年10月
• ソフトウェア Tips quail-naggy.el: 単漢字変換 Input Method for Emacs. [cocolog:83641133] 2015年10月16日 20:05:48 [Emacs/Meadow]
• 2014年3月
• ソフトウェア Tips Cocolog_Pro_Analyzer：ココログプロ用アクセス解析補助 Greasemonkey [cocolog:79222541] 2014年03月20日 03:46:54 [ウェブログ・ココログ関連] [JavaScript]
• ソフトウェア Tips Perl でオブジェクト指向 Ｃ＋＋風 その４ HashFreezer [cocolog:79204061] 2014年03月17日 18:20:35 [Perl]
• ソフトウェア Tips JRF Flag Semaphore for NES Emulator を作った [cocolog:79149901] 2014年03月11日 08:00:00 [Perl] [ハード] [JRF 作成ソフトウェア] [JavaScript]
• ソフトウェア Tips Perl で unpack_bits [cocolog:79104411] 2014年03月05日 06:24:44 [Perl]
• 2014年2月
• ソフトウェア Tips hide_img.js：画像のクラス指定に順って閲覧を要クリック化する [cocolog:78894927] 2014年02月08日 17:22:42 [JRF 作成ソフトウェア] [JavaScript]
• ソフトウェア Tips gengou.js：日付を後付けで元号表示にする [cocolog:78888769] 2014年02月08日 00:37:41 [JRF 作成ソフトウェア] [JavaScript]
• 2013年2月
• ソフトウェア Tips HLPVIEW: プチコンmkII用の簡易アドヴェンチャーゲーム用ルーチン [cocolog:75696191] 2013年02月23日 09:53:30 [JRF 作成ソフトウェア] [プチコン]
• ソフトウェア Tips POPUP_MNU_RA: プチコンmkII用のポップアップメニュー [cocolog:75690273] 2013年02月22日 18:17:29 [プチコン]
• ソフトウェア Tips CON_PRINT: プチコンmkII用コンソールPRINT [cocolog:75686369] 2013年02月22日 07:58:04 [プチコン]
• ソフトウェア Tips STACKLIB: プチコンmkII用スタックライブラリ [cocolog:75676987] 2013年02月21日 04:44:53 [Perl] [JRF 作成ソフトウェア] [プチコン]
• ソフトウェア Tips 「易双六 PTC」開発記 [cocolog:75676956] 2013年02月21日 04:29:42 [JRF 作成ソフトウェア] [プチコン]
• 2012年2月
• ソフトウェア Tips ユーザーによるコメント「削除」をココログプロで実現する [cocolog:71637031] 2012年02月16日 12:03:53 [ウェブログ・ココログ関連] [セキュリティ] [JavaScript]
• ソフトウェア Tips cp_with_prefix.pl: ディレクトリ平坦化機能付きコピー [cocolog:71560723] 2012年02月09日 22:26:15 [Cygwin] [Perl] [JRF 作成ソフトウェア]
• 2012年1月
• ソフトウェア Tips ブログのバックアップ＆「ひとこと」のクロスリファレンス [cocolog:71180305] 2012年01月07日 14:28:08 [ウェブログ・ココログ関連] [Perl] [JRF 作成ソフトウェア]
• 2011年11月
• ソフトウェア Tips タロットの偶奇で易の卦を出す [cocolog:70597644] 2011年11月18日 22:57:26 [シミュレーション]
• 2011年7月
• ソフトウェア Tips Exhaustive Lock Dependency Emulator その２ wait_and_lock [cocolog:68888436] 2011年07月01日 22:37:18 [Perl] [シミュレーション] [関数型言語・定理証明器]
• 2011年6月
• ソフトウェア Tips Exhaustive Lock Dependency Emulator その１ 並列処理の総当り [cocolog:68738226] 2011年06月20日 02:54:31 [Perl] [シミュレーション] [関数型言語・定理証明器]
• ソフトウェア Tips Statuses_Editor_Proxy.CGI - XMLRPC と OAuth を組み合わせた「ひとことサイト」ソリューション [cocolog:68520060] 2011年06月03日 05:28:30 [ウェブログ・ココログ関連] [Perl] [JRF 作成ソフトウェア] [JavaScript]
• 2011年5月
• ソフトウェア Tips 電子署名の替わりに Loaded Magic [cocolog:68180670] 2011年05月07日 22:32:13 [セキュリティ] [JavaScript]
• 2011年4月
• ソフトウェア Tips aboutme2cocolog: アバウトミーの「ひとこと」をココログプロへ移転するツール [cocolog:67976071] 2011年04月23日 08:56:02 [ウェブログ・ココログ関連] [Perl] [JRF 作成ソフトウェア] [HTML/XML/CSS] [JavaScript]
• 2011年1月
• ソフトウェア Tips Haskell の callCC で goto を作る [cocolog:66773047] 2011年01月20日 19:37:45 [関数型言語・定理証明器]
• ソフトウェア Tips Perl でオブジェクト指向 Ｃ＋＋風 その３ ローカル関数 [cocolog:66597125] 2011年01月07日 22:40:08 [Perl]
• ソフトウェア Tips Perl でオブジェクト指向 C++風 その２ クラス変数 [cocolog:66578669] 2011年01月06日 13:13:55 [Perl]
• 2010年12月
• ソフトウェア Tips Perl でオブジェクト指向 C++風 [cocolog:66486034] 2010年12月31日 09:42:55 [Perl]
• 2010年5月
• ソフトウェア Tips アセンブラで JIS から SJIS に変換するとき DAA が使える？ [cocolog:63479911] 2010年05月25日 20:27:52 [ハード]
• ソフトウェア Tips balance_mail_redirect：ランダムだが確実にメールが誰かに届くよう振り分けたい [cocolog:63437032] 2010年05月22日 21:46:54 [Perl] [JRF 作成ソフトウェア]
• ソフトウェア Tips 日本語IME「風」をVistaにインストールするとき、解除キーを登録するところで失敗する [cocolog:63394959] 2010年05月19日 18:48:50 [Windows アプリ]
• ソフトウェア Tips Movable Type と SSI を使って注目を避けるために一時的に「休止」や「ブックマーク拒否」をする [cocolog:63218036] 2010年05月06日 19:20:17 [ウェブログ・ココログ関連]
• 2010年4月
• ソフトウェア Tips 間違った MIME Type の text/x-server-parsed-html を Firefox で読みたい [cocolog:62819778] 2010年04月08日 23:19:50 [Cygwin] [Perl] [Firefox]
• 2010年3月
• ソフトウェア Tips Cygwin 上で dvdauhor を使い、字幕付き DVD を作る [cocolog:62435012] 2010年03月15日 23:56:09 [Cygwin] [ハード]
• 2006年3月
• ソフトウェア Tips Firefox でココログを印刷しようとすると本文が１ページ目しか表示されない [cocolog:10750678] 2006年03月27日 02:07:13 [ウェブログ・ココログ関連] [HTML/XML/CSS] [Firefox]
• ソフトウェア Tips Mew でパスワード入力時 C-g を押しても止まってくれない [cocolog:10532644] 2006年03月15日 13:36:57 [Emacs/Meadow]
• ソフトウェア Tips Navi2ch でインラインに画像を表示する (Referer もつける) [cocolog:10330547] 2006年03月04日 06:44:26 [Emacs/Meadow] [Cygwin]
• ソフトウェア Tips ココログプロで Google サイトマップインデックスを作る [cocolog:10293851] 2006年03月02日 03:12:23 [ウェブログ・ココログ関連]
• ソフトウェア Tips DDwin.js をダブルクリックで呼べるようにする [cocolog:10284907] 2006年03月01日 19:46:57 [Firefox]
• 2006年2月
• ソフトウェア Tips DDwin を Firefox や Meadow から使うとき latin-1 のアクセント記号を抜くようにした。 [cocolog:10234210] 2006年02月27日 00:37:52 [Emacs/Meadow] [Windows アプリ] [Firefox]
• ソフトウェア Tips Windows のコマンドライン cmd.exe 用のエスケープってどうやるの？ [cocolog:10215170] 2006年02月26日 05:47:03 [Perl] [Windows アプリ]
• ソフトウェア Tips native2ascii.pl をいちおう作ってみた [cocolog:10215138] 2006年02月26日 05:31:33 [Perl] [Windows アプリ] [JRF 作成ソフトウェア]
• ソフトウェア Tips DDwin.js: Firefox から電子辞書 DDwin (または EBWin) を起動する [cocolog:10196074] 2006年02月25日 14:22:08 [Windows アプリ] [Firefox]
• ソフトウェア Tips Movable Type で「記事と同じカテゴリ内の最近の記事」を表示する。 [cocolog:10143002] 2006年02月22日 17:46:31 [ウェブログ・ココログ関連]
• ソフトウェア Tips ddwin.el: Meadow から DDwin を使う [cocolog:10123029] 2006年02月22日 14:41:23 [Emacs/Meadow] [JRF 作成ソフトウェア]
• ソフトウェア Tips lwp-request のオプション -m を忘れて http://www.GET.com が表示されていた [cocolog:10125918] 2006年02月21日 04:31:05 [Perl] [HTML/XML/CSS]
• ソフトウェア Tips lwp-request で https を使うと Segmentation Fault する。 [cocolog:10048916] 2006年02月21日 04:15:15 [Cygwin] [Perl]
• ソフトウェア Tips ココログでスクリプトなどからファイルを削除する [cocolog:10024502] 2006年02月21日 04:14:13 [ウェブログ・ココログ関連] [HTML/XML/CSS]
• ソフトウェア Tips emachines のオンボードサウンドでヘッドフォンを使うとものすごいノイズがある [cocolog:10024225] 2006年02月16日 04:49:57 [ハード]
• ソフトウェア Tips Ghostscript で -dSAFER にすると日本語が使えない [cocolog:10024568] 2006年02月16日 04:46:59 [Cygwin] [TeX]
• ソフトウェア Tips Firefox などの CSS3 を使ってローカルなリンクに別の色を付ける [cocolog:10024421] 2006年02月16日 03:58:17 [HTML/XML/CSS] [Firefox]
• ソフトウェア Tips XML や XHTML のチェックに xmllint --valid を使う [cocolog:10024353] 2006年02月16日 03:44:13 [Cygwin] [HTML/XML/CSS]
• ソフトウェア Tips 「1607：InstallShield Scripting Runtime をインストールできません」 [cocolog:10024270] 2006年02月16日 03:16:33 [ハード] [Windows アプリ]
• ソフトウェア Tips Firefox のダウンロードがミョーに遅くてイライラする [cocolog:9890011] 2006年02月10日 04:21:45 [Windows アプリ] [Firefox]
• ソフトウェア Tips 液晶ディスプレイで 3D 表示がちょっと変 [cocolog:9883447] 2006年02月10日 03:54:31 [ハード] [Windows アプリ]
• ソフトウェア Tips Firefox 1.5 でフォントがゴシックになっちゃった [cocolog:9876124] 2006年02月09日 11:29:43 [Windows アプリ] [Firefox]
• ソフトウェア Tips Firefox 1.5 で Tabbrowser Extensions から Tab Mix Plus に乗り換えた [cocolog:9875905] 2006年02月09日 11:08:48 [Windows アプリ] [Firefox]
• ソフトウェア Tips Firefox 1.0.7 から Firefox 1.5.0.1 にバージョンアップした [cocolog:9861152] 2006年02月08日 15:54:16 [Windows アプリ] [Firefox]
• ソフトウェア Tips 「風」の wnd ファイルを Meadow でエディットすると起動しない！ [cocolog:9716400] 2006年02月01日 01:41:35 [Emacs/Meadow] [Windows アプリ]
• ソフトウェア Tips USB 機器などの「ハードウェアの安全な取り外し」をコマンドラインから呼ぶ [cocolog:9715999] 2006年02月01日 01:14:11 [Windows アプリ]
• 2006年1月
• ソフトウェア Tips 玄人志向 RD70-A64C を NTSC で起動する [cocolog:9645852] 2006年01月28日 21:59:23 [ハード]