Notes on

2人の幼女と悪魔とチェス盤

Mon, 01 Jan 0001 00:00:00 +0000

概要「2人の幼女とチェス盤の部屋」という次のような論理問題を解説する以下の手順の後，幼女Bが任意の整数$x\left(0\leq x<64\right)$を求められるようにするには，幼女Aはどのような操作を行うべきか悪魔が8x8チェス盤の各マスに1個ずつ，合計0個以上64個以下のポーンをランダムに配置する悪魔は幼女Aにチェス盤を見せ，任意の数字$x\left(0\leq x<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’=g(b,x) \implies b’_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?

ArchLinuxのインストール

Mon, 01 Jan 0001 00:00:00 +0000

概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなしできるだけシンプル，ミニマリスティックに手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.

flutter

Mon, 01 Jan 0001 00:00:00 +0000

概要マルチプラットフォーム GUIアプリケーションフレームワーク iOS/Android，Web，Windows/Linux/Mac，組み込み Google製使用言語はDart インストール Arch Linux install-archlinuxの直後から，flutter doctorがオールグリーンになるまで 1時間ぐらいは覚悟したほうがいい特にandroid-studioがクソでかいので qemuイメージのリサイズをする羽目になった参考文献追記: qemu上だとパフォーマンスがゴミすぎてまともに使えなかった X( ハードウェアアクセラレーションとか頑張ればいけるのかもしれないけど，諦めてホストのMacbookに直接入れた手順依存のインストール 1 2 3 4 5 6 7 8 9 10 11 12 13 14 pacman -S base-devel xorg-server xterm i3-wm noto-fonts git clang cmake ninja chromium visudo # いい感じに設定 & リログ git clone https://aur.

ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築

Mon, 01 Jan 0001 00:00:00 +0000

概要

Quartzで ObsidianのVaultを公開する
「セカンドブレインデジタルガーデン」という御大層な言葉は Quartzの紹介文からの引用

Obsidianについて

Mon, 01 Jan 0001 00:00:00 +0000

公式サイト概要オフラインのwikiっぽいもの(=Vault) 記法はmarkdown Vaultは全てローカルに保存されるインストール公式サイトに各OSのインストーラが揃ってる Macではbrew install obsidianができるいいところシンプルでスタイリッシュなデザイン完全ローカルなので高セキュリティ数式が使える $E=mc^2$ わるいところ完全ローカルなので同期が課題 Vaultが巨大になるほど同期コストも増加 Macにて，エディタ上のリアルタイムプレビューとIMEが競合して日本語が正常に入力できないことがある所感 ar.

Pleroma

Mon, 01 Jan 0001 00:00:00 +0000

概要 ActivityPubに対応したlightweight(自称)なSNS 単体で見るとlightweightには思えないけど，mastodonと比べたら確かにlightweight DB肥大化問題長期間Pleromaを稼働させ続けると，DBのレコード数がやばいことになる DBのレスポンスがくそ長くなり，最終的にタイムアウトで500になるオブジェクトの寿命とか設定してみたけど特に意味はなかった解決法ローカルアカウントそれ自体の情報以外の情報を削除する pleromaを停止して，postgresで次のSQLを実行する自動化しても良いかもしれない追記: フォロー/フォロワー情報も削除されてしまったので改善が必要！！！ 1 2 3 4 TRUNCATETABLEactivitiesCASCADE;#全アクティビティの削除DELETEFROMusersWHEREnotlocal;#全リモートユーザーの削除VACUUMFULL;VACUUMANALYZE;

qemu

Mon, 01 Jan 0001 00:00:00 +0000

概要

コマンドラインベースのVirtualBoxと思っている
今のところM2チップのMacbook ProでLinuxを使うための最善手
- M1/M2向けVirtualBoxはまだ開発者プレビューしかなく，まともに使えなかった

仮説検定

Mon, 01 Jan 0001 00:00:00 +0000

概要仮説検定とは，母集団の母数に関する帰無仮説について，棄却/受容を標本から客観的に判定する手続き有意確率とは，帰無仮説が真だった場合に誤って棄却する確率である仮説検定において，有意確率が事前に定めた有意水準よりも小さかった場合，帰無仮説を棄却する検定手順帰無仮説を仮定する帰無仮説のもとで検定したい事象が発生する確率$p$を求める $p$が事前に定めた有意水準よりも小さいならば，帰無仮説を棄却する結論に生じうる誤り第一種の誤り: 帰無仮説が正しい，かつ，帰無仮説を棄却してしまう発生確率=有意確率発生確率を設定できる第二種の誤り: 帰無仮説が誤っている，かつ，帰無仮説を受容してしまう発生確率は不明発生確率を設定できない有意水準を小さくすることで第一種の誤りは起こりにくくなるが，第二種の誤りが起こりやすくなる（トレードオフ）大体の場合で5% 第一種の誤りが許されない場面（医療など）では1% 例コイントスを10回して7回表が出た．コイントスは公平か？ 7回表が出る確率は$\frac{1}{2^{10}} \cdot {}_{10} \mathrm{C}_7=0.

卵を片手で割る手法の提案

Mon, 01 Jan 0001 00:00:00 +0000

Abstract This paper proposes a method to crack eggs by one hand The method can reduce cooking time and promote multi-tasking No special appliance is needed However accuracy of action is necessary to keep yolk unbroken 概要調理の時短とマルチタスク促進のために卵を片手で割る手法を提案する本手法は一般家庭にある既存の器具のみで実行が可能ただし黄身を割らないためには繊細な動作が要求される背景左手でゴミ袋を持ちながら右手で卵を割ると非常に時短になる特に調理プロセスのなかで一度に複数の卵が関与する場合に著しい時短効果が得られる先行研究の手法では調理対象に殻が混入してしまうことが多い手法卵をフォークボールを投げる時のように持つ鋭端が人差し指と中指の間に来るように持つ鈍端を親指と薬指で支える皿の淵で卵の殻に割れ目を作る卵の鋭端と鈍端を結ぶ線分の垂直二等分線が皿の淵と重なるように腕を何回か振り下ろす皿を卵の直径の$\frac{1}{4}$程度まで食い込ませる卵を皿に押し付けて真っ二つにするイメージここで皿を食い込ませすぎると黄身が割れる原因になる人差し指の付け根で割れ目の裏側を押し出す人差し指，中指，親指，薬指で卵をしっかりと支えておく評価実験本手法を用いて鶏卵2個を割った 1個は黄身が割れたが，1個は割れなかった卵の殻が調理対象に混入することはなかったまとめ卵を片手で割る手法を提案した本手法では50%の確率で黄身が割れる先行研究の手法と異なり，卵の殻が混入する確率は低い今後の課題として，黄身が割れる確率を抑えることが挙げられる理論上，左右両方の手で同時に2個の卵を割ることでさらなる効率化を図れる

国語教科書オールスターズ

Mon, 01 Jan 0001 00:00:00 +0000

概要

今までの国語の教科書に出てきた忘れられない奴等を忘れないために記録しておく

明晰夢を利用した現実の証明

Mon, 01 Jan 0001 00:00:00 +0000

概要今の意識が現実であることを証明する手法を論理的に導くただの言葉遊びなので哲学的な何かは期待しないでほしい前提ここでは次の前提のもと議論を進める夢を見ていることを自覚している夢を見ている，ならばかつその時に限り，明晰夢を見ている明晰夢を見ている，ならば，全てが思い通りになる夢でないならば現実である証明は次の定義の元で行う状況$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}$ 結論事前に夢を見ていることを自覚している，かつ，思い通りにならないことが存在する，ならば，それは現実であるただし，この手法では全ての現実を証明できるとは言えないことに留意されたい

片手鍋で米を炊く

Mon, 01 Jan 0001 00:00:00 +0000

概要炊飯器が無くても米は炊けるただし火を使う間，22分程度拘束される手順片手鍋で米(3合)を研ぐ水(500ml)を入れる蓋をして鍋ごと冷蔵庫で30分冷やす蓋をしたまま中火で13分弱火で3分とろ火で6分火を消して蓋をしたまま10分放置補足冷やす時間は15分程度まで短縮しても良い短縮した場合は中火の時間も12分程度に縮める最後の放置が結構重要火を消した直後はまだべちゃべちゃしてる