2023-06-18 06:50:45 +00:00
|
|
|
|
<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Notes on</title><link>https://ar.falsy.cat/note/</link><description>Recent content in Notes on</description><generator>Hugo -- gohugo.io</generator><language>en-us</language><atom:link href="https://ar.falsy.cat/note/index.xml" rel="self" type="application/rss+xml"/><item><title>2人の幼女と悪魔とチェス盤</title><link>https://ar.falsy.cat/note/word-play/two-lolita-devils-and-chess-board/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/word-play/two-lolita-devils-and-chess-board/</guid><description>概要 「2人の幼女とチェス盤の部屋」という次のような論理問題を解説する 以下の手順の後，幼女Bが任意の整数$x\left(0\leq x&lt;64\right)$を求められるようにするには，幼女Aはどのような操作を行うべきか 悪魔が8x8チェス盤の各マスに1個ずつ，合計0個以上64個以下のポーンをランダムに配置する 悪魔は幼女Aにチェス盤を見せ，任意の数字$x\left(0\leq x&lt;64\right)$を伝える 幼女Aは，チェス盤に対して次のいずれかの操作のうち可能であるものを1回だけ必ず行う 任意のマスからポーンを1個だけ取り除く 任意のマスにポーンを1個だけ追加する 悪魔は幼女Bにチェス盤を見せる 問題の簡潔化 $f(g(b,x))=x$とできるような写像$f,g$を求めよ $B=\left\{0,1\right\}$ $b\in B^{64}$ $x\in B^6$ $f: B^{64} \rightarrow B^6$ $g: B^{64} \times B^6\rightarrow B^{64}$ $b$と$g(b,x)$は1ビットだけ異なる 解答 $f(b)=f_0\oplus f_1\oplus f_2 \oplus \dots \oplus f_{63} \quad\left(f_i=i b_i\right)$ $b&rsquo;=g(b,x) \implies b&rsquo;_m \neq b_m\quad\left(m=x\oplus f(b)\right)$ チェス盤が16x16の場合のプログラム 解説 $x=f(b)\oplus m$となるような$m\in B^6$は必ず存在する 盤面の各マスに$m$の値を割り当てることで，1マスの操作だけで$m$を表現できる 盤面のマス目の数も，$m$がとりうる値の数も64 $f(g(b,x))=f(b)\oplus m=f(b)\oplus f_m\oplus m(1-b_m)$ 応用 長さ$2^N$の任意のビット列について，任意の1ビットだけを反転させることで，長さ$N$のビット列を表現できる 参考文献 # 超難問論理クイズ「2人の幼女とチェス盤の部屋」が本当に難しすぎた - 明日は未来だ！ 幼女問題まとめ - GItHub Gist Impossible Escape?</description></item><item><title>ArchLinuxのインストール</title><link>https://ar.falsy.cat/note/info-tech/install-archlinux/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/info-tech/install-archlinux/</guid><description>概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない 前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなし できるだけシンプル，ミニマリスティックに 手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.</description></item><item><title>flutter</title><link>https://ar.falsy.cat/note/info-tech/flutter/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/info-tech/flutter/</guid><description>概要 マルチプラットフォーム GUIアプリケーション フレームワーク iOS/Android，Web，Windows/Linux/Mac，組み込み Google製 使用言語はDart インストール Arch Linux install-archlinuxの直後から，flutter doctorがオールグリーンになるまで 1時間ぐらいは覚悟したほうがいい 特にandroid-studioがクソでかいので qemuイメージのリサイズをする羽目になった 参考文献 追記: qemu上だとパフォーマンスがゴミすぎてまともに使えなかった X( ハードウェアアクセラレーションとか頑張ればいけるのかもしれないけど，諦めてホストのMacbookに直接入れ<E585A5><E3828C>
|
2023-02-23 16:56:48 +00:00
|
|
|
|
<ul>
|
|
|
|
|
|
<li>
|
|
|
|
|
|
<a href="https://github.com/jackyzha0/quartz" rel="noopener">Quartz</a>で
|
|
|
|
|
|
<a
|
|
|
|
|
|
href="https://ar.falsy.cat/note/info-tech/obsidian/"
|
|
|
|
|
|
rel="noopener" class="internal-link"
|
|
|
|
|
|
data-src="https://ar.falsy.cat/note/info-tech/obsidian/">Obsidian</a>のVaultを公開する</li>
|
|
|
|
|
|
<li>「<em>セカンドブレインデジタルガーデン</em>」という御大層な言葉は
|
|
|
|
|
|
<a href="https://github.com/jackyzha0/quartz" rel="noopener">Quartz</a>の紹介文からの引用</li>
|
|
|
|
|
|
</ul></description></item><item><title>Obsidianについて</title><link>https://ar.falsy.cat/note/info-tech/obsidian/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/info-tech/obsidian/</guid><description>公式サイト
|
2023-04-08 15:15:56 +00:00
|
|
|
|
概要 オフラインのwikiっぽいもの(=Vault) 記法はmarkdown Vaultは全てローカルに保存される インストール 公式サイトに各OSのインストーラが揃ってる Macではbrew install obsidianができる いいところ シンプルでスタイリッシュなデザイン 完全ローカルなので高セキュリティ 数式が使える $E=mc^2$ わるいところ 完全ローカルなので同期が課題 Vaultが巨大になるほど同期コストも増加 Macにて，エディタ上のリアルタイムプレビューとIMEが競合して日本語が正常に入力できないことがある 所感 ar.</description></item><item><title>Pleroma</title><link>https://ar.falsy.cat/note/info-tech/pleroma/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/info-tech/pleroma/</guid><description>概要 ActivityPubに対応したlightweight(自称)なSNS 単体で見るとlightweightには思えないけど，mastodonと比べたら確かにlightweight DB肥大化問題 長期間Pleromaを稼働させ続けると，DBのレコード数がやばいことになる DBのレスポンスがくそ長くなり，最終的にタイムアウトで500になる オブジェクトの寿命とか設定してみたけど特に意味はなかった 解決法 ローカルアカウントそれ自体の情報以外の情報を削除する pleromaを停止して，postgresで次のSQLを実行する 自動化しても良いかもしれない 追記: フォロー/フォロワー情報も削除されてしまったので改善が必要！！！ 1 2 3 4 TRUNCATETABLEactivitiesCASCADE;#全アクティビティの削除DELETEFROMusersWHEREnotlocal;#全リモートユーザーの削除VACUUMFULL;VACUUMANALYZE;</description></item><item><title>qemu</title><link>https://ar.falsy.cat/note/info-tech/qemu/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/info-tech/qemu/</guid><description><h2 id="概要">概要</h2>
|
2023-02-24 03:44:59 +00:00
|
|
|
|
<ul>
|
|
|
|
|
|
<li>コマンドラインベースのVirtualBoxと思っている</li>
|
2023-02-23 11:06:59 +00:00
|
|
|
|
<li>今のところM2チップのMacbook ProでLinuxを使うための最善手
|
|
|
|
|
|
<ul>
|
|
|
|
|
|
<li>M1/M2向けVirtualBoxはまだ開発者プレビューしかなく，まともに使えなかった</li>
|
|
|
|
|
|
</ul>
|
|
|
|
|
|
</li>
|
2023-06-18 07:34:12 +00:00
|
|
|
|
</ul></description></item><item><title>パラメトリック検定とノンパラメトリック検定</title><link>https://ar.falsy.cat/note/study/statistics/hypothesis-test-parametric/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/study/statistics/hypothesis-test-parametric/</guid><description>概要 仮設検定におけるパラメトリック検定とは，母集団のサンプルに対する検定のうち，母集団の分布を事前に仮定する検定である 母集団のサンプルに対する検定のうち，パラメトリック検定でないものはノンパラメトリック検定である パラメトリック検定 母集団がある特定の分布であると事前に仮定する検定 ノンパラメトリック検定に比べて，計算が楽 手計算はこっちの方が嬉しい 母集団が仮定と異なる分布を持つ場合，検定の結論に意味は無い 事前検定で母集団の仮定を検証するのはやめた方がいい（後述） ノンパラメトリック検定 母集団の分布を仮定しない検定 計算がめんどくさい サンプルサイズが頭おかしいほど大きくない限り，コンピュータなら一瞬 仮定に沿うパラメトリック検定が存在する場合，それよりも精度は落ちるが，実用的な問題はない 事前検定 欲しい結果を得る検定の前に行われる検定のこと 多重検定の問題を孕む 個人的には，大抵の場合において事前検定は愚行だと思っている 母集団の正規性を仮定するパラメトリック検定を使いたいがために，事前検定として正規性の検定(Shapiro-wilk test)をする人がいる 個人的には多重検定問題沼に足を突っ込むぐらいなら，そこまでしてパラメトリック検定を使う必要はないと思う 大人しくノンパラメトリック検定を使うべき そもそもコンピュータ使えば計算コストは無視できる まとめ 仮設検定は2つに分けられる パラメトリック検定: 母集団の分布になんらかの仮定が必要な検定 ノンパラメトリック検定: それ以外の検定 パラメトリック検定をしたいがために多重検定を使うぐらいならば，ノンパラメトリック検定を使うべき</description></item><item><title>仮説検定</title><link>https://ar.falsy.cat/note/study/statistics/hypothesis-test/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/study/statistics/hypothesis-test/</guid><description>概要 仮説検定とは，母集団の母数に関する帰無仮説について，棄却/受容を標本から客観的に判定する手続き 有意確率とは，帰無仮説が真だった場合に誤って棄却する確率である 仮説検定において，有意確率が事前に定めた有意水準よりも小さかった場合，帰無仮説を棄却する 検定手順 帰無仮説を仮定する 帰無仮説のもとで検定したい事象が発生する確率$p$を求める $p$が事前に定めた有意水準よりも小さいならば，帰無仮説を棄却する 結論に生じうる誤り 第一種の誤り: 帰無仮説が正しい，かつ，帰無仮説を棄却してしまう 発生確率=有意確率 発生確率を設定できる 第二種の誤り: 帰無仮説が誤っている，かつ，帰無仮説を受容してしまう 発生確率は不明 発生確率を設定できない 有意水準を小さくすることで第一種の誤りは起こりにくくなるが，第二種の誤りが起こりやすくなる（トレードオフ） 大体の場合で5% 第一種の誤りが許されない場面（医療など）では1% 例 コイントスを10回やって7回表が出た．コイントスは公平か？ 7回表が出る確率は$\frac{1}{2^{10}} \cdot {}_{10} \mathrm{C}_7=0.</description></item><item><title>仮説検定の多重性問題</title><link>https://ar.falsy.cat/note/study/statistics/hypoth
|
2023-02-23 17:14:35 +00:00
|
|
|
|
<ul>
|
|
|
|
|
|
<li>今までの国語の教科書に出てきた忘れられない奴等を忘れないために記録しておく</li>
|
2023-04-22 16:18:12 +00:00
|
|
|
|
</ul></description></item><item><title>明晰夢を利用した現実の証明</title><link>https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/</guid><description>概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている，ならばかつその時に限り，明晰夢を見ている 明晰夢を見ている，ならば，全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より，三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より，ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため，$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している，かつ，思い通りにならないことが存在する，ならば，それは現実である ただし，この手法では全ての現実を証明できるとは言えないことに留意されたい</description></item><item><title>片手鍋で米を炊く</title><link>https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/</guid><description>概要 炊飯器が無くても米は炊ける ただし火を使う間，22分程度拘束される 手順 片手鍋で米(3合)を研ぐ 水(500ml)を入れる 蓋をして鍋ごと冷蔵庫で30分冷やす 蓋をしたまま中火で13分 弱火で3分 とろ火で6分 火を消して蓋をしたまま10分放置 補足 冷やす時間は15分程度まで短縮しても良い 短縮した場合は中火の時間も12分程度に縮める 最後の放置が結構重要 火を消した直後はまだべちゃべちゃしてる</description></item></channel></rss>
|
