diff --git a/404.html b/404.html index 0c5e572..48dc578 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 b15a715..9a14333 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 7d1e7d9..7917873 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 3d413fb..16f8a11 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 a66df1d..afc2ead 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 45c6639..c860177 100644 --- a/blog/index.html +++ b/blog/index.html @@ -9,7 +9,7 @@ - diff --git a/categories/index.html b/categories/index.html index 4c83dfc..065e49c 100644 --- a/categories/index.html +++ b/categories/index.html @@ -9,10 +9,10 @@ -

ar.falsy.cat

Search

Search IconIcon to open search
-

All Categories

Note

12 notes with this tag (showing first 10 results)

Info tech

8 notes with this tag

Blog

4 notes with this tag

Lifehack

4 notes with this tag

Photo

4 notes with this tag

Cat

3 notes with this tag

Development

3 notes with this tag

Travel

3 notes with this tag

C language

2 notes with this tag

Chores

2 notes with this tag

Cooking

2 notes with this tag

Gourmet

2 notes with this tag

Software

2 notes with this tag

Tool

2 notes with this tag

Web

2 notes with this tag

Word play

2 notes with this tag

Cpp

1 notes with this tag

Fediverse

1 notes with this tag

Library

1 notes with this tag

Linux

1 notes with this tag

Mountain

1 notes with this tag

Sns

1 notes with this tag

Virtualization

1 notes with this tag

\ No newline at end of file +

All Categories

Note

13 notes with this tag (showing first 10 results)

Info tech

9 notes with this tag

Blog

4 notes with this tag

Lifehack

4 notes with this tag

Photo

4 notes with this tag

Cat

3 notes with this tag

Development

3 notes with this tag

Travel

3 notes with this tag

C language

2 notes with this tag

Chores

2 notes with this tag

Cooking

2 notes with this tag

Gourmet

2 notes with this tag

Software

2 notes with this tag

Tool

2 notes with this tag

Web

2 notes with this tag

Word play

2 notes with this tag

Cpp

1 notes with this tag

Fediverse

1 notes with this tag

Library

1 notes with this tag

Linux

1 notes with this tag

Logical

1 notes with this tag

Mountain

1 notes with this tag

Sns

1 notes with this tag

Virtualization

1 notes with this tag

\ No newline at end of file diff --git a/index.html b/index.html index d457452..ac64492 100644 --- a/index.html +++ b/index.html @@ -9,7 +9,7 @@ - @@ -17,4 +17,4 @@

ar.falsy.cat

Search

Search IconIcon to open search

ブログ備忘録.arはarchiveの略. -著者

\ No newline at end of file +著者

Recent Notes

