diff --git a/404.html b/404.html index 2460611..c0f10fc 100644 --- a/404.html +++ b/404.html @@ -9,7 +9,7 @@ - diff --git a/blog/2023/0301-fukue-island/index.html b/blog/2023/0301-fukue-island/index.html index 78698fe..e22e258 100644 --- a/blog/2023/0301-fukue-island/index.html +++ b/blog/2023/0301-fukue-island/index.html @@ -9,7 +9,7 @@ - diff --git a/blog/2023/0303-fukue-island/index.html b/blog/2023/0303-fukue-island/index.html index 7280e46..95d75a0 100644 --- a/blog/2023/0303-fukue-island/index.html +++ b/blog/2023/0303-fukue-island/index.html @@ -9,7 +9,7 @@ - diff --git a/blog/2023/0304-fukue-island/index.html b/blog/2023/0304-fukue-island/index.html index 5bf4700..e0d5c4c 100644 --- a/blog/2023/0304-fukue-island/index.html +++ b/blog/2023/0304-fukue-island/index.html @@ -9,7 +9,7 @@ - diff --git a/blog/2023/0319-moving/index.html b/blog/2023/0319-moving/index.html index 4afe8b5..21d0d6d 100644 --- a/blog/2023/0319-moving/index.html +++ b/blog/2023/0319-moving/index.html @@ -9,7 +9,7 @@ - diff --git a/blog/index.html b/blog/index.html index b96e61d..4fd29a7 100644 --- a/blog/index.html +++ b/blog/index.html @@ -9,7 +9,7 @@ - diff --git a/categories/index.html b/categories/index.html index 95eef78..9ef2983 100644 --- a/categories/index.html +++ b/categories/index.html @@ -9,7 +9,7 @@ - diff --git a/index.html b/index.html index 1f9ca49..d04688a 100644 --- a/index.html +++ b/index.html @@ -9,7 +9,7 @@ - diff --git a/index.xml b/index.xml index 94c6892..d934959 100644 --- a/index.xml +++ b/index.xml @@ -1,4 +1,4 @@ -HOME onhttps://ar.falsy.cat/Recent content in HOME onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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^{2^N}$の任意のビット列について,任意の1ビットだけを反転させることで,長さ$2^N$のビット列を表現できる 参考文献 # 超難問論理クイズ「2人の幼女とチェス盤の部屋」が本当に難しすぎた - 明日は未来だ! 幼女問題まとめ - GItHub Gist Impossible Escape?ArchLinuxのインストールhttps://ar.falsy.cat/note/info-tech/install-archlinux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/install-archlinux/概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない 前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなし できるだけシンプル,ミニマリスティックに 手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.C/C++のライブラリまとめhttps://ar.falsy.cat/note/info-tech/library-c-cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/library-c-cpp/概要 C/C++のいい感じのライブラリのまとめ 基本的にlightweightかつmulti-platformなものしか載せない リンクがない項目は今後執筆予定 Script LuaJIT (C) ExprTk (C++) OS Wrapper tinycthread (C11)flutterhttps://ar.falsy.cat/note/info-tech/flutter/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/flutter/概要 マルチプラットフォーム 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 # いい感じに設定 &amp; リログ git clone https://aur.ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/<h2 id="概要">概要</h2> +HOME onhttps://ar.falsy.cat/Recent content in HOME onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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?ArchLinuxのインストールhttps://ar.falsy.cat/note/info-tech/install-archlinux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/install-archlinux/概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない 前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなし できるだけシンプル,ミニマリスティックに 手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.C/C++のライブラリまとめhttps://ar.falsy.cat/note/info-tech/library-c-cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/library-c-cpp/概要 C/C++のいい感じのライブラリのまとめ 基本的にlightweightかつmulti-platformなものしか載せない リンクがない項目は今後執筆予定 Script LuaJIT (C) ExprTk (C++) OS Wrapper tinycthread (C11)flutterhttps://ar.falsy.cat/note/info-tech/flutter/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/flutter/概要 マルチプラットフォーム 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 # いい感じに設定 &amp; リログ git clone https://aur.ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/<h2 id="概要">概要</h2> <ul> <li> <a href="https://github.com/jackyzha0/quartz" rel="noopener">Quartz</a>で diff --git a/indices/contentIndex.34ababead9879e5d97adbc97ec9fa0ea.min.json b/indices/contentIndex.7a0296c77baa9698b21ec3826f68ee7f.min.json similarity index 83% rename from indices/contentIndex.34ababead9879e5d97adbc97ec9fa0ea.min.json rename to indices/contentIndex.7a0296c77baa9698b21ec3826f68ee7f.min.json index d087fe5..4fd98c6 100644 --- a/indices/contentIndex.34ababead9879e5d97adbc97ec9fa0ea.min.json +++ b/indices/contentIndex.7a0296c77baa9698b21ec3826f68ee7f.min.json @@ -1 +1 @@ -{"/":{"title":"HOME","content":"\n[ブログ](blog)兼[備忘録](note).arはarchiveの略.[著者](https://falsy.cat/)","lastmodified":"2023-04-09T07:23:48.550897152Z","tags":null},"/blog/2023/0301-fukue-island":{"title":"福江島 1日目","content":"\n## 概要\n- 用事があって,東京から福江島へ行った\n- 宿が神\n- 3泊4日で3/4に東京へ帰還する予定\n\n## 移動\n- 出発地は東京\n- 家→羽田空港→長崎空港→五島福江空港→宿\n- 早朝に家を出て,昼に到着した\n\t- 別に昼に到着するためにわざわざ早朝に家を出たのではなく,\n\t- 1ヶ月前に航空機の予約を取ったので,安い便はほとんど早朝だっただけ\n\n### 家→羽田空港\n- 電車\n- 遅延も事故もなかったので良かった\n\n### 羽田空港→長崎空港\n- ANA\n\t- メーデーでよくLCCが堕ちている感じがある(個人的に)\n\n### 長崎空港→五島福江空港\n- 小型のプロペラ機に乗った\n\t- 到着地が雨で視界が悪かったため,条件付き(もしかしたら出発地に戻るかもしれない)運行だった\n\t- 運良く到着地に無事着陸できた\n\n### 五島福江空港→宿\n- 宿の人が車で迎えに来てくれた\n\t- 空港に着いてからタクシーを呼ぶ予定だった\n\t\t- タクシー代が浮いた\n\t\t- とてもありがたい\n\t\t- 神\n- 本当は今日までに免許を取っていたかったのだけど,2月にそんなスムーズに取れるはずもなかった\n\t- 免許取れてたらレンタカーを借りる予定だった\n\n## 宿\n- 一日一組限定の一棟貸を一人で3泊借りるという暴挙に出たけれど,嫌な顔ひとつされなかった\n\t- 上で言った通り,空港に向かえに来てさえくれた\n- ほとんど素泊まり\n\t- ご飯なし\n\t- チェックアウトまで清掃もしてくれる感じではなさそう?\n- 今のところ神\n\t- アメニティ,設備が揃ってる\n\t\t- 最初はただの民家の鍵を渡されるだけかと思ってた\n\t\t- ドライヤー,ヘアアイロン,髪につけるジェル,髭剃り,スキンケア関係も一通り揃ってた\n\t\t- ボディスポンジが,舞浜のディズニーランド近くのホテルより性能良かった\n\t- 水周りが綺麗\n\t\t- 外見は築年数が経った民家っぽかったのであまり期待してなかった\n\t\t- 想像以上に綺麗だった\n\t- キッチンが使える\n\t\t- まだ使ってないし使う予定はないけど,自炊もできる\n\t\t- 魚釣って捌いて食べるってこともできるらしい\n\t\t\t- 捌くのは外でやれって張り紙があった\n\n## 食事\n### 昼\n- [Slow Cafe たゆたう](https://tayutau510.com)\n- 鬼岳バーガー\n\t- 鬼岳は315m,バーガーは315gらしい\n- 美味しかったけど綺麗な食べ方がわからない\n- カフェラテがムンクの叫びになった\n\n![](blog/2023/0301-fukue-island/20230301_135616501..webp)\n![](blog/2023/0301-fukue-island/20230301_141621536..webp)\n\n### 夜\n- [Cafe EARTH](http://goto-earth.com)\n- 美味しかった\n- 写真は撮ってない\n\n## 猫\n- 夜歩いてたらめっちゃ足にまとわりついてくる猫がいた\n- 首輪してなかったので多分野良\n- 暗かったのでうまく撮れなかった\n\n![](blog/2023/0301-fukue-island/20230301_201257214..webp)\n![](blog/2023/0301-fukue-island/20230301_201322690..webp)","lastmodified":"2023-04-09T07:23:48.550897152Z","tags":null},"/blog/2023/0303-fukue-island":{"title":"福江島 3日目","content":"\n## 概要\n- 用事があって,東京から福江島へ行った\n- 3泊4日の3日目 ([1日目](blog/2023/0301-fukue-island))\n- 2日目は用事がメインで特に何もなかったので割愛\n\n## 観光\n### 五島観光歴史資料館\n- 入場料300円\n- 石器時代レベルの遺物から戦時中に将校が携帯していた刀まで展示してあった\n\n![五島観光歴史資料館](blog/2023/0303-fukue-island/20230303_144823.webp)\n\n### 堂崎教会\n- タクシーで行った\n\t- 定期観光バスで予約なし乗車しようと思ったら,予約いっぱいでダメだった\n\t- 運転手の人が他の教会にも連れて行ってくれた\n- 入場料300円\n- 中にはキリスト教に関係する資料や像が展示されていた\n\t- 聖典の装丁が厨二っぽくてカッコよかった\n\t- 館内は撮影禁止\n\n![堂崎教会](blog/2023/0303-fukue-island/20230303_155200.webp)\n\n![堂崎教会までの道](blog/2023/0303-fukue-island/20230303_155613.webp)\n\n## 食事\n### 昼\n- 1日目と同じく[Slow Cafe たゆたう](https://tayutau510.com)にて\n- 鬼岳マグマチーズバーガー\n\t- 相変わらず綺麗な食べ方がわからなかった\n\n![鬼岳マグマチーズバーガー](blog/2023/0303-fukue-island/20230303_130355783.webp)\n\n### 夜\n- [キッチン さゆり](https://goto.nagasaki-tabinet.com/restaurant/61866)\n- 五島牛焼肉定食\n\n![](blog/2023/0303-fukue-island/20230303_183608430.webp)\n\n## 猫\n- 福江港を散歩してたら野良猫の集団に出会った\n- ちょっと近づいても全然逃げない\n- [1日目](blog/2023/0301-fukue-island)の猫といい,島の猫は人間に馴れている\n\n![](blog/2023/0303-fukue-island/20230303_180521.webp)","lastmodified":"2023-04-09T07:23:48.554897158Z","tags":null},"/blog/2023/0304-fukue-island":{"title":"福江島 4日目 最終日","content":"\n## 概要\n- 用事があって,東京から福江島へ行った\n- 3泊4日の4日目 最終日 ([1日目](blog/2023/0301-fukue-island)/[3日目](blog/2023/0303-fukue-island))\n- 朝一で鬼岳に行って,その後帰投した\n- 帰りはほとんど行きの行程の逆を踏んだだけなので割愛\n\n## 鬼岳\n- 朝7時半にタクシーを呼んで鬼岳まで行った\n\t- 当初,鬼岳の大きさを過大評価しており,登るのは時間的に無理だろうと思い,行くのは諦めてた\n\t- しかし,[昨日](blog/2023/0303-fukue-island)のタクシーの運転手の人に「飛行機11時出発でも,朝で鬼岳は十分回れるよ」と言われたので早起きした\n- 1時間後にタクシーを予約して鬼岳を登った\n\t- さすがに全部の道を辿る時間はなかった\n\t- 無事1時間で下山できた\n- 多分夏に行ったらWindows XP\n- やっと[1日目](blog/2023/0301-fukue-island)と[3日目](blog/2023/0303-fukue-island)の昼食に食べたバーガーのモチーフとなった山に登ることができた\n\n![](blog/2023/0304-fukue-island/20230304_080357.webp)\n![](blog/2023/0304-fukue-island/20230304_080248.webp)\n![](blog/2023/0304-fukue-island/20230304_074625.webp)\n![](blog/2023/0304-fukue-island/20230304_074605.webp)\n\n## 飛行機\n- 自分が搭乗してる飛行機が地上で転回するという経験は初めてだったので滑走路の写真を撮った\n\t- 最初加速したと思ったら減速し始めて,離陸失敗かと思った\n\t- 転回のために滑走路端まで進んでただけだった\n- タクシーの運転手曰く\n\t- 五島福江の空港は滑走路が短いため大型機は離着陸ができない\n\t- 故に東京直行便を作るのも難しいらしい\n\t- 一応現地の議員が東京直行便を作ろうと頑張ってるらしい\n\n![](blog/2023/0304-fukue-island/20230304_111407.webp)\n\n## 猫\n- 空港への帰り際にまた野良猫に会った\n\n![](blog/2023/0304-fukue-island/20230304_094006.webp)\n\n終\n","lastmodified":"2023-04-09T07:23:48.554897158Z","tags":null},"/blog/2023/0319-moving":{"title":"引っ越しをした","content":"\n- 4月から色々あるので引っ越しをした\n- 立地も治安も壁の厚さもとても良いところだった\n\n![旧自宅](blog/2023/0319-moving/room.webp)","lastmodified":"2023-04-09T07:23:48.554897158Z","tags":null},"/note/chores/cooking-rice-with-saucepan":{"title":"片手鍋で米を炊く","content":"\n## 概要\n- 炊飯器が無くても米は炊ける\n- ただし火を使う間,22分程度拘束される\n\n## 手順\n1. 片手鍋で米(3合)を研ぐ\n2. 水(500ml)を入れる\n3. 蓋をして鍋ごと冷蔵庫で30分冷やす\n4. 蓋をしたまま中火で13分\n5. 弱火で3分\n6. とろ火で6分\n7. 火を消して蓋をしたまま10分放置\n\n## 補足\n- 冷やす時間は15分程度まで短縮しても良い\n\t- 短縮した場合は中火の時間も12分程度に縮める\n- 最後の放置が結構重要\n\t- 火を消した直後はまだべちゃべちゃしてる","lastmodified":"2023-04-09T07:23:48.554897158Z","tags":null},"/note/chores/one-hand-egg-cracking":{"title":"卵を片手で割る手法の提案","content":"\n## Abstract\n- This paper proposes a method to crack eggs by one hand\n- The method can reduce cooking time and promote multi-tasking\n- No special appliance is needed\n- However accuracy of action is necessary to keep yolk unbroken\n\n## 概要\n- 調理の時短とマルチタスク促進のために卵を片手で割る手法を提案する\n- 本手法は一般家庭にある既存の器具のみで実行が可能\n- ただし黄身を割らないためには繊細な動作が要求される\n\n## 背景\n- 左手でゴミ袋を持ちながら右手で卵を割ると非常に時短になる\n- 特に調理プロセスのなかで一度に複数の卵が関与する場合に著しい時短効果が得られる\n- [先行研究](https://gourmet-note.jp/posts/15029)の手法では調理対象に殻が混入してしまうことが多い\n\n## 手法\n1. 卵をフォークボールを投げる時のように持つ\n\t- 鋭端が人差し指と中指の間に来るように持つ\n\t- 鈍端を親指と薬指で支える\n2. 皿の淵で卵の殻に割れ目を作る\n\t- 卵の鋭端と鈍端を結ぶ線分の垂直二等分線が皿の淵と重なるように腕を何回か振り下ろす\n\t- 皿を卵の直径の$\\frac{1}{4}$程度まで食い込ませる\n\t- 卵を皿に押し付けて真っ二つにするイメージ\n\t- ここで皿を食い込ませすぎると黄身が割れる原因になる\n3. 人差し指の付け根で割れ目の裏側を押し出す\n\t- 人差し指,中指,親指,薬指で卵をしっかりと支えておく\n\n## 評価実験\n- 本手法を用いて鶏卵2個を割った\n- 1個は黄身が割れたが,1個は割れなかった\n- 卵の殻が調理対象に混入することはなかった\n\n## まとめ\n- 卵を片手で割る手法を提案した\n- 本手法では50%の確率で黄身が割れる\n- [先行研究](https://gourmet-note.jp/posts/15029)の手法と異なり,卵の殻が混入する確率は低い\n- 今後の課題として,黄身が割れる確率を抑えることが挙げられる\n- 理論上,左右両方の手で同時に2個の卵を割ることでさらなる効率化を図れる","lastmodified":"2023-04-09T07:23:48.554897158Z","tags":null},"/note/info-tech/flutter":{"title":"flutter","content":"\n## 概要\n- マルチプラットフォーム GUIアプリケーション フレームワーク\n\t- iOS/Android,Web,Windows/Linux/Mac,組み込み\n- Google製\n- 使用言語はDart\n\n## インストール\n### Arch Linux\n\n- [install-archlinux](note/info-tech/install-archlinux.md)の直後から,`flutter doctor`がオールグリーンになるまで\n- 1時間ぐらいは覚悟したほうがいい\n- 特にandroid-studioがクソでかいので[qemu](note/info-tech/qemu)イメージのリサイズをする羽目になった\n- [参考文献](https://dev.to/nabbisen/flutter-3-on-arch-linux-shi-mefang-1m2j)\n- 追記: [qemu](note/info-tech/qemu)上だとパフォーマンスがゴミすぎてまともに使えなかった X(\n\t- ハードウェアアクセラレーションとか頑張ればいけるのかもしれないけど,諦めてホストのMacbookに直接入れた\n\n#### 手順\n1. 依存のインストール\n```bash\npacman -S base-devel xorg-server xterm i3-wm noto-fonts git clang cmake ninja chromium\nvisudo # いい感じに設定 \u0026 リログ\n\ngit clone https://aur.archlinux.org/flutter.git\ncd flutter\nmakepkg -sci # JDKはデフォルトを選択\ncd ..\n\ngit clone https://aur.archlinux.org/android-studio.git\ncd android-studio\nmakepkg -sci\ncd ..\n\nusermod -aG flutterusers user # 設定後にリログ\n```\n\n2. Android Studioの設定\n\t1. 初期設定は適当に\n\t2. Android StudioからFlutterプラグインをインストール&再起動\n\t3. Flutterプロジェクトを作成\n\t\t- flutter SDKのパス設定を忘れずに (`/opt/flutter`)\n\t4. `Android SDK Command line tools`をインストール\n\n3. flutter doctor\n```bash\nexport CHROME_EXECUTABLE=chromium # 必要なら永続化する\ngit config --global --add safe.directory /opt/flutter\nflutter doctor --android-licenses\nflutter doctor # 完了\n```\n\n\n## 感想\n- メジャーバージョンが同じでも後方互換性は乏しい\n\t- 過去のプロジェクトをビルドしようとしてもよくわからないエラーが大量に出てくる","lastmodified":"2023-04-09T07:23:48.554897158Z","tags":null},"/note/info-tech/install-archlinux":{"title":"ArchLinuxのインストール","content":"\n## 概要\n- [ArchLinux](https://archlinux.org)のインストール手順を記録する\n- Live Environmentの起動方法については触れない\n\n\u003c!-- more --\u003e\n\n## 前提\n- [qemu](note/info-tech/qemu.md)上の仮想マシン\n- BIOS\n- GPT\n- x86_64\n- デュアルブートなし\n- できるだけシンプル,ミニマリスティックに\n\n## 手順\n### 1. 事前準備\n\n```bash\nloadkeys jp106 # キーボード設定\nping google.com # インターネット疎通確認\ntimedatectl status # 時間の確認 (この時点ではUTC)\n```\n\n### 2. パーティショニング\n```bash\ncfdisk /dev/sda # 先頭1MiBをBIOS bootに,残りをLinuxに設定\nmkfs.ext4 /dev/sda1 # フォーマット\nmount /dev/sda1 /mnt # /mntへマウント\n```\n\n### 3. インストール\n```bash\nvim /etc/pacman.d/mirrorlist # 日本のmirrorを指定しておく\npacstrap -K /mnt base linux linux-firmware vim grub dhcpcd # Wi-Fiで10分くらい\n```\n\n- 執筆時点で有効な日本のmirror\n\t- `http://mirrors.cat.net/archlinux/$repo/os/$arch`\n\t- `https://mirrors.cat.net/archlinux/$repo/os/$arch`\n\n### 4. 初期設定\n```bash\ngenfstab -U /mnt \u003e\u003e /mnt/etc/fstab\narch-chroot /mnt # 以下仮想rootで作業\n```\n#### 時計関係\n```bash\nln -sf /usr/share/zoneinfo/Asia/Tokyo /etc/localtime # TZを東京に\nhwclock --systohc\n```\n\n#### 言語関係\n- `/etc/locale.gen`を編集して,`en_US.UTF-8 UTF-8`をアンコメント\n- `locale-gen`\n- `/etc/locale.conf`を作成して`LANG=en_US.UTF-8`を追記-\n- `/etc/vconsole.conf`を作成して`KEYMAP=jp106`を追記\n\n#### カスタマイズ\n- `/etc/hostname`にホスト名を設定\n- `passwd`でrootパスワードを設定\n- `systemctl enable dhcpcd`\n\n#### ブートローダのインストール\n```bash\ngrub-install --target=i386-pc /dev/sda\ngrub-mkconfig -o /boot/grub/grub.cfg\n```\n\n以上.","lastmodified":"2023-04-09T07:23:48.554897158Z","tags":null},"/note/info-tech/library-c-cpp":{"title":"C/C++のライブラリまとめ","content":"\n## 概要\n- C/C++のいい感じのライブラリのまとめ\n- 基本的にlightweightかつmulti-platformなものしか載せない\n- リンクがない項目は今後執筆予定\n\n## Script\n- [LuaJIT](note/info-tech/luajit) (C)\n- [ExprTk](note/info-tech/exprtk) (C++)\n\n## OS Wrapper\n- [tinycthread](note/info-tech/tinycthread) (C11)","lastmodified":"2023-04-09T07:23:48.554897158Z","tags":null},"/note/info-tech/obsidian":{"title":"Obsidianについて","content":"\n[公式サイト](https://obsidian.md)\n\n## 概要\n- オフラインのwikiっぽいもの(=Vault)\n- 記法はmarkdown\n- Vaultは全てローカルに保存される\n\n## インストール\n- [公式サイト](https://obsidian.md)に各OSのインストーラが揃ってる\n- Macでは`brew install obsidian`ができる\n\n## いいところ\n- シンプルでスタイリッシュなデザイン\n- 完全ローカルなので高セキュリティ\n- 数式が使える $E=mc^2$\n\n## わるいところ\n- 完全ローカルなので同期が課題\n\t- Vaultが巨大になるほど同期コストも増加\n- Macにて,エディタ上のリアルタイムプレビューとIMEが競合して日本語が正常に入力できないことがある\n\n## 所感\n- ar.falsy.catの記事書くのに使っている\n- WebDAVなどのファイルサーバー上にあるVaultを,全体をダウンロードせずに開けるようになれば素晴らしい\n\n## 関連\n- [Vaultをweb公開する](note/info-tech/publish-obsidian-by-quartz.md)","lastmodified":"2023-04-09T07:23:48.554897158Z","tags":null},"/note/info-tech/pleroma":{"title":"Pleroma","content":"\n## 概要\n- ActivityPubに対応したlightweight(自称)なSNS\n- 単体で見るとlightweightには思えないけど,mastodonと比べたら確かにlightweight\n\n## DB肥大化問題\n- 長期間Pleromaを稼働させ続けると,DBのレコード数がやばいことになる\n- DBのレスポンスがくそ長くなり,最終的にタイムアウトで500になる\n- オブジェクトの寿命とか設定してみたけど特に意味はなかった\n\n### 解決法\n- ローカルアカウントそれ自体の情報以外の情報を削除する\n- pleromaを停止して,postgresで次のSQLを実行する\n\t- 自動化しても良いかもしれない\n- 追記: **フォロー/フォロワー情報も削除されてしまったので改善が必要!!!**\n```SQL\nTRUNCATE TABLE activities CASCADE; # 全アクティビティの削除\nDELETE FROM users WHERE not local; # 全リモートユーザーの削除\nVACUUM FULL;\nVACUUM ANALYZE;\n```","lastmodified":"2023-04-09T07:23:48.558897165Z","tags":null},"/note/info-tech/publish-obsidian-by-quartz":{"title":"ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築","content":"\n## 概要\n- [Quartz](https://github.com/jackyzha0/quartz)で[Obsidian](note/info-tech/obsidian.md)のVaultを公開する\n- 「*セカンドブレインデジタルガーデン*」という御大層な言葉は[Quartz](https://github.com/jackyzha0/quartz)の紹介文からの引用\n\n\u003c!--more--\u003e\n\n## 初期設定\n1. [Quartz](https://github.com/jackyzha0/quartz)をforkする\n2. GitHub Actionsを有効化\n3. repoの設定で`workflow permission`を`read and write permissions`へ変更\n\t- これしないとdeployに失敗する\n4. repoをローカルにclone\n5. `data/config.yaml`をいい感じに編集\n\t- `author`など\n6. `config.toml`をいい感じに編集\n\t- `baseURL`など\n7. pushする\n8. deployが終わったらGitHub Pagesのドメイン設定をする\n\n## 記事の執筆\n1. ローカルrepoの`content/`ディレクトリをVaultとしてObisidianで開く\n\t- `content/templates/`は弄ってはいけない\n2. 記事を書く\n3. pushする\n\n## ローカルプレビュー\n- dockerがあれば,リポジトリrootで`make docker`すれば`localhost:1313`にアクセスできる\n- `Makefile`の`docker`ターゲットのコマンドを下のように置き換えることで次の問題が解決できる\n\t- Ctrl+Cでサーバーが終了しない\n\t- `make docker`する度にゴミコンテナが残る\n```bash\ndocker run -it --init --name quartz-preview --volume=$(shell pwd):/quartz -p 1313:1313 ghcr.io/jackyzha0/quartz:hugo; docker rm quartz-preview\n```\n\n## カスタマイズ\n\n### Recent Notesの表示数を変更する\n1. `layouts/partials/recent.html`の`first 3 $notes`を変更する\n\n### トップページにグローバルグラフを表示する\n1. `data/graphConfig.yaml`の`enableGlobalGraph`を`true`にする\n\n### 記事にRelated Notesを表示する\n1. `layouts/partials/recent.html`を作成\n2. `layouts/_default/single.html`の好きな位置に`{{partial \"related.html\" .}}`を挿入\n3. `i18n/en.toml`に`related_notes`の翻訳を追加\n\nlayouts/partials/recent.html\n```html\n\u003cdiv class=\"content-list\"\u003e\n \u003ch2\u003e{{ i18n \"related_notes\" }}\u003c/h2\u003e\n {{$notes := .Site.RegularPages.Related .}}\n {{partial \"page-list.html\" (first 3 $notes)}}\n\u003c/div\u003e\n```\n\n## 所感\n- 扱いやすい[Obsidian](note/info-tech/obsidian.md)で執筆して,[Quartz](https://github.com/jackyzha0/quartz)でいい感じに公開ができた\n- 執筆のためにリポジトリをcloneしなければならないため,記事数が増えた時の複数PCの同期コストが問題になりそう\n\t- ブランチ分けてPullRequest活用すれば解決する?\n\t\t- 記事書くたびにPR作るのはクソめんどくさそう","lastmodified":"2023-04-09T07:23:48.558897165Z","tags":null},"/note/info-tech/qemu":{"title":"qemu","content":"\n## 概要\n- コマンドラインベースのVirtualBoxと思っている\n- 今のところM2チップのMacbook ProでLinuxを使うための最善手\n\t- M1/M2向けVirtualBoxはまだ開発者プレビューしかなく,まともに使えなかった\n\n\u003c!--more--\u003e\n\n## インストール\n\n### Mac\n```bash\n$ brew install qemu\n```\n- ハードウェアアクセラレーションが有効化されている他のビルドもあるらしいが未検証\n\t- 今後GPU使いたくなったら検証予定\n\n## コマンド逆引き\n\n### ディスクイメージの作成\n```bash\nqemu-img create -f qcow2 sda.qcow2 16G\n```\n\n### ディスクイメージのリサイズ\n```bash\n# ホストOSで実行\nqemu-img resize sda.qcow2 +16G\n\n# ゲストで実行\ncfdisk /dev/sda # いい感じに\ne2fsck -f /dev/sda2\nresize2fs /dev/sda2\n```\n\n### archのlive cdを起動\n```bash\nqemu-system-x86_64 \\\n -m 4G \\\n -cdrom ../iso/archlinux-2023.02.01-x86_64.iso \\\n sda.qcow2\n```\n- [関連: ArchLinuxのインストール方法](note/info-tech/install-archlinux.md)","lastmodified":"2023-04-09T07:23:48.558897165Z","tags":null},"/note/info-tech/tinycthread":{"title":"tinycthread","content":"\n[tinycthread](https://tinycthread.github.io) / [API doc](https://tinycthread.github.io/doc/tinycthread_8h.html)\n\n## 概要\n- スレッド関係の機能を提供するlightweightなライブラリ\n\t- `mtx`: mutex\n\t- `cnd`: condition variable\n\t- `thrd`: thread\n\t- `tss`: thread-specific storage\n- C11\n- zlib license\n- マルチプラットフォーム\n- CMake利用可能\n\n## 導入方法\n### CMake: FetchContent\n```cmake\n# ---- tinycthread ----\n# repository: https://github.com/tinycthread/tinycthread\n# license : zlib\n\nFetchContent_Declare(\n tinycthread\n GIT_REPOSITORY \"https://github.com/tinycthread/tinycthread.git\"\n GIT_TAG \"6957fc8383d6c7db25b60b8c849b29caab1caaee\"\n)\nFetchContent_MakeAvailable(tinycthread)\n```","lastmodified":"2023-04-09T07:23:48.558897165Z","tags":null},"/note/info-tech/two-lolita-devils-and-chess-board":{"title":"2人の幼女と悪魔とチェス盤","content":"\n## 概要\n- 「2人の幼女とチェス盤の部屋」という次のような論理問題を解説する\n\t- 以下の手順の後,幼女Bが任意の整数$x\\left(0\\leq x\u003c64\\right)$を求められるようにするには,幼女Aはどのような操作を行うべきか\n\t\t1. 悪魔が8x8チェス盤の各マスに1個ずつ,合計0個以上64個以下のポーンをランダムに配置する\n\t\t2. 悪魔は幼女Aにチェス盤を見せ,任意の数字$x\\left(0\\leq x\u003c64\\right)$を伝える\n\t\t3. 幼女Aは,チェス盤に対して次のいずれかの操作のうち可能であるものを1回だけ必ず行う\n\t\t\t- 任意のマスからポーンを1個だけ取り除く\n\t\t\t- 任意のマスにポーンを1個だけ追加する\n\t\t4. 悪魔は幼女Bにチェス盤を見せる\n\n## 問題の簡潔化\n- $f(g(b,x))=x$とできるような写像$f,g$を求めよ\n\t- $B=\\left\\\\{0,1\\right\\\\}$\n\t- $b\\in B^{64}$\n\t- $x\\in B^6$\n\t- $f: B^{64} \\rightarrow B^6$\n\t- $g: \\left\u003cB^{64}, B^6\\right\u003e\\rightarrow B^{64}$\n\t\t- $b$と$g(b,x)$は1ビットだけ異なる\n\n## 解答\n- $f(b)=f_0\\oplus f_1\\oplus f_2 \\oplus \\dots \\oplus f_{63} \\quad\\left(f_i=i b_i\\right)$\n- $b'=g(b,x) \\implies b'_m \\neq b_m\\quad\\left(m=x\\oplus f(b)\\right)$\n- [チェス盤が16x16の場合のプログラム](https://wandbox.org/permlink/XLo1pGURvrU4Y4Jj)\n\n## 解説\n- $x=f(b)\\oplus m$となるような$m\\in B^6$は必ず存在する\n- 盤面の各マスに$m$の値を割り当てることで,1マスの操作だけで$m$を表現できる\n\t- 盤面のマス目の数も,$m$がとりうる値の数も64\n\t- $f(g(b,x))=f(b)\\oplus m=f(b)\\oplus f\\_m\\oplus m(1-b\\_m)$\n\n## 応用\n- 長さ$2^{2^N}$の任意のビット列について,任意の1ビットだけを反転させることで,長さ$2^N$のビット列を表現できる\n\n## 参考文献\n- [# 超難問論理クイズ「2人の幼女とチェス盤の部屋」が本当に難しすぎた - 明日は未来だ!](https://sist8.com/chess2you)\n- [幼女問題まとめ - GItHub Gist](https://gist.github.com/catupper/5678658)\n- [Impossible Escape? - DataGenetics](http://datagenetics.com/blog/december12014/index.html)","lastmodified":"2023-04-09T07:23:48.558897165Z","tags":null},"/note/word-play/japanese-text-all-stars":{"title":"国語教科書オールスターズ","content":"\n## 概要\n- 今までの国語の教科書に出てきた忘れられない奴等を忘れないために記録しておく\n\n\u003c!--more--\u003e\n\n## 小学校\n- さるのだいじなかぎのたば\n\t- 小学一年生の一番最初の単元だった気がする\n- *タイトル不明 要調査*\n\t- 木を描くやつ\n- アップとルーズで捉える\n\n## 中学校\n- かまきりりゅうじ\n\t- 「おれはかまきり」\n- いろは歌\n\t- 「いろはにほへと ちりぬるを わかよたれそ つねならむ ういのおくやま けふこえて あさきゆめみし えひもせすん」\n\t\t- 未だに空で書けた\n\t\t- 一人ずつ立って暗唱させられた記憶がある\n- *タイトル不明 要調査*\n\t- 「えんびふらい」\n- *タイトル不明 要調査*\n\t- 月の起源についての説明文\n- *タイトル不明 要調査*\n\t- ルロイ修道士「問題の細分化」\n\t- 月月火水木金金\n- 少年の日の思い出\n\t- エーミール「そうかそうか,つまりきみはそういうやつなんだな」","lastmodified":"2023-04-09T07:23:48.558897165Z","tags":null},"/note/word-play/proof-of-reality-using-lucid-dream":{"title":"明晰夢を利用した現実の証明","content":"\n## 概要\n- 今の意識が現実であることを証明する手法を論理的に導く\n- ただの言葉遊びなので哲学的な何かは期待しないでほしい\n\n## 前提\n- ここでは次の前提のもと議論を進める\n\t- 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている\n\t- 明晰夢を見ている,ならば,全てが思い通りになる\n\t- 夢でないならば現実である\n- 証明は次の定義の元で行う\n\t- 状況$A$: 夢を見ている\n\t- 状況$B$: 夢を見ていることを自覚している\n\t- 状況$C$: 明晰夢を見ている\n\t- 状況$D$: 全てが思い通りである\n- 証明の最終的な目標は$X\\implies \\overline{A}$を導くことである\n\n## 証明\n1. 前提より\n\t- $P_1: A\\cap B\\iff C$\n\t- $P_2: C \\implies D$\n2. $P_1,P_2$より,三段論法を用いて\n\t- $P_3: A \\cap B \\implies D$\n3. $P_3$の対偶より\n\t- $P_4: \\overline{D}\\implies \\overline{A\\cap B}$\n4. $P_4$より,ド・モルガンの公式を用いて\n\t- $P_5: \\overline{D}\\implies \\overline{A} \\cup \\overline{B}$\n5. $B$は意図的に真にできるため,$P_5$より\n\t- $\\overline{D}\\cap B \\implies \\overline{A}$\n\n## 結論\n- 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である\n- ただし,この手法では全ての現実を証明できるとは言えないことに留意されたい","lastmodified":"2023-04-09T07:23:48.558897165Z","tags":null}} \ No newline at end of file +{"/":{"title":"HOME","content":"\n[ブログ](blog)兼[備忘録](note).arはarchiveの略.[著者](https://falsy.cat/)","lastmodified":"2023-04-09T07:28:36.006125957Z","tags":null},"/blog/2023/0301-fukue-island":{"title":"福江島 1日目","content":"\n## 概要\n- 用事があって,東京から福江島へ行った\n- 宿が神\n- 3泊4日で3/4に東京へ帰還する予定\n\n## 移動\n- 出発地は東京\n- 家→羽田空港→長崎空港→五島福江空港→宿\n- 早朝に家を出て,昼に到着した\n\t- 別に昼に到着するためにわざわざ早朝に家を出たのではなく,\n\t- 1ヶ月前に航空機の予約を取ったので,安い便はほとんど早朝だっただけ\n\n### 家→羽田空港\n- 電車\n- 遅延も事故もなかったので良かった\n\n### 羽田空港→長崎空港\n- ANA\n\t- メーデーでよくLCCが堕ちている感じがある(個人的に)\n\n### 長崎空港→五島福江空港\n- 小型のプロペラ機に乗った\n\t- 到着地が雨で視界が悪かったため,条件付き(もしかしたら出発地に戻るかもしれない)運行だった\n\t- 運良く到着地に無事着陸できた\n\n### 五島福江空港→宿\n- 宿の人が車で迎えに来てくれた\n\t- 空港に着いてからタクシーを呼ぶ予定だった\n\t\t- タクシー代が浮いた\n\t\t- とてもありがたい\n\t\t- 神\n- 本当は今日までに免許を取っていたかったのだけど,2月にそんなスムーズに取れるはずもなかった\n\t- 免許取れてたらレンタカーを借りる予定だった\n\n## 宿\n- 一日一組限定の一棟貸を一人で3泊借りるという暴挙に出たけれど,嫌な顔ひとつされなかった\n\t- 上で言った通り,空港に向かえに来てさえくれた\n- ほとんど素泊まり\n\t- ご飯なし\n\t- チェックアウトまで清掃もしてくれる感じではなさそう?\n- 今のところ神\n\t- アメニティ,設備が揃ってる\n\t\t- 最初はただの民家の鍵を渡されるだけかと思ってた\n\t\t- ドライヤー,ヘアアイロン,髪につけるジェル,髭剃り,スキンケア関係も一通り揃ってた\n\t\t- ボディスポンジが,舞浜のディズニーランド近くのホテルより性能良かった\n\t- 水周りが綺麗\n\t\t- 外見は築年数が経った民家っぽかったのであまり期待してなかった\n\t\t- 想像以上に綺麗だった\n\t- キッチンが使える\n\t\t- まだ使ってないし使う予定はないけど,自炊もできる\n\t\t- 魚釣って捌いて食べるってこともできるらしい\n\t\t\t- 捌くのは外でやれって張り紙があった\n\n## 食事\n### 昼\n- [Slow Cafe たゆたう](https://tayutau510.com)\n- 鬼岳バーガー\n\t- 鬼岳は315m,バーガーは315gらしい\n- 美味しかったけど綺麗な食べ方がわからない\n- カフェラテがムンクの叫びになった\n\n![](blog/2023/0301-fukue-island/20230301_135616501..webp)\n![](blog/2023/0301-fukue-island/20230301_141621536..webp)\n\n### 夜\n- [Cafe EARTH](http://goto-earth.com)\n- 美味しかった\n- 写真は撮ってない\n\n## 猫\n- 夜歩いてたらめっちゃ足にまとわりついてくる猫がいた\n- 首輪してなかったので多分野良\n- 暗かったのでうまく撮れなかった\n\n![](blog/2023/0301-fukue-island/20230301_201257214..webp)\n![](blog/2023/0301-fukue-island/20230301_201322690..webp)","lastmodified":"2023-04-09T07:28:36.006125957Z","tags":null},"/blog/2023/0303-fukue-island":{"title":"福江島 3日目","content":"\n## 概要\n- 用事があって,東京から福江島へ行った\n- 3泊4日の3日目 ([1日目](blog/2023/0301-fukue-island))\n- 2日目は用事がメインで特に何もなかったので割愛\n\n## 観光\n### 五島観光歴史資料館\n- 入場料300円\n- 石器時代レベルの遺物から戦時中に将校が携帯していた刀まで展示してあった\n\n![五島観光歴史資料館](blog/2023/0303-fukue-island/20230303_144823.webp)\n\n### 堂崎教会\n- タクシーで行った\n\t- 定期観光バスで予約なし乗車しようと思ったら,予約いっぱいでダメだった\n\t- 運転手の人が他の教会にも連れて行ってくれた\n- 入場料300円\n- 中にはキリスト教に関係する資料や像が展示されていた\n\t- 聖典の装丁が厨二っぽくてカッコよかった\n\t- 館内は撮影禁止\n\n![堂崎教会](blog/2023/0303-fukue-island/20230303_155200.webp)\n\n![堂崎教会までの道](blog/2023/0303-fukue-island/20230303_155613.webp)\n\n## 食事\n### 昼\n- 1日目と同じく[Slow Cafe たゆたう](https://tayutau510.com)にて\n- 鬼岳マグマチーズバーガー\n\t- 相変わらず綺麗な食べ方がわからなかった\n\n![鬼岳マグマチーズバーガー](blog/2023/0303-fukue-island/20230303_130355783.webp)\n\n### 夜\n- [キッチン さゆり](https://goto.nagasaki-tabinet.com/restaurant/61866)\n- 五島牛焼肉定食\n\n![](blog/2023/0303-fukue-island/20230303_183608430.webp)\n\n## 猫\n- 福江港を散歩してたら野良猫の集団に出会った\n- ちょっと近づいても全然逃げない\n- [1日目](blog/2023/0301-fukue-island)の猫といい,島の猫は人間に馴れている\n\n![](blog/2023/0303-fukue-island/20230303_180521.webp)","lastmodified":"2023-04-09T07:28:36.010125982Z","tags":null},"/blog/2023/0304-fukue-island":{"title":"福江島 4日目 最終日","content":"\n## 概要\n- 用事があって,東京から福江島へ行った\n- 3泊4日の4日目 最終日 ([1日目](blog/2023/0301-fukue-island)/[3日目](blog/2023/0303-fukue-island))\n- 朝一で鬼岳に行って,その後帰投した\n- 帰りはほとんど行きの行程の逆を踏んだだけなので割愛\n\n## 鬼岳\n- 朝7時半にタクシーを呼んで鬼岳まで行った\n\t- 当初,鬼岳の大きさを過大評価しており,登るのは時間的に無理だろうと思い,行くのは諦めてた\n\t- しかし,[昨日](blog/2023/0303-fukue-island)のタクシーの運転手の人に「飛行機11時出発でも,朝で鬼岳は十分回れるよ」と言われたので早起きした\n- 1時間後にタクシーを予約して鬼岳を登った\n\t- さすがに全部の道を辿る時間はなかった\n\t- 無事1時間で下山できた\n- 多分夏に行ったらWindows XP\n- やっと[1日目](blog/2023/0301-fukue-island)と[3日目](blog/2023/0303-fukue-island)の昼食に食べたバーガーのモチーフとなった山に登ることができた\n\n![](blog/2023/0304-fukue-island/20230304_080357.webp)\n![](blog/2023/0304-fukue-island/20230304_080248.webp)\n![](blog/2023/0304-fukue-island/20230304_074625.webp)\n![](blog/2023/0304-fukue-island/20230304_074605.webp)\n\n## 飛行機\n- 自分が搭乗してる飛行機が地上で転回するという経験は初めてだったので滑走路の写真を撮った\n\t- 最初加速したと思ったら減速し始めて,離陸失敗かと思った\n\t- 転回のために滑走路端まで進んでただけだった\n- タクシーの運転手曰く\n\t- 五島福江の空港は滑走路が短いため大型機は離着陸ができない\n\t- 故に東京直行便を作るのも難しいらしい\n\t- 一応現地の議員が東京直行便を作ろうと頑張ってるらしい\n\n![](blog/2023/0304-fukue-island/20230304_111407.webp)\n\n## 猫\n- 空港への帰り際にまた野良猫に会った\n\n![](blog/2023/0304-fukue-island/20230304_094006.webp)\n\n終\n","lastmodified":"2023-04-09T07:28:36.010125982Z","tags":null},"/blog/2023/0319-moving":{"title":"引っ越しをした","content":"\n- 4月から色々あるので引っ越しをした\n- 立地も治安も壁の厚さもとても良いところだった\n\n![旧自宅](blog/2023/0319-moving/room.webp)","lastmodified":"2023-04-09T07:28:36.010125982Z","tags":null},"/note/chores/cooking-rice-with-saucepan":{"title":"片手鍋で米を炊く","content":"\n## 概要\n- 炊飯器が無くても米は炊ける\n- ただし火を使う間,22分程度拘束される\n\n## 手順\n1. 片手鍋で米(3合)を研ぐ\n2. 水(500ml)を入れる\n3. 蓋をして鍋ごと冷蔵庫で30分冷やす\n4. 蓋をしたまま中火で13分\n5. 弱火で3分\n6. とろ火で6分\n7. 火を消して蓋をしたまま10分放置\n\n## 補足\n- 冷やす時間は15分程度まで短縮しても良い\n\t- 短縮した場合は中火の時間も12分程度に縮める\n- 最後の放置が結構重要\n\t- 火を消した直後はまだべちゃべちゃしてる","lastmodified":"2023-04-09T07:28:36.010125982Z","tags":null},"/note/chores/one-hand-egg-cracking":{"title":"卵を片手で割る手法の提案","content":"\n## Abstract\n- This paper proposes a method to crack eggs by one hand\n- The method can reduce cooking time and promote multi-tasking\n- No special appliance is needed\n- However accuracy of action is necessary to keep yolk unbroken\n\n## 概要\n- 調理の時短とマルチタスク促進のために卵を片手で割る手法を提案する\n- 本手法は一般家庭にある既存の器具のみで実行が可能\n- ただし黄身を割らないためには繊細な動作が要求される\n\n## 背景\n- 左手でゴミ袋を持ちながら右手で卵を割ると非常に時短になる\n- 特に調理プロセスのなかで一度に複数の卵が関与する場合に著しい時短効果が得られる\n- [先行研究](https://gourmet-note.jp/posts/15029)の手法では調理対象に殻が混入してしまうことが多い\n\n## 手法\n1. 卵をフォークボールを投げる時のように持つ\n\t- 鋭端が人差し指と中指の間に来るように持つ\n\t- 鈍端を親指と薬指で支える\n2. 皿の淵で卵の殻に割れ目を作る\n\t- 卵の鋭端と鈍端を結ぶ線分の垂直二等分線が皿の淵と重なるように腕を何回か振り下ろす\n\t- 皿を卵の直径の$\\frac{1}{4}$程度まで食い込ませる\n\t- 卵を皿に押し付けて真っ二つにするイメージ\n\t- ここで皿を食い込ませすぎると黄身が割れる原因になる\n3. 人差し指の付け根で割れ目の裏側を押し出す\n\t- 人差し指,中指,親指,薬指で卵をしっかりと支えておく\n\n## 評価実験\n- 本手法を用いて鶏卵2個を割った\n- 1個は黄身が割れたが,1個は割れなかった\n- 卵の殻が調理対象に混入することはなかった\n\n## まとめ\n- 卵を片手で割る手法を提案した\n- 本手法では50%の確率で黄身が割れる\n- [先行研究](https://gourmet-note.jp/posts/15029)の手法と異なり,卵の殻が混入する確率は低い\n- 今後の課題として,黄身が割れる確率を抑えることが挙げられる\n- 理論上,左右両方の手で同時に2個の卵を割ることでさらなる効率化を図れる","lastmodified":"2023-04-09T07:28:36.010125982Z","tags":null},"/note/info-tech/flutter":{"title":"flutter","content":"\n## 概要\n- マルチプラットフォーム GUIアプリケーション フレームワーク\n\t- iOS/Android,Web,Windows/Linux/Mac,組み込み\n- Google製\n- 使用言語はDart\n\n## インストール\n### Arch Linux\n\n- [install-archlinux](note/info-tech/install-archlinux.md)の直後から,`flutter doctor`がオールグリーンになるまで\n- 1時間ぐらいは覚悟したほうがいい\n- 特にandroid-studioがクソでかいので[qemu](note/info-tech/qemu)イメージのリサイズをする羽目になった\n- [参考文献](https://dev.to/nabbisen/flutter-3-on-arch-linux-shi-mefang-1m2j)\n- 追記: [qemu](note/info-tech/qemu)上だとパフォーマンスがゴミすぎてまともに使えなかった X(\n\t- ハードウェアアクセラレーションとか頑張ればいけるのかもしれないけど,諦めてホストのMacbookに直接入れた\n\n#### 手順\n1. 依存のインストール\n```bash\npacman -S base-devel xorg-server xterm i3-wm noto-fonts git clang cmake ninja chromium\nvisudo # いい感じに設定 \u0026 リログ\n\ngit clone https://aur.archlinux.org/flutter.git\ncd flutter\nmakepkg -sci # JDKはデフォルトを選択\ncd ..\n\ngit clone https://aur.archlinux.org/android-studio.git\ncd android-studio\nmakepkg -sci\ncd ..\n\nusermod -aG flutterusers user # 設定後にリログ\n```\n\n2. Android Studioの設定\n\t1. 初期設定は適当に\n\t2. Android StudioからFlutterプラグインをインストール&再起動\n\t3. Flutterプロジェクトを作成\n\t\t- flutter SDKのパス設定を忘れずに (`/opt/flutter`)\n\t4. `Android SDK Command line tools`をインストール\n\n3. flutter doctor\n```bash\nexport CHROME_EXECUTABLE=chromium # 必要なら永続化する\ngit config --global --add safe.directory /opt/flutter\nflutter doctor --android-licenses\nflutter doctor # 完了\n```\n\n\n## 感想\n- メジャーバージョンが同じでも後方互換性は乏しい\n\t- 過去のプロジェクトをビルドしようとしてもよくわからないエラーが大量に出てくる","lastmodified":"2023-04-09T07:28:36.010125982Z","tags":null},"/note/info-tech/install-archlinux":{"title":"ArchLinuxのインストール","content":"\n## 概要\n- [ArchLinux](https://archlinux.org)のインストール手順を記録する\n- Live Environmentの起動方法については触れない\n\n\u003c!-- more --\u003e\n\n## 前提\n- [qemu](note/info-tech/qemu.md)上の仮想マシン\n- BIOS\n- GPT\n- x86_64\n- デュアルブートなし\n- できるだけシンプル,ミニマリスティックに\n\n## 手順\n### 1. 事前準備\n\n```bash\nloadkeys jp106 # キーボード設定\nping google.com # インターネット疎通確認\ntimedatectl status # 時間の確認 (この時点ではUTC)\n```\n\n### 2. パーティショニング\n```bash\ncfdisk /dev/sda # 先頭1MiBをBIOS bootに,残りをLinuxに設定\nmkfs.ext4 /dev/sda1 # フォーマット\nmount /dev/sda1 /mnt # /mntへマウント\n```\n\n### 3. インストール\n```bash\nvim /etc/pacman.d/mirrorlist # 日本のmirrorを指定しておく\npacstrap -K /mnt base linux linux-firmware vim grub dhcpcd # Wi-Fiで10分くらい\n```\n\n- 執筆時点で有効な日本のmirror\n\t- `http://mirrors.cat.net/archlinux/$repo/os/$arch`\n\t- `https://mirrors.cat.net/archlinux/$repo/os/$arch`\n\n### 4. 初期設定\n```bash\ngenfstab -U /mnt \u003e\u003e /mnt/etc/fstab\narch-chroot /mnt # 以下仮想rootで作業\n```\n#### 時計関係\n```bash\nln -sf /usr/share/zoneinfo/Asia/Tokyo /etc/localtime # TZを東京に\nhwclock --systohc\n```\n\n#### 言語関係\n- `/etc/locale.gen`を編集して,`en_US.UTF-8 UTF-8`をアンコメント\n- `locale-gen`\n- `/etc/locale.conf`を作成して`LANG=en_US.UTF-8`を追記-\n- `/etc/vconsole.conf`を作成して`KEYMAP=jp106`を追記\n\n#### カスタマイズ\n- `/etc/hostname`にホスト名を設定\n- `passwd`でrootパスワードを設定\n- `systemctl enable dhcpcd`\n\n#### ブートローダのインストール\n```bash\ngrub-install --target=i386-pc /dev/sda\ngrub-mkconfig -o /boot/grub/grub.cfg\n```\n\n以上.","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null},"/note/info-tech/library-c-cpp":{"title":"C/C++のライブラリまとめ","content":"\n## 概要\n- C/C++のいい感じのライブラリのまとめ\n- 基本的にlightweightかつmulti-platformなものしか載せない\n- リンクがない項目は今後執筆予定\n\n## Script\n- [LuaJIT](note/info-tech/luajit) (C)\n- [ExprTk](note/info-tech/exprtk) (C++)\n\n## OS Wrapper\n- [tinycthread](note/info-tech/tinycthread) (C11)","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null},"/note/info-tech/obsidian":{"title":"Obsidianについて","content":"\n[公式サイト](https://obsidian.md)\n\n## 概要\n- オフラインのwikiっぽいもの(=Vault)\n- 記法はmarkdown\n- Vaultは全てローカルに保存される\n\n## インストール\n- [公式サイト](https://obsidian.md)に各OSのインストーラが揃ってる\n- Macでは`brew install obsidian`ができる\n\n## いいところ\n- シンプルでスタイリッシュなデザイン\n- 完全ローカルなので高セキュリティ\n- 数式が使える $E=mc^2$\n\n## わるいところ\n- 完全ローカルなので同期が課題\n\t- Vaultが巨大になるほど同期コストも増加\n- Macにて,エディタ上のリアルタイムプレビューとIMEが競合して日本語が正常に入力できないことがある\n\n## 所感\n- ar.falsy.catの記事書くのに使っている\n- WebDAVなどのファイルサーバー上にあるVaultを,全体をダウンロードせずに開けるようになれば素晴らしい\n\n## 関連\n- [Vaultをweb公開する](note/info-tech/publish-obsidian-by-quartz.md)","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null},"/note/info-tech/pleroma":{"title":"Pleroma","content":"\n## 概要\n- ActivityPubに対応したlightweight(自称)なSNS\n- 単体で見るとlightweightには思えないけど,mastodonと比べたら確かにlightweight\n\n## DB肥大化問題\n- 長期間Pleromaを稼働させ続けると,DBのレコード数がやばいことになる\n- DBのレスポンスがくそ長くなり,最終的にタイムアウトで500になる\n- オブジェクトの寿命とか設定してみたけど特に意味はなかった\n\n### 解決法\n- ローカルアカウントそれ自体の情報以外の情報を削除する\n- pleromaを停止して,postgresで次のSQLを実行する\n\t- 自動化しても良いかもしれない\n- 追記: **フォロー/フォロワー情報も削除されてしまったので改善が必要!!!**\n```SQL\nTRUNCATE TABLE activities CASCADE; # 全アクティビティの削除\nDELETE FROM users WHERE not local; # 全リモートユーザーの削除\nVACUUM FULL;\nVACUUM ANALYZE;\n```","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null},"/note/info-tech/publish-obsidian-by-quartz":{"title":"ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築","content":"\n## 概要\n- [Quartz](https://github.com/jackyzha0/quartz)で[Obsidian](note/info-tech/obsidian.md)のVaultを公開する\n- 「*セカンドブレインデジタルガーデン*」という御大層な言葉は[Quartz](https://github.com/jackyzha0/quartz)の紹介文からの引用\n\n\u003c!--more--\u003e\n\n## 初期設定\n1. [Quartz](https://github.com/jackyzha0/quartz)をforkする\n2. GitHub Actionsを有効化\n3. repoの設定で`workflow permission`を`read and write permissions`へ変更\n\t- これしないとdeployに失敗する\n4. repoをローカルにclone\n5. `data/config.yaml`をいい感じに編集\n\t- `author`など\n6. `config.toml`をいい感じに編集\n\t- `baseURL`など\n7. pushする\n8. deployが終わったらGitHub Pagesのドメイン設定をする\n\n## 記事の執筆\n1. ローカルrepoの`content/`ディレクトリをVaultとしてObisidianで開く\n\t- `content/templates/`は弄ってはいけない\n2. 記事を書く\n3. pushする\n\n## ローカルプレビュー\n- dockerがあれば,リポジトリrootで`make docker`すれば`localhost:1313`にアクセスできる\n- `Makefile`の`docker`ターゲットのコマンドを下のように置き換えることで次の問題が解決できる\n\t- Ctrl+Cでサーバーが終了しない\n\t- `make docker`する度にゴミコンテナが残る\n```bash\ndocker run -it --init --name quartz-preview --volume=$(shell pwd):/quartz -p 1313:1313 ghcr.io/jackyzha0/quartz:hugo; docker rm quartz-preview\n```\n\n## カスタマイズ\n\n### Recent Notesの表示数を変更する\n1. `layouts/partials/recent.html`の`first 3 $notes`を変更する\n\n### トップページにグローバルグラフを表示する\n1. `data/graphConfig.yaml`の`enableGlobalGraph`を`true`にする\n\n### 記事にRelated Notesを表示する\n1. `layouts/partials/recent.html`を作成\n2. `layouts/_default/single.html`の好きな位置に`{{partial \"related.html\" .}}`を挿入\n3. `i18n/en.toml`に`related_notes`の翻訳を追加\n\nlayouts/partials/recent.html\n```html\n\u003cdiv class=\"content-list\"\u003e\n \u003ch2\u003e{{ i18n \"related_notes\" }}\u003c/h2\u003e\n {{$notes := .Site.RegularPages.Related .}}\n {{partial \"page-list.html\" (first 3 $notes)}}\n\u003c/div\u003e\n```\n\n## 所感\n- 扱いやすい[Obsidian](note/info-tech/obsidian.md)で執筆して,[Quartz](https://github.com/jackyzha0/quartz)でいい感じに公開ができた\n- 執筆のためにリポジトリをcloneしなければならないため,記事数が増えた時の複数PCの同期コストが問題になりそう\n\t- ブランチ分けてPullRequest活用すれば解決する?\n\t\t- 記事書くたびにPR作るのはクソめんどくさそう","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null},"/note/info-tech/qemu":{"title":"qemu","content":"\n## 概要\n- コマンドラインベースのVirtualBoxと思っている\n- 今のところM2チップのMacbook ProでLinuxを使うための最善手\n\t- M1/M2向けVirtualBoxはまだ開発者プレビューしかなく,まともに使えなかった\n\n\u003c!--more--\u003e\n\n## インストール\n\n### Mac\n```bash\n$ brew install qemu\n```\n- ハードウェアアクセラレーションが有効化されている他のビルドもあるらしいが未検証\n\t- 今後GPU使いたくなったら検証予定\n\n## コマンド逆引き\n\n### ディスクイメージの作成\n```bash\nqemu-img create -f qcow2 sda.qcow2 16G\n```\n\n### ディスクイメージのリサイズ\n```bash\n# ホストOSで実行\nqemu-img resize sda.qcow2 +16G\n\n# ゲストで実行\ncfdisk /dev/sda # いい感じに\ne2fsck -f /dev/sda2\nresize2fs /dev/sda2\n```\n\n### archのlive cdを起動\n```bash\nqemu-system-x86_64 \\\n -m 4G \\\n -cdrom ../iso/archlinux-2023.02.01-x86_64.iso \\\n sda.qcow2\n```\n- [関連: ArchLinuxのインストール方法](note/info-tech/install-archlinux.md)","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null},"/note/info-tech/tinycthread":{"title":"tinycthread","content":"\n[tinycthread](https://tinycthread.github.io) / [API doc](https://tinycthread.github.io/doc/tinycthread_8h.html)\n\n## 概要\n- スレッド関係の機能を提供するlightweightなライブラリ\n\t- `mtx`: mutex\n\t- `cnd`: condition variable\n\t- `thrd`: thread\n\t- `tss`: thread-specific storage\n- C11\n- zlib license\n- マルチプラットフォーム\n- CMake利用可能\n\n## 導入方法\n### CMake: FetchContent\n```cmake\n# ---- tinycthread ----\n# repository: https://github.com/tinycthread/tinycthread\n# license : zlib\n\nFetchContent_Declare(\n tinycthread\n GIT_REPOSITORY \"https://github.com/tinycthread/tinycthread.git\"\n GIT_TAG \"6957fc8383d6c7db25b60b8c849b29caab1caaee\"\n)\nFetchContent_MakeAvailable(tinycthread)\n```","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null},"/note/info-tech/two-lolita-devils-and-chess-board":{"title":"2人の幼女と悪魔とチェス盤","content":"\n## 概要\n- 「2人の幼女とチェス盤の部屋」という次のような論理問題を解説する\n\t- 以下の手順の後,幼女Bが任意の整数$x\\left(0\\leq x\u003c64\\right)$を求められるようにするには,幼女Aはどのような操作を行うべきか\n\t\t1. 悪魔が8x8チェス盤の各マスに1個ずつ,合計0個以上64個以下のポーンをランダムに配置する\n\t\t2. 悪魔は幼女Aにチェス盤を見せ,任意の数字$x\\left(0\\leq x\u003c64\\right)$を伝える\n\t\t3. 幼女Aは,チェス盤に対して次のいずれかの操作のうち可能であるものを1回だけ必ず行う\n\t\t\t- 任意のマスからポーンを1個だけ取り除く\n\t\t\t- 任意のマスにポーンを1個だけ追加する\n\t\t4. 悪魔は幼女Bにチェス盤を見せる\n\n## 問題の簡潔化\n- $f(g(b,x))=x$とできるような写像$f,g$を求めよ\n\t- $B=\\left\\\\{0,1\\right\\\\}$\n\t- $b\\in B^{64}$\n\t- $x\\in B^6$\n\t- $f: B^{64} \\rightarrow B^6$\n\t- $g: \\left\u003cB^{64}, B^6\\right\u003e\\rightarrow B^{64}$\n\t\t- $b$と$g(b,x)$は1ビットだけ異なる\n\n## 解答\n- $f(b)=f_0\\oplus f_1\\oplus f_2 \\oplus \\dots \\oplus f_{63} \\quad\\left(f_i=i b_i\\right)$\n- $b'=g(b,x) \\implies b'_m \\neq b_m\\quad\\left(m=x\\oplus f(b)\\right)$\n- [チェス盤が16x16の場合のプログラム](https://wandbox.org/permlink/XLo1pGURvrU4Y4Jj)\n\n## 解説\n- $x=f(b)\\oplus m$となるような$m\\in B^6$は必ず存在する\n- 盤面の各マスに$m$の値を割り当てることで,1マスの操作だけで$m$を表現できる\n\t- 盤面のマス目の数も,$m$がとりうる値の数も64\n\t- $f(g(b,x))=f(b)\\oplus m=f(b)\\oplus f\\_m\\oplus m(1-b\\_m)$\n\n## 応用\n- 長さ$2^N$の任意のビット列について,任意の1ビットだけを反転させることで,長さ$N$のビット列を表現できる\n\n## 参考文献\n- [# 超難問論理クイズ「2人の幼女とチェス盤の部屋」が本当に難しすぎた - 明日は未来だ!](https://sist8.com/chess2you)\n- [幼女問題まとめ - GItHub Gist](https://gist.github.com/catupper/5678658)\n- [Impossible Escape? - DataGenetics](http://datagenetics.com/blog/december12014/index.html)","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null},"/note/word-play/japanese-text-all-stars":{"title":"国語教科書オールスターズ","content":"\n## 概要\n- 今までの国語の教科書に出てきた忘れられない奴等を忘れないために記録しておく\n\n\u003c!--more--\u003e\n\n## 小学校\n- さるのだいじなかぎのたば\n\t- 小学一年生の一番最初の単元だった気がする\n- *タイトル不明 要調査*\n\t- 木を描くやつ\n- アップとルーズで捉える\n\n## 中学校\n- かまきりりゅうじ\n\t- 「おれはかまきり」\n- いろは歌\n\t- 「いろはにほへと ちりぬるを わかよたれそ つねならむ ういのおくやま けふこえて あさきゆめみし えひもせすん」\n\t\t- 未だに空で書けた\n\t\t- 一人ずつ立って暗唱させられた記憶がある\n- *タイトル不明 要調査*\n\t- 「えんびふらい」\n- *タイトル不明 要調査*\n\t- 月の起源についての説明文\n- *タイトル不明 要調査*\n\t- ルロイ修道士「問題の細分化」\n\t- 月月火水木金金\n- 少年の日の思い出\n\t- エーミール「そうかそうか,つまりきみはそういうやつなんだな」","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null},"/note/word-play/proof-of-reality-using-lucid-dream":{"title":"明晰夢を利用した現実の証明","content":"\n## 概要\n- 今の意識が現実であることを証明する手法を論理的に導く\n- ただの言葉遊びなので哲学的な何かは期待しないでほしい\n\n## 前提\n- ここでは次の前提のもと議論を進める\n\t- 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている\n\t- 明晰夢を見ている,ならば,全てが思い通りになる\n\t- 夢でないならば現実である\n- 証明は次の定義の元で行う\n\t- 状況$A$: 夢を見ている\n\t- 状況$B$: 夢を見ていることを自覚している\n\t- 状況$C$: 明晰夢を見ている\n\t- 状況$D$: 全てが思い通りである\n- 証明の最終的な目標は$X\\implies \\overline{A}$を導くことである\n\n## 証明\n1. 前提より\n\t- $P_1: A\\cap B\\iff C$\n\t- $P_2: C \\implies D$\n2. $P_1,P_2$より,三段論法を用いて\n\t- $P_3: A \\cap B \\implies D$\n3. $P_3$の対偶より\n\t- $P_4: \\overline{D}\\implies \\overline{A\\cap B}$\n4. $P_4$より,ド・モルガンの公式を用いて\n\t- $P_5: \\overline{D}\\implies \\overline{A} \\cup \\overline{B}$\n5. $B$は意図的に真にできるため,$P_5$より\n\t- $\\overline{D}\\cap B \\implies \\overline{A}$\n\n## 結論\n- 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である\n- ただし,この手法では全ての現実を証明できるとは言えないことに留意されたい","lastmodified":"2023-04-09T07:28:36.014126007Z","tags":null}} \ No newline at end of file diff --git a/linkmap b/linkmap index 72ecf02..5f99664 100644 --- a/linkmap +++ b/linkmap @@ -1,18 +1,18 @@ -/note/info-tech/two-lolita-devils-and-chess-board/index.{html} /note/info-tech/two-lolita-devils-and-chess-board/ -/note/word-play/proof-of-reality-using-lucid-dream/index.{html} /note/word-play/proof-of-reality-using-lucid-dream/ -/note/info-tech/install-archlinux/index.{html} /note/info-tech/install-archlinux/ -/note/info-tech/obsidian/index.{html} /note/info-tech/obsidian/ -/note/info-tech/pleroma/index.{html} /note/info-tech/pleroma/ -/note/info-tech/library-c-cpp/index.{html} /note/info-tech/library-c-cpp/ -/note/info-tech/publish-obsidian-by-quartz/index.{html} /note/info-tech/publish-obsidian-by-quartz/ -/note/word-play/japanese-text-all-stars/index.{html} /note/word-play/japanese-text-all-stars/ -/blog/2023/0301-fukue-island/index.{html} /blog/2023/0301-fukue-island/ -/blog/2023/0303-fukue-island/index.{html} /blog/2023/0303-fukue-island/ -/note/chores/cooking-rice-with-saucepan/index.{html} /note/chores/cooking-rice-with-saucepan/ -/blog/2023/0304-fukue-island/index.{html} /blog/2023/0304-fukue-island/ -/note/info-tech/tinycthread/index.{html} /note/info-tech/tinycthread/ -/note/info-tech/flutter/index.{html} /note/info-tech/flutter/ -/note/info-tech/qemu/index.{html} /note/info-tech/qemu/ /index.html / +/note/chores/cooking-rice-with-saucepan/index.{html} /note/chores/cooking-rice-with-saucepan/ +/note/info-tech/pleroma/index.{html} /note/info-tech/pleroma/ +/note/info-tech/two-lolita-devils-and-chess-board/index.{html} /note/info-tech/two-lolita-devils-and-chess-board/ +/note/word-play/japanese-text-all-stars/index.{html} /note/word-play/japanese-text-all-stars/ +/blog/2023/0303-fukue-island/index.{html} /blog/2023/0303-fukue-island/ /blog/2023/0319-moving/index.{html} /blog/2023/0319-moving/ +/note/info-tech/flutter/index.{html} /note/info-tech/flutter/ +/note/info-tech/obsidian/index.{html} /note/info-tech/obsidian/ +/note/info-tech/qemu/index.{html} /note/info-tech/qemu/ /note/chores/one-hand-egg-cracking/index.{html} /note/chores/one-hand-egg-cracking/ +/note/info-tech/publish-obsidian-by-quartz/index.{html} /note/info-tech/publish-obsidian-by-quartz/ +/note/word-play/proof-of-reality-using-lucid-dream/index.{html} /note/word-play/proof-of-reality-using-lucid-dream/ +/blog/2023/0301-fukue-island/index.{html} /blog/2023/0301-fukue-island/ +/blog/2023/0304-fukue-island/index.{html} /blog/2023/0304-fukue-island/ +/note/info-tech/install-archlinux/index.{html} /note/info-tech/install-archlinux/ +/note/info-tech/library-c-cpp/index.{html} /note/info-tech/library-c-cpp/ +/note/info-tech/tinycthread/index.{html} /note/info-tech/tinycthread/ diff --git a/note/chores/cooking-rice-with-saucepan/index.html b/note/chores/cooking-rice-with-saucepan/index.html index ae407c5..47eb73c 100644 --- a/note/chores/cooking-rice-with-saucepan/index.html +++ b/note/chores/cooking-rice-with-saucepan/index.html @@ -9,7 +9,7 @@ - diff --git a/note/chores/one-hand-egg-cracking/index.html b/note/chores/one-hand-egg-cracking/index.html index a856c00..3a95845 100644 --- a/note/chores/one-hand-egg-cracking/index.html +++ b/note/chores/one-hand-egg-cracking/index.html @@ -9,7 +9,7 @@ - diff --git a/note/index.html b/note/index.html index c189f41..3c1617c 100644 --- a/note/index.html +++ b/note/index.html @@ -9,7 +9,7 @@ - diff --git a/note/index.xml b/note/index.xml index 24cdfa3..7131c94 100644 --- a/note/index.xml +++ b/note/index.xml @@ -1,4 +1,4 @@ -Notes onhttps://ar.falsy.cat/note/Recent content in Notes onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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^{2^N}$の任意のビット列について,任意の1ビットだけを反転させることで,長さ$2^N$のビット列を表現できる 参考文献 # 超難問論理クイズ「2人の幼女とチェス盤の部屋」が本当に難しすぎた - 明日は未来だ! 幼女問題まとめ - GItHub Gist Impossible Escape?ArchLinuxのインストールhttps://ar.falsy.cat/note/info-tech/install-archlinux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/install-archlinux/概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない 前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなし できるだけシンプル,ミニマリスティックに 手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.C/C++のライブラリまとめhttps://ar.falsy.cat/note/info-tech/library-c-cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/library-c-cpp/概要 C/C++のいい感じのライブラリのまとめ 基本的にlightweightかつmulti-platformなものしか載せない リンクがない項目は今後執筆予定 Script LuaJIT (C) ExprTk (C++) OS Wrapper tinycthread (C11)flutterhttps://ar.falsy.cat/note/info-tech/flutter/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/flutter/概要 マルチプラットフォーム 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 # いい感じに設定 &amp; リログ git clone https://aur.ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/<h2 id="概要">概要</h2> +Notes onhttps://ar.falsy.cat/note/Recent content in Notes onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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?ArchLinuxのインストールhttps://ar.falsy.cat/note/info-tech/install-archlinux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/install-archlinux/概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない 前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなし できるだけシンプル,ミニマリスティックに 手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.C/C++のライブラリまとめhttps://ar.falsy.cat/note/info-tech/library-c-cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/library-c-cpp/概要 C/C++のいい感じのライブラリのまとめ 基本的にlightweightかつmulti-platformなものしか載せない リンクがない項目は今後執筆予定 Script LuaJIT (C) ExprTk (C++) OS Wrapper tinycthread (C11)flutterhttps://ar.falsy.cat/note/info-tech/flutter/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/flutter/概要 マルチプラットフォーム 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 # いい感じに設定 &amp; リログ git clone https://aur.ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/<h2 id="概要">概要</h2> <ul> <li> <a href="https://github.com/jackyzha0/quartz" rel="noopener">Quartz</a>で diff --git a/note/info-tech/flutter/index.html b/note/info-tech/flutter/index.html index 6f43d34..92bbb5b 100644 --- a/note/info-tech/flutter/index.html +++ b/note/info-tech/flutter/index.html @@ -9,7 +9,7 @@ - diff --git a/note/info-tech/install-archlinux/index.html b/note/info-tech/install-archlinux/index.html index 685a151..3f69355 100644 --- a/note/info-tech/install-archlinux/index.html +++ b/note/info-tech/install-archlinux/index.html @@ -9,7 +9,7 @@ - diff --git a/note/info-tech/library-c-cpp/index.html b/note/info-tech/library-c-cpp/index.html index 6d4e663..f4a1444 100644 --- a/note/info-tech/library-c-cpp/index.html +++ b/note/info-tech/library-c-cpp/index.html @@ -9,7 +9,7 @@ - diff --git a/note/info-tech/obsidian/index.html b/note/info-tech/obsidian/index.html index f78b56c..dc4e8e9 100644 --- a/note/info-tech/obsidian/index.html +++ b/note/info-tech/obsidian/index.html @@ -12,7 +12,7 @@ - diff --git a/note/info-tech/pleroma/index.html b/note/info-tech/pleroma/index.html index 8878c0c..bf52c40 100644 --- a/note/info-tech/pleroma/index.html +++ b/note/info-tech/pleroma/index.html @@ -9,7 +9,7 @@ - diff --git a/note/info-tech/publish-obsidian-by-quartz/index.html b/note/info-tech/publish-obsidian-by-quartz/index.html index 506253c..4396fff 100644 --- a/note/info-tech/publish-obsidian-by-quartz/index.html +++ b/note/info-tech/publish-obsidian-by-quartz/index.html @@ -45,7 +45,7 @@ Quartzの紹介文からの引用 - diff --git a/note/info-tech/qemu/index.html b/note/info-tech/qemu/index.html index ad442c4..7af28fb 100644 --- a/note/info-tech/qemu/index.html +++ b/note/info-tech/qemu/index.html @@ -33,7 +33,7 @@ M1/M2向けVirtualBoxはまだ開発者プレビューしかなく,まとも - diff --git a/note/info-tech/tinycthread/index.html b/note/info-tech/tinycthread/index.html index 16e1c10..d59ab8b 100644 --- a/note/info-tech/tinycthread/index.html +++ b/note/info-tech/tinycthread/index.html @@ -12,7 +12,7 @@ - diff --git a/note/info-tech/two-lolita-devils-and-chess-board/index.html b/note/info-tech/two-lolita-devils-and-chess-board/index.html index e9a6359..348f8d2 100644 --- a/note/info-tech/two-lolita-devils-and-chess-board/index.html +++ b/note/info-tech/two-lolita-devils-and-chess-board/index.html @@ -1,4 +1,4 @@ -2人の幼女と悪魔とチェス盤 +2人の幼女と悪魔とチェス盤 @@ -9,11 +9,11 @@ -