\ No newline at end of file diff --git a/index.xml b/index.xml index 4a87388..3ba0603 100644 --- a/index.xml +++ b/index.xml @@ -1,4 +1,4 @@ -HOME onhttps://ar.falsy.cat/Recent content in HOME onHugo -- gohugo.ioen-usArchLinuxのインストール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チェス盤の各マスに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 i(1-b_i)$ 応用 長さ$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> <ul> <li> <a href="https://github.com/jackyzha0/quartz" rel="noopener">Quartz</a>で diff --git a/indices/contentIndex.43da744ae178721a28351928827eb872.min.json b/indices/contentIndex.9ca29f9a3448a00b83f8f3eaa8cc68b3.min.json similarity index 76% rename from indices/contentIndex.43da744ae178721a28351928827eb872.min.json rename to indices/contentIndex.9ca29f9a3448a00b83f8f3eaa8cc68b3.min.json index 840b6fa..2ba41e7 100644 --- a/indices/contentIndex.43da744ae178721a28351928827eb872.min.json +++ b/indices/contentIndex.9ca29f9a3448a00b83f8f3eaa8cc68b3.min.json @@ -1 +1 @@ -{"/":{"title":"HOME","content":"\n[ブログ](blog)兼[備忘録](note).arはarchiveの略.[著者](https://falsy.cat/)","lastmodified":"2023-04-08T15:15:53.476059456Z","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-08T15:15:53.480059929Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","tags":null},"/blog/2023/0319-moving":{"title":"引っ越しをした","content":"\n- 4月から色々あるので引っ越しをした\n- 立地も治安も壁の厚さもとても良いところだった\n\n![旧自宅](blog/2023/0319-moving/room.webp)","lastmodified":"2023-04-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","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-08T15:15:53.484060402Z","tags":null}} \ No newline at end of file +{"/":{"title":"HOME","content":"\n[ブログ](blog)兼[備忘録](note).arはarchiveの略.[著者](https://falsy.cat/)","lastmodified":"2023-04-09T07:15:45.481523605Z","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:15:45.485523701Z","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:15:45.485523701Z","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:15:45.489523797Z","tags":null},"/blog/2023/0319-moving":{"title":"引っ越しをした","content":"\n- 4月から色々あるので引っ越しをした\n- 立地も治安も壁の厚さもとても良いところだった\n\n![旧自宅](blog/2023/0319-moving/room.webp)","lastmodified":"2023-04-09T07:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","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チェス盤の各マスに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 i(1-b\\_i)$\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:15:45.489523797Z","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:15:45.489523797Z","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:15:45.489523797Z","tags":null}} \ No newline at end of file diff --git a/linkmap b/linkmap index c0c7ec0..944db44 100644 --- a/linkmap +++ b/linkmap @@ -1,17 +1,18 @@ -/note/info-tech/tinycthread/index.{html} /note/info-tech/tinycthread/ -/note/word-play/japanese-text-all-stars/index.{html} /note/word-play/japanese-text-all-stars/ -/note/chores/cooking-rice-with-saucepan/index.{html} /note/chores/cooking-rice-with-saucepan/ -/note/info-tech/flutter/index.{html} /note/info-tech/flutter/ -/note/info-tech/library-c-cpp/index.{html} /note/info-tech/library-c-cpp/ -/index.html / -/blog/2023/0304-fukue-island/index.{html} /blog/2023/0304-fukue-island/ -/blog/2023/0319-moving/index.{html} /blog/2023/0319-moving/ -/note/info-tech/pleroma/index.{html} /note/info-tech/pleroma/ /note/info-tech/publish-obsidian-by-quartz/index.{html} /note/info-tech/publish-obsidian-by-quartz/ -/note/info-tech/qemu/index.{html} /note/info-tech/qemu/ -/blog/2023/0301-fukue-island/index.{html} /blog/2023/0301-fukue-island/ -/note/chores/one-hand-egg-cracking/index.{html} /note/chores/one-hand-egg-cracking/ -/note/info-tech/obsidian/index.{html} /note/info-tech/obsidian/ -/blog/2023/0303-fukue-island/index.{html} /blog/2023/0303-fukue-island/ -/note/info-tech/install-archlinux/index.{html} /note/info-tech/install-archlinux/ /note/word-play/proof-of-reality-using-lucid-dream/index.{html} /note/word-play/proof-of-reality-using-lucid-dream/ +/index.html / +/blog/2023/0301-fukue-island/index.{html} /blog/2023/0301-fukue-island/ +/note/chores/cooking-rice-with-saucepan/index.{html} /note/chores/cooking-rice-with-saucepan/ +/note/info-tech/library-c-cpp/index.{html} /note/info-tech/library-c-cpp/ +/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/qemu/index.{html} /note/info-tech/qemu/ +/note/info-tech/tinycthread/index.{html} /note/info-tech/tinycthread/ +/blog/2023/0303-fukue-island/index.{html} /blog/2023/0303-fukue-island/ +/blog/2023/0304-fukue-island/index.{html} /blog/2023/0304-fukue-island/ +/note/info-tech/flutter/index.{html} /note/info-tech/flutter/ +/note/info-tech/pleroma/index.{html} /note/info-tech/pleroma/ +/blog/2023/0319-moving/index.{html} /blog/2023/0319-moving/ +/note/chores/one-hand-egg-cracking/index.{html} /note/chores/one-hand-egg-cracking/ +/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/ diff --git a/note/chores/cooking-rice-with-saucepan/index.html b/note/chores/cooking-rice-with-saucepan/index.html index 993f854..c320db4 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 b7aa754..8971a4f 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 7c1adfc..50149e5 100644 --- a/note/index.html +++ b/note/index.html @@ -9,10 +9,10 @@ -
\ No newline at end of file +