ar.falsy.cat

Search

Search IconIcon to open search

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

Last updated -Apr 9, 2023

# 概要

  • 「2人の幼女とチェス盤の部屋」という次のような論理問題を解説する
    • 以下の手順の後,幼女Bが任意の整数$x\left(0\leq x<64\right)$を求められるようにするには,幼女Aはどのような操作を行うべきか
      1. 悪魔が8x8チェス盤の各マスに1個ずつ,合計0個以上64個以下のポーンをランダムに配置する
      2. 悪魔は幼女Aにチェス盤を見せ,任意の数字$x\left(0\leq x<64\right)$を伝える
      3. 幼女Aは,チェス盤に対して次のいずれかの操作のうち可能であるものを1回だけ必ず行う
        • 任意のマスからポーンを1個だけ取り除く
        • 任意のマスにポーンを1個だけ追加する
      4. 悪魔は幼女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: \left<B^{64}, B^6\right>\rightarrow B^{64}$
      • $b$と$g(b,x)$は1ビットだけ異なる

# 解答

# 解説

  • $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^{2^N}$の任意のビット列について,任意の1ビットだけを反転させることで,長さ$2^N$のビット列を表現できる

# 参考文献


\ No newline at end of file +Apr 9, 2023

# 概要

  • 「2人の幼女とチェス盤の部屋」という次のような論理問題を解説する
    • 以下の手順の後,幼女Bが任意の整数$x\left(0\leq x<64\right)$を求められるようにするには,幼女Aはどのような操作を行うべきか
      1. 悪魔が8x8チェス盤の各マスに1個ずつ,合計0個以上64個以下のポーンをランダムに配置する
      2. 悪魔は幼女Aにチェス盤を見せ,任意の数字$x\left(0\leq x<64\right)$を伝える
      3. 幼女Aは,チェス盤に対して次のいずれかの操作のうち可能であるものを1回だけ必ず行う
        • 任意のマスからポーンを1個だけ取り除く
        • 任意のマスにポーンを1個だけ追加する
      4. 悪魔は幼女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: \left<B^{64}, B^6\right>\rightarrow B^{64}$
      • $b$と$g(b,x)$は1ビットだけ異なる

# 解答

# 解説

  • $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$のビット列を表現できる

# 参考文献


\ No newline at end of file diff --git a/note/page/2/index.html b/note/page/2/index.html index 991490d..522461e 100644 --- a/note/page/2/index.html +++ b/note/page/2/index.html @@ -9,7 +9,7 @@ - diff --git a/note/word-play/japanese-text-all-stars/index.html b/note/word-play/japanese-text-all-stars/index.html index f9230e1..0af1348 100644 --- a/note/word-play/japanese-text-all-stars/index.html +++ b/note/word-play/japanese-text-all-stars/index.html @@ -18,7 +18,7 @@ - diff --git a/note/word-play/proof-of-reality-using-lucid-dream/index.html b/note/word-play/proof-of-reality-using-lucid-dream/index.html index 86349a1..a496a91 100644 --- a/note/word-play/proof-of-reality-using-lucid-dream/index.html +++ b/note/word-play/proof-of-reality-using-lucid-dream/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/blog/index.html b/tags/blog/index.html index 67a1b4e..9101708 100644 --- a/tags/blog/index.html +++ b/tags/blog/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/c-language/index.html b/tags/c-language/index.html index fb830e7..32eda75 100644 --- a/tags/c-language/index.html +++ b/tags/c-language/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/cat/index.html b/tags/cat/index.html index adcf15b..5491af5 100644 --- a/tags/cat/index.html +++ b/tags/cat/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/chores/index.html b/tags/chores/index.html index 779990b..46f6ccd 100644 --- a/tags/chores/index.html +++ b/tags/chores/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/cooking/index.html b/tags/cooking/index.html index 3bf87c4..45602c9 100644 --- a/tags/cooking/index.html +++ b/tags/cooking/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/cpp/index.html b/tags/cpp/index.html index 9c71940..dd7350f 100644 --- a/tags/cpp/index.html +++ b/tags/cpp/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/development/index.html b/tags/development/index.html index 412d3da..4747a59 100644 --- a/tags/development/index.html +++ b/tags/development/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/fediverse/index.html b/tags/fediverse/index.html index 60f60aa..b5ab76e 100644 --- a/tags/fediverse/index.html +++ b/tags/fediverse/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/gourmet/index.html b/tags/gourmet/index.html index d9ef30a..8cc0293 100644 --- a/tags/gourmet/index.html +++ b/tags/gourmet/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/index.html b/tags/index.html index 38edb3c..3244ef1 100644 --- a/tags/index.html +++ b/tags/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/info-tech/index.html b/tags/info-tech/index.html index 38b639b..6b24dff 100644 --- a/tags/info-tech/index.html +++ b/tags/info-tech/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/info-tech/index.xml b/tags/info-tech/index.xml index 28b0cf2..4dcd6db 100644 --- a/tags/info-tech/index.xml +++ b/tags/info-tech/index.xml @@ -1,4 +1,4 @@ -info-tech onhttps://ar.falsy.cat/tags/info-tech/Recent content in info-tech onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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^{2^N}$の任意のビット列について,任意の1ビットだけを反転させることで,長さ$2^N$のビット列を表現できる 参考文献 # 超難問論理クイズ「2人の幼女とチェス盤の部屋」が本当に難しすぎた - 明日は未来だ! 幼女問題まとめ - GItHub Gist Impossible Escape?ArchLinuxのインストールhttps://ar.falsy.cat/note/info-tech/install-archlinux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/install-archlinux/概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない 前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなし できるだけシンプル,ミニマリスティックに 手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.C/C++のライブラリまとめhttps://ar.falsy.cat/note/info-tech/library-c-cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/library-c-cpp/概要 C/C++のいい感じのライブラリのまとめ 基本的にlightweightかつmulti-platformなものしか載せない リンクがない項目は今後執筆予定 Script LuaJIT (C) ExprTk (C++) OS Wrapper tinycthread (C11)flutterhttps://ar.falsy.cat/note/info-tech/flutter/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/flutter/概要 マルチプラットフォーム 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 # いい感じに設定 &amp; リログ git clone https://aur.ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/<h2 id="概要">概要</h2> +info-tech onhttps://ar.falsy.cat/tags/info-tech/Recent content in info-tech onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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?ArchLinuxのインストールhttps://ar.falsy.cat/note/info-tech/install-archlinux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/install-archlinux/概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない 前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなし できるだけシンプル,ミニマリスティックに 手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.C/C++のライブラリまとめhttps://ar.falsy.cat/note/info-tech/library-c-cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/library-c-cpp/概要 C/C++のいい感じのライブラリのまとめ 基本的にlightweightかつmulti-platformなものしか載せない リンクがない項目は今後執筆予定 Script LuaJIT (C) ExprTk (C++) OS Wrapper tinycthread (C11)flutterhttps://ar.falsy.cat/note/info-tech/flutter/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/flutter/概要 マルチプラットフォーム 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 # いい感じに設定 &amp; リログ git clone https://aur.ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/<h2 id="概要">概要</h2> <ul> <li> <a href="https://github.com/jackyzha0/quartz" rel="noopener">Quartz</a>で diff --git a/tags/library/index.html b/tags/library/index.html index ad17a54..4528452 100644 --- a/tags/library/index.html +++ b/tags/library/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/lifehack/index.html b/tags/lifehack/index.html index f08c57b..d10e20a 100644 --- a/tags/lifehack/index.html +++ b/tags/lifehack/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/linux/index.html b/tags/linux/index.html index dcff010..3aac5a4 100644 --- a/tags/linux/index.html +++ b/tags/linux/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/logical/index.html b/tags/logical/index.html index 90f9538..cb8955e 100644 --- a/tags/logical/index.html +++ b/tags/logical/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/logical/index.xml b/tags/logical/index.xml index f33397f..b6228f2 100644 --- a/tags/logical/index.xml +++ b/tags/logical/index.xml @@ -1 +1 @@ -logical onhttps://ar.falsy.cat/tags/logical/Recent content in logical onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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^{2^N}$の任意のビット列について,任意の1ビットだけを反転させることで,長さ$2^N$のビット列を表現できる 参考文献 # 超難問論理クイズ「2人の幼女とチェス盤の部屋」が本当に難しすぎた - 明日は未来だ! 幼女問題まとめ - GItHub Gist Impossible Escape? \ No newline at end of file +logical onhttps://ar.falsy.cat/tags/logical/Recent content in logical onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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? \ No newline at end of file diff --git a/tags/mountain/index.html b/tags/mountain/index.html index 5bd6a51..8a2d798 100644 --- a/tags/mountain/index.html +++ b/tags/mountain/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/note/index.html b/tags/note/index.html index 3c2f88d..4c4a13a 100644 --- a/tags/note/index.html +++ b/tags/note/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/note/index.xml b/tags/note/index.xml index 0c2535a..d3e4ef2 100644 --- a/tags/note/index.xml +++ b/tags/note/index.xml @@ -1,4 +1,4 @@ -note onhttps://ar.falsy.cat/tags/note/Recent content in note onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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^{2^N}$の任意のビット列について,任意の1ビットだけを反転させることで,長さ$2^N$のビット列を表現できる 参考文献 # 超難問論理クイズ「2人の幼女とチェス盤の部屋」が本当に難しすぎた - 明日は未来だ! 幼女問題まとめ - GItHub Gist Impossible Escape?ArchLinuxのインストールhttps://ar.falsy.cat/note/info-tech/install-archlinux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/install-archlinux/概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない 前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなし できるだけシンプル,ミニマリスティックに 手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.C/C++のライブラリまとめhttps://ar.falsy.cat/note/info-tech/library-c-cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/library-c-cpp/概要 C/C++のいい感じのライブラリのまとめ 基本的にlightweightかつmulti-platformなものしか載せない リンクがない項目は今後執筆予定 Script LuaJIT (C) ExprTk (C++) OS Wrapper tinycthread (C11)flutterhttps://ar.falsy.cat/note/info-tech/flutter/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/flutter/概要 マルチプラットフォーム 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 # いい感じに設定 &amp; リログ git clone https://aur.ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/<h2 id="概要">概要</h2> +note onhttps://ar.falsy.cat/tags/note/Recent content in note onHugo -- gohugo.ioen-us2人の幼女と悪魔とチェス盤https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/概要 「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: \left&lt;B^{64}, B^6\right&gt;\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?ArchLinuxのインストールhttps://ar.falsy.cat/note/info-tech/install-archlinux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/install-archlinux/概要 ArchLinuxのインストール手順を記録する Live Environmentの起動方法については触れない 前提 qemu上の仮想マシン BIOS GPT x86_64 デュアルブートなし できるだけシンプル,ミニマリスティックに 手順 1. 事前準備 1 2 3 loadkeys jp106 # キーボード設定 ping google.C/C++のライブラリまとめhttps://ar.falsy.cat/note/info-tech/library-c-cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/library-c-cpp/概要 C/C++のいい感じのライブラリのまとめ 基本的にlightweightかつmulti-platformなものしか載せない リンクがない項目は今後執筆予定 Script LuaJIT (C) ExprTk (C++) OS Wrapper tinycthread (C11)flutterhttps://ar.falsy.cat/note/info-tech/flutter/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/flutter/概要 マルチプラットフォーム 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 # いい感じに設定 &amp; リログ git clone https://aur.ObsidianとQuartzによるセカンドブレインデジタルガーデンの構築https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/<h2 id="概要">概要</h2> <ul> <li> <a href="https://github.com/jackyzha0/quartz" rel="noopener">Quartz</a>で diff --git a/tags/note/page/2/index.html b/tags/note/page/2/index.html index cd325fa..7e8934f 100644 --- a/tags/note/page/2/index.html +++ b/tags/note/page/2/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/photo/index.html b/tags/photo/index.html index d6351cb..36e0b1c 100644 --- a/tags/photo/index.html +++ b/tags/photo/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/sns/index.html b/tags/sns/index.html index 7836c4a..f41e686 100644 --- a/tags/sns/index.html +++ b/tags/sns/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/software/index.html b/tags/software/index.html index 7a0b63d..568e905 100644 --- a/tags/software/index.html +++ b/tags/software/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/tool/index.html b/tags/tool/index.html index 3fb9a6d..1f82ec1 100644 --- a/tags/tool/index.html +++ b/tags/tool/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/travel/index.html b/tags/travel/index.html index 80db9da..979fa51 100644 --- a/tags/travel/index.html +++ b/tags/travel/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/virtualization/index.html b/tags/virtualization/index.html index fbfc1ac..df2608d 100644 --- a/tags/virtualization/index.html +++ b/tags/virtualization/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/web/index.html b/tags/web/index.html index c17001a..5826639 100644 --- a/tags/web/index.html +++ b/tags/web/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/word-play/index.html b/tags/word-play/index.html index 29e90dc..c477bc0 100644 --- a/tags/word-play/index.html +++ b/tags/word-play/index.html @@ -9,7 +9,7 @@ -