All Notes

\ No newline at end of file diff --git a/note/index.xml b/note/index.xml index 4d542c3..f5fc464 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-usArchLinuxのインストール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チェス盤の各マスに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 i(1-b_i)$ 応用 長さ$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> <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 973853c..f5d015e 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 bdaabc6..5cd1bb1 100644 --- a/note/info-tech/install-archlinux/index.html +++ b/note/info-tech/install-archlinux/index.html @@ -9,7 +9,7 @@ - @@ -44,4 +44,4 @@ Mar 18, 2023

  • Note< 2
    grub-install --target=i386-pc /dev/sda
     grub-mkconfig -o /boot/grub/grub.cfg
    -

    以上.


    \ No newline at end of file +

    以上.


    \ No newline at end of file diff --git a/note/info-tech/library-c-cpp/index.html b/note/info-tech/library-c-cpp/index.html index a287614..93d9dba 100644 --- a/note/info-tech/library-c-cpp/index.html +++ b/note/info-tech/library-c-cpp/index.html @@ -9,11 +9,11 @@ -

    ar.falsy.cat

    Search

    Search IconIcon to open search

    C/C++のライブラリまとめ

    Last updated -Mar 9, 2023

    # 概要

    • C/C++のいい感じのライブラリのまとめ
    • 基本的にlightweightかつmulti-platformなものしか載せない
    • リンクがない項目は今後執筆予定

    # Script

    # OS Wrapper


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

    # 概要

    • C/C++のいい感じのライブラリのまとめ
    • 基本的にlightweightかつmulti-platformなものしか載せない
    • リンクがない項目は今後執筆予定

    # Script

    # OS Wrapper


    \ No newline at end of file diff --git a/note/info-tech/obsidian/index.html b/note/info-tech/obsidian/index.html index 426aa59..07aa2d3 100644 --- a/note/info-tech/obsidian/index.html +++ b/note/info-tech/obsidian/index.html @@ -12,11 +12,11 @@ -

    ar.falsy.cat

    Search

    Search IconIcon to open search

    Obsidianについて

    Last updated -Feb 23, 2023

    公式サイト

    # 概要

    • オフラインのwikiっぽいもの(=Vault)
    • 記法はmarkdown
    • Vaultは全てローカルに保存される

    # インストール

    • 公式サイトに各OSのインストーラが揃ってる
    • Macではbrew install obsidianができる

    # いいところ

    • シンプルでスタイリッシュなデザイン
    • 完全ローカルなので高セキュリティ
    • 数式が使える $E=mc^2$

    # わるいところ

    • 完全ローカルなので同期が課題
      • Vaultが巨大になるほど同期コストも増加
    • Macにて,エディタ上のリアルタイムプレビューとIMEが競合して日本語が正常に入力できないことがある

    # 所感

    • ar.falsy.catの記事書くのに使っている
    • WebDAVなどのファイルサーバー上にあるVaultを,全体をダウンロードせずに開けるようになれば素晴らしい

    # 関連


    \ No newline at end of file +Feb 23, 2023

    公式サイト

    # 概要

    • オフラインのwikiっぽいもの(=Vault)
    • 記法はmarkdown
    • Vaultは全てローカルに保存される

    # インストール

    • 公式サイトに各OSのインストーラが揃ってる
    • Macではbrew install obsidianができる

    # いいところ

    • シンプルでスタイリッシュなデザイン
    • 完全ローカルなので高セキュリティ
    • 数式が使える $E=mc^2$

    # わるいところ

    • 完全ローカルなので同期が課題
      • Vaultが巨大になるほど同期コストも増加
    • Macにて,エディタ上のリアルタイムプレビューとIMEが競合して日本語が正常に入力できないことがある

    # 所感

    • ar.falsy.catの記事書くのに使っている
    • WebDAVなどのファイルサーバー上にあるVaultを,全体をダウンロードせずに開けるようになれば素晴らしい

    # 関連


    \ No newline at end of file diff --git a/note/info-tech/pleroma/index.html b/note/info-tech/pleroma/index.html index 31df0a4..0d8e45e 100644 --- a/note/info-tech/pleroma/index.html +++ b/note/info-tech/pleroma/index.html @@ -9,7 +9,7 @@ - @@ -24,4 +24,4 @@ Apr 8, 2023

    • NoteDELETE FROM users WHERE not local; # 全リモートユーザーの削除 VACUUM FULL; VACUUM ANALYZE; -
      \ No newline at end of file +
      \ No newline at end of file diff --git a/note/info-tech/publish-obsidian-by-quartz/index.html b/note/info-tech/publish-obsidian-by-quartz/index.html index 42bff7e..721f798 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の紹介文からの引用 - @@ -68,4 +68,4 @@ Feb 24, 2023


      \ No newline at end of file diff --git a/note/info-tech/qemu/index.html b/note/info-tech/qemu/index.html index 15a8d82..1d7a1df 100644 --- a/note/info-tech/qemu/index.html +++ b/note/info-tech/qemu/index.html @@ -33,7 +33,7 @@ M1/M2向けVirtualBoxはまだ開発者プレビューしかなく,まとも - @@ -66,4 +66,4 @@ Mar 18, 2023

      • Note< -m 4G \ -cdrom ../iso/archlinux-2023.02.01-x86_64.iso \ sda.qcow2 -
        \ No newline at end of file +
        \ No newline at end of file diff --git a/note/info-tech/tinycthread/index.html b/note/info-tech/tinycthread/index.html index b2aba7f..5cc3c8d 100644 --- a/note/info-tech/tinycthread/index.html +++ b/note/info-tech/tinycthread/index.html @@ -12,7 +12,7 @@ - @@ -40,4 +40,4 @@ Mar 9, 2023

        • Note GIT_TAG "6957fc8383d6c7db25b60b8c849b29caab1caaee" ) FetchContent_MakeAvailable(tinycthread) -
          \ No newline at end of file +
          \ No newline at end of file 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 new file mode 100644 index 0000000..0bf3f12 --- /dev/null +++ b/note/info-tech/two-lolita-devils-and-chess-board/index.html @@ -0,0 +1,19 @@ +2人の幼女と悪魔とチェス盤 + + + + + + + + + + + +
          +

          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チェス盤の各マスに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 i(1-b_i)$

          # 応用

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

          # 参考文献


          \ No newline at end of file diff --git a/note/page/2/index.html b/note/page/2/index.html index 739d09e..542194f 100644 --- a/note/page/2/index.html +++ b/note/page/2/index.html @@ -9,10 +9,10 @@ -

          ar.falsy.cat

          Search

          Search IconIcon to open search
          -
          \ No newline at end of file +
          \ No newline at end of file diff --git a/note/word-play/japanese-text-all-stars/index.html b/note/word-play/japanese-text-all-stars/index.html index 4ac7a68..68f3498 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 f9125fd..fd2b211 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/sitemap.xml b/sitemap.xml index 0c27013..c578a25 100644 --- a/sitemap.xml +++ b/sitemap.xml @@ -1 +1 @@ -https://ar.falsy.cat/note/info-tech/install-archlinux/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/blog/2023-03-20T12:07:53+09:00https://ar.falsy.cat/blog/2023-03-20T12:07:53+09:00https://ar.falsy.cat/tags/c-language/2023-03-09T03:24:56+09:00https://ar.falsy.cat/note/info-tech/library-c-cpp/2023-03-09T03:24:56+09:00https://ar.falsy.cat/tags/cat/2023-03-04T21:21:42+09:00https://ar.falsy.cat/categories/https://ar.falsy.cat/tags/chores/2023-03-07T10:46:29+09:00https://ar.falsy.cat/tags/cooking/2023-03-07T10:46:29+09:00https://ar.falsy.cat/tags/cpp/2023-03-09T03:24:56+09:00https://ar.falsy.cat/tags/development/2023-03-20T12:07:53+09:00https://ar.falsy.cat/tags/fediverse/2023-04-08T23:50:58+09:00https://ar.falsy.cat/note/info-tech/flutter/2023-03-20T12:07:53+09:00https://ar.falsy.cat/tags/gourmet/2023-03-03T22:55:00+09:00https://ar.falsy.cat/2023-02-23T22:52:35+09:00https://ar.falsy.cat/tags/info-tech/2023-04-08T23:50:58+09:00https://ar.falsy.cat/tags/library/2023-03-20T12:07:53+09:00https://ar.falsy.cat/tags/lifehack/2023-03-11T23:42:40+09:00https://ar.falsy.cat/tags/linux/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/mountain/2023-03-04T21:21:42+09:00https://ar.falsy.cat/tags/note/2023-04-08T23:50:58+09:00https://ar.falsy.cat/note/2023-04-08T23:50:58+09:00https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/2023-02-24T17:27:13+09:00https://ar.falsy.cat/note/info-tech/obsidian/2023-02-23T22:52:35+09:00https://ar.falsy.cat/tags/photo/2023-03-20T12:07:53+09:00https://ar.falsy.cat/note/info-tech/pleroma/2023-04-08T23:50:58+09:00https://ar.falsy.cat/note/info-tech/qemu/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/sns/2023-04-08T23:50:58+09:00https://ar.falsy.cat/tags/software/2023-04-08T23:50:58+09:00https://ar.falsy.cat/tags/2023-04-08T23:50:58+09:00https://ar.falsy.cat/note/info-tech/tinycthread/2023-03-09T03:24:56+09:00https://ar.falsy.cat/tags/tool/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/travel/2023-03-04T21:21:42+09:00https://ar.falsy.cat/tags/virtualization/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/web/2023-04-08T23:50:58+09:00https://ar.falsy.cat/tags/word-play/2023-03-11T23:42:40+09:00https://ar.falsy.cat/note/chores/one-hand-egg-cracking/2023-02-23T22:52:35+09:00https://ar.falsy.cat/note/word-play/japanese-text-all-stars/2023-03-11T23:42:40+09:00https://ar.falsy.cat/blog/2023/0319-moving/2023-03-20T12:07:53+09:00https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/2023-03-11T23:42:40+09:00https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/2023-03-07T10:46:29+09:00https://ar.falsy.cat/blog/2023/0301-fukue-island/2023-03-02T00:14:02+09:00https://ar.falsy.cat/blog/2023/0303-fukue-island/2023-03-03T22:55:00+09:00https://ar.falsy.cat/blog/2023/0304-fukue-island/2023-03-04T21:21:42+09:00 \ No newline at end of file +https://ar.falsy.cat/note/info-tech/two-lolita-devils-and-chess-board/2023-04-09T15:58:20+09:00https://ar.falsy.cat/note/info-tech/install-archlinux/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/blog/2023-03-20T12:07:53+09:00https://ar.falsy.cat/blog/2023-03-20T12:07:53+09:00https://ar.falsy.cat/tags/c-language/2023-03-09T03:24:56+09:00https://ar.falsy.cat/note/info-tech/library-c-cpp/2023-03-09T03:24:56+09:00https://ar.falsy.cat/tags/cat/2023-03-04T21:21:42+09:00https://ar.falsy.cat/categories/https://ar.falsy.cat/tags/chores/2023-03-07T10:46:29+09:00https://ar.falsy.cat/tags/cooking/2023-03-07T10:46:29+09:00https://ar.falsy.cat/tags/cpp/2023-03-09T03:24:56+09:00https://ar.falsy.cat/tags/development/2023-03-20T12:07:53+09:00https://ar.falsy.cat/tags/fediverse/2023-04-08T23:50:58+09:00https://ar.falsy.cat/note/info-tech/flutter/2023-03-20T12:07:53+09:00https://ar.falsy.cat/tags/gourmet/2023-03-03T22:55:00+09:00https://ar.falsy.cat/2023-02-23T22:52:35+09:00https://ar.falsy.cat/tags/info-tech/2023-04-09T15:58:20+09:00https://ar.falsy.cat/tags/library/2023-03-20T12:07:53+09:00https://ar.falsy.cat/tags/lifehack/2023-03-11T23:42:40+09:00https://ar.falsy.cat/tags/linux/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/logical/2023-04-09T15:58:20+09:00https://ar.falsy.cat/tags/mountain/2023-03-04T21:21:42+09:00https://ar.falsy.cat/tags/note/2023-04-09T15:58:20+09:00https://ar.falsy.cat/note/2023-04-09T15:58:20+09:00https://ar.falsy.cat/note/info-tech/publish-obsidian-by-quartz/2023-02-24T17:27:13+09:00https://ar.falsy.cat/note/info-tech/obsidian/2023-02-23T22:52:35+09:00https://ar.falsy.cat/tags/photo/2023-03-20T12:07:53+09:00https://ar.falsy.cat/note/info-tech/pleroma/2023-04-08T23:50:58+09:00https://ar.falsy.cat/note/info-tech/qemu/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/sns/2023-04-08T23:50:58+09:00https://ar.falsy.cat/tags/software/2023-04-08T23:50:58+09:00https://ar.falsy.cat/tags/2023-04-09T15:58:20+09:00https://ar.falsy.cat/note/info-tech/tinycthread/2023-03-09T03:24:56+09:00https://ar.falsy.cat/tags/tool/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/travel/2023-03-04T21:21:42+09:00https://ar.falsy.cat/tags/virtualization/2023-03-18T13:47:08+09:00https://ar.falsy.cat/tags/web/2023-04-08T23:50:58+09:00https://ar.falsy.cat/tags/word-play/2023-03-11T23:42:40+09:00https://ar.falsy.cat/note/chores/one-hand-egg-cracking/2023-02-23T22:52:35+09:00https://ar.falsy.cat/note/word-play/japanese-text-all-stars/2023-03-11T23:42:40+09:00https://ar.falsy.cat/blog/2023/0319-moving/2023-03-20T12:07:53+09:00https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/2023-03-11T23:42:40+09:00https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/2023-03-07T10:46:29+09:00https://ar.falsy.cat/blog/2023/0301-fukue-island/2023-03-02T00:14:02+09:00https://ar.falsy.cat/blog/2023/0303-fukue-island/2023-03-03T22:55:00+09:00https://ar.falsy.cat/blog/2023/0304-fukue-island/2023-03-04T21:21:42+09:00 \ No newline at end of file diff --git a/tags/blog/index.html b/tags/blog/index.html index 6ee8674..1292b7c 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 b639bcf..071c9bc 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 5e07ede..338c32b 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 f0fcc7f..491bccc 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 1b20824..9d7d211 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 bb087c4..9e4b609 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 66a4258..dd9700c 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 2fbd87c..8ac9e8b 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 2ae43d3..caf918a 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 f40aee4..bcc6a75 100644 --- a/tags/index.html +++ b/tags/index.html @@ -9,10 +9,10 @@ -

          ar.falsy.cat

          Search

          Search IconIcon to open search
          -

          All Tags

          Note

          12 notes with this tag (showing first 10 results)

          Info tech

          8 notes with this tag

          Blog

          4 notes with this tag

          Lifehack

          4 notes with this tag

          Photo

          4 notes with this tag

          Cat

          3 notes with this tag

          Development

          3 notes with this tag

          Travel

          3 notes with this tag

          C language

          2 notes with this tag

          Chores

          2 notes with this tag

          Cooking

          2 notes with this tag

          Gourmet

          2 notes with this tag

          Software

          2 notes with this tag

          Tool

          2 notes with this tag

          Web

          2 notes with this tag

          Word play

          2 notes with this tag

          Cpp

          1 notes with this tag

          Fediverse

          1 notes with this tag

          Library

          1 notes with this tag

          Linux

          1 notes with this tag

          Mountain

          1 notes with this tag

          Sns

          1 notes with this tag

          Virtualization

          1 notes with this tag

          \ No newline at end of file +

          All Tags

          Note

          13 notes with this tag (showing first 10 results)

          Info tech

          9 notes with this tag

          Blog

          4 notes with this tag

          Lifehack

          4 notes with this tag

          Photo

          4 notes with this tag

          Cat

          3 notes with this tag

          Development

          3 notes with this tag

          Travel

          3 notes with this tag

          C language

          2 notes with this tag

          Chores

          2 notes with this tag

          Cooking

          2 notes with this tag

          Gourmet

          2 notes with this tag

          Software

          2 notes with this tag

          Tool

          2 notes with this tag

          Web

          2 notes with this tag

          Word play

          2 notes with this tag

          Cpp

          1 notes with this tag

          Fediverse

          1 notes with this tag

          Library

          1 notes with this tag

          Linux

          1 notes with this tag

          Logical

          1 notes with this tag

          Mountain

          1 notes with this tag

          Sns

          1 notes with this tag

          Virtualization

          1 notes with this tag

          \ No newline at end of file diff --git a/tags/index.xml b/tags/index.xml index 158a59c..ee3f06f 100644 --- a/tags/index.xml +++ b/tags/index.xml @@ -1 +1 @@ -Tags onhttps://ar.falsy.cat/tags/Recent content in Tags onHugo -- gohugo.ioen-usbloghttps://ar.falsy.cat/tags/blog/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/blog/c-languagehttps://ar.falsy.cat/tags/c-language/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/c-language/cathttps://ar.falsy.cat/tags/cat/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/cat/choreshttps://ar.falsy.cat/tags/chores/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/chores/cookinghttps://ar.falsy.cat/tags/cooking/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/cooking/cpphttps://ar.falsy.cat/tags/cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/cpp/developmenthttps://ar.falsy.cat/tags/development/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/development/fediversehttps://ar.falsy.cat/tags/fediverse/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/fediverse/gourmethttps://ar.falsy.cat/tags/gourmet/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/gourmet/info-techhttps://ar.falsy.cat/tags/info-tech/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/info-tech/libraryhttps://ar.falsy.cat/tags/library/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/library/lifehackhttps://ar.falsy.cat/tags/lifehack/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/lifehack/linuxhttps://ar.falsy.cat/tags/linux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/linux/mountainhttps://ar.falsy.cat/tags/mountain/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/mountain/notehttps://ar.falsy.cat/tags/note/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/note/photohttps://ar.falsy.cat/tags/photo/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/photo/snshttps://ar.falsy.cat/tags/sns/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/sns/softwarehttps://ar.falsy.cat/tags/software/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/software/toolhttps://ar.falsy.cat/tags/tool/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/tool/travelhttps://ar.falsy.cat/tags/travel/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/travel/virtualizationhttps://ar.falsy.cat/tags/virtualization/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/virtualization/webhttps://ar.falsy.cat/tags/web/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/web/word-playhttps://ar.falsy.cat/tags/word-play/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/word-play/ \ No newline at end of file +Tags onhttps://ar.falsy.cat/tags/Recent content in Tags onHugo -- gohugo.ioen-usbloghttps://ar.falsy.cat/tags/blog/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/blog/c-languagehttps://ar.falsy.cat/tags/c-language/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/c-language/cathttps://ar.falsy.cat/tags/cat/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/cat/choreshttps://ar.falsy.cat/tags/chores/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/chores/cookinghttps://ar.falsy.cat/tags/cooking/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/cooking/cpphttps://ar.falsy.cat/tags/cpp/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/cpp/developmenthttps://ar.falsy.cat/tags/development/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/development/fediversehttps://ar.falsy.cat/tags/fediverse/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/fediverse/gourmethttps://ar.falsy.cat/tags/gourmet/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/gourmet/info-techhttps://ar.falsy.cat/tags/info-tech/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/info-tech/libraryhttps://ar.falsy.cat/tags/library/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/library/lifehackhttps://ar.falsy.cat/tags/lifehack/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/lifehack/linuxhttps://ar.falsy.cat/tags/linux/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/linux/logicalhttps://ar.falsy.cat/tags/logical/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/logical/mountainhttps://ar.falsy.cat/tags/mountain/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/mountain/notehttps://ar.falsy.cat/tags/note/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/note/photohttps://ar.falsy.cat/tags/photo/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/photo/snshttps://ar.falsy.cat/tags/sns/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/sns/softwarehttps://ar.falsy.cat/tags/software/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/software/toolhttps://ar.falsy.cat/tags/tool/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/tool/travelhttps://ar.falsy.cat/tags/travel/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/travel/virtualizationhttps://ar.falsy.cat/tags/virtualization/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/virtualization/webhttps://ar.falsy.cat/tags/web/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/web/word-playhttps://ar.falsy.cat/tags/word-play/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/tags/word-play/ \ No newline at end of file diff --git a/tags/info-tech/index.html b/tags/info-tech/index.html index 09241c1..38e90c9 100644 --- a/tags/info-tech/index.html +++ b/tags/info-tech/index.html @@ -9,10 +9,10 @@ -
          \ No newline at end of file +

          Tag: info-tech

          \ No newline at end of file diff --git a/tags/info-tech/index.xml b/tags/info-tech/index.xml index 0ec6910..801fe77 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-usArchLinuxのインストール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チェス盤の各マスに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 i(1-b_i)$ 応用 長さ$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> <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 2b89c1d..0b9fa62 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 228251c..b2f79c3 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 759432e..bb87518 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 new file mode 100644 index 0000000..3952d41 --- /dev/null +++ b/tags/logical/index.html @@ -0,0 +1,18 @@ +logical + + + + + + + + + + + +
          +

          ar.falsy.cat

          Search

          Search IconIcon to open search
          +
          \ No newline at end of file diff --git a/tags/logical/index.xml b/tags/logical/index.xml new file mode 100644 index 0000000..5abe16b --- /dev/null +++ b/tags/logical/index.xml @@ -0,0 +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チェス盤の各マスに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 i(1-b_i)$ 応用 長さ$2^{2^N}$の任意のビット列について,任意の1ビットだけを反転させることで,長さ$2^N$のビット列を表現できる 参考文献 # 超難問論理クイズ「2人の幼女とチェス盤の部屋」が本当に難しすぎた - 明日は未来だ! 幼女問題まとめ - GItHub Gist Impossible Escape? \ No newline at end of file diff --git a/tags/logical/page/1/index.html b/tags/logical/page/1/index.html new file mode 100644 index 0000000..2b70b2e --- /dev/null +++ b/tags/logical/page/1/index.html @@ -0,0 +1 @@ +https://ar.falsy.cat/tags/logical/ \ No newline at end of file diff --git a/tags/mountain/index.html b/tags/mountain/index.html index 8069817..0ab9ae3 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 bb5ab1c..c9453fc 100644 --- a/tags/note/index.html +++ b/tags/note/index.html @@ -9,10 +9,10 @@ -
          \ No newline at end of file +

          Tag: note

          \ No newline at end of file diff --git a/tags/note/index.xml b/tags/note/index.xml index bfb0505..95d888e 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-usArchLinuxのインストール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チェス盤の各マスに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 i(1-b_i)$ 応用 長さ$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> <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 f5002e8..94480a2 100644 --- a/tags/note/page/2/index.html +++ b/tags/note/page/2/index.html @@ -9,10 +9,10 @@ -

          ar.falsy.cat

          Search

          Search IconIcon to open search
          -
          \ No newline at end of file +
          \ No newline at end of file diff --git a/tags/photo/index.html b/tags/photo/index.html index 42d8db9..d89a57c 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 f0a3d54..cc204ed 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 9dc71a9..3e83660 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 bb153f8..aa8fe4b 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 7f94e98..5fd91e9 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 2712d4a..4791c3c 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 6284d99..4581611 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 3dd790e..abe32c4 100644 --- a/tags/word-play/index.html +++ b/tags/word-play/index.html @@ -9,7 +9,7 @@ -