diff --git a/404.html b/404.html index 98bdaa1..d22a84d 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 c879a5b..8e7d3e9 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 8d45b5e..d9fc063 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 89c9a19..77a14a4 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/index.html b/blog/index.html index 740d815..7a629d3 100644 --- a/blog/index.html +++ b/blog/index.html @@ -9,7 +9,7 @@ - diff --git a/categories/index.html b/categories/index.html index e27197b..f506b63 100644 --- a/categories/index.html +++ b/categories/index.html @@ -9,7 +9,7 @@ - diff --git a/index.html b/index.html index b0143bf..bc96e99 100644 --- a/index.html +++ b/index.html @@ -9,7 +9,7 @@ - diff --git a/index.xml b/index.xml index 9ab7bf3..2c62941 100644 --- a/index.xml +++ b/index.xml @@ -21,4 +21,4 @@ data-src="https://ar.falsy.cat/note/info-tech/obsidian/">Obsidian</a>のVault 概要 スレッド関係の機能を提供するlightweightなライブラリ mtx: mutex cnd: condition variable thrd: thread tss: thread-specific storage C11 zlib license マルチプラットフォーム CMake利用可能 導入方法 CMake: FetchContent 1 2 3 4 5 6 7 8 9 10 # ---- tinycthread ---- # repository: https://github.卵を片手で割る手法の提案https://ar.falsy.cat/note/chores/one-hand-egg-cracking/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/one-hand-egg-cracking/Abstract This paper proposes a method to crack eggs by one hand The method can reduce cooking time and promote multi-tasking No special appliance is needed However accuracy of action is necessary to keep yolk unbroken 概要 調理の時短とマルチタスク促進のために卵を片手で割る手法を提案する 本手法は一般家庭にある既存の器具のみで実行が可能 ただし黄身を割らないためには繊細な動作が要求される 背景 左手でゴミ袋を持ちながら右手で卵を割ると非常に時短になる 特に調理プロセスのなかで一度に複数の卵が関与する場合に著しい時短効果が得られる 先行研究の手法では調理対象に殻が混入してしまうことが多い 手法 卵をフォークボールを投げる時のように持つ 鋭端が人差し指と中指の間に来るように持つ 鈍端を親指と薬指で支える 皿の淵で卵の殻に割れ目を作る 卵の鋭端と鈍端を結ぶ線分の垂直二等分線が皿の淵と重なるように腕を何回か振り下ろす 皿を卵の直径の$\frac{1}{4}$程度まで食い込ませる 卵を皿に押し付けて真っ二つにするイメージ ここで皿を食い込ませすぎると黄身が割れる原因になる 人差し指の付け根で割れ目の裏側を押し出す 人差し指,中指,親指,薬指で卵をしっかりと支えておく 評価実験 本手法を用いて鶏卵2個を割った 1個は黄身が割れたが,1個は割れなかった 卵の殻が調理対象に混入することはなかった まとめ 卵を片手で割る手法を提案した 本手法では50%の確率で黄身が割れる 先行研究の手法と異なり,卵の殻が混入する確率は低い 今後の課題として,黄身が割れる確率を抑えることが挙げられる 理論上,左右両方の手で同時に2個の卵を割ることでさらなる効率化を図れる国語教科書オールスターズhttps://ar.falsy.cat/note/word-play/japanese-text-all-stars/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/japanese-text-all-stars/<h2 id="概要">概要</h2> <ul> <li>今までの国語の教科書に出てきた忘れられない奴等を忘れないために記録しておく</li> -</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である片手鍋で米を炊くhttps://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/概要 炊飯器が無くても米は炊ける ただし火を使う間,22分程度拘束される 手順 片手鍋で米(3合)を研ぐ 水(500ml)を入れる 蓋をして鍋ごと冷蔵庫で30分冷やす 蓋をしたまま中火で13分 弱火で3分 とろ火で6分 火を消して蓋をしたまま10分放置 補足 冷やす時間は15分程度まで短縮しても良い 短縮した場合は中火の時間も12分程度に縮める 最後の放置が結構重要 火を消した直後はまだべちゃべちゃしてる福江島 1日目https://ar.falsy.cat/blog/2023/0301-fukue-island/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/blog/2023/0301-fukue-island/概要 用事があって,東京から福江島へ行った 宿が神 3泊4日で3/4に東京へ帰還する予定 移動 出発地は東京 家→羽田空港→長崎空港→五島福江空港→宿 早朝に家を出て,昼に到着した 別に昼に到着するためにわざわざ早朝に家を出たのではなく, 1ヶ月前に航空機の予約を取ったので,安い便はほとんど早朝だっただけ 家→羽田空港 電車 遅延も事故もなかったので良かった 羽田空港→長崎空港 ANA メーデーでよくLCCが堕ちている感じがある(個人的に) 長崎空港→五島福江空港 小型のプロペラ機に乗った 到着地が雨で視界が悪かったため,条件付き(もしかしたら出発地に戻るかもしれない)運行だった 運良く到着地に無事着陸できた 五島福江空港→宿 宿の人が車で迎えに来てくれた 空港に着いてからタクシーを呼ぶ予定だった タクシー代が浮いた とてもありがたい 神 本当は今日までに免許を取っていたかったのだけど,2月にそんなスムーズに取れるはずもなかった 免許取れてたらレンタカーを借りる予定だった 宿 一日一組限定の一棟貸を一人で3泊借りるという暴挙に出たけれど,嫌な顔ひとつされなかった 上で言った通り,空港に向かえに来てさえくれた ほとんど素泊まり ご飯なし チェックアウトまで清掃もしてくれる感じではなさそう? 今のところ神 アメニティ,設備が揃ってる 最初はただの民家の鍵を渡されるだけかと思ってた ドライヤー,ヘアアイロン,髪につけるジェル,髭剃り,スキンケア関係も一通り揃ってた ボディスポンジが,舞浜のディズニーランド近くのホテルより性能良かった 水周りが綺麗 外見は築年数が経った民家っぽかったのであまり期待してなかった 想像以上に綺麗だった キッチンが使える まだ使ってないし使う予定はないけど,自炊もできる 魚釣って捌いて食べるってこともできるらしい 捌くのは外でやれって張り紙があった 食事 昼 Slow Cafe たゆたう 鬼岳バーガー 鬼岳は315m,バーガーは315gらしい 美味しかったけど綺麗な食べ方がわからない カフェラテがムンクの叫びになった 夜 Cafe EARTH 美味しかった 写真は撮ってない 猫 夜歩いてたらめっちゃ足にまとわりついてくる猫がいた 首輪してなかったので多分野良 暗かったのでうまく撮れなかった福江島 3日目https://ar.falsy.cat/blog/2023/0303-fukue-island/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/blog/2023/0303-fukue-island/概要 用事があって,東京から福江島へ行った 3泊4日の3日目 ( 1日目) 2日目は用事がメインで特に何もなかったので割愛 観光 五島観光歴史資料館 入場料300円 石器時代レベルの遺物から戦時中に将校が携帯していた刀まで展示してあった 堂崎教会 タクシーで行った 定期観光バスで予約なし乗車しようと思ったら,予約いっぱいでダメだった 運転手の人が他の教会にも連れて行ってくれた 入場料300円 中にはキリスト教に関係する資料や像が展示されていた 聖典の装丁が厨二っぽくてカッコよかった 館内は撮影禁止 食事 昼 1日目と同じく Slow Cafe たゆたうにて 鬼岳マグマチーズバーガー 相変わらず綺麗な食べ方がわからなかった 夜 キッチン さゆり 五島牛焼肉定食 猫 福江港を散歩してたら野良猫の集団に出会った ちょっと近づいても全然逃げない 1日目の猫といい,島の猫は人間に馴れている福江島 4日目 最終日https://ar.falsy.cat/blog/2023/0304-fukue-island/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/blog/2023/0304-fukue-island/概要 用事があって,東京から福江島へ行った 3泊4日の4日目 最終日 ( 1日目/ 3日目) 朝一で鬼岳に行って,その後帰投した 帰りはほとんど行きの行程の逆を踏んだだけなので割愛 鬼岳 朝7時半にタクシーを呼んで鬼岳まで行った 当初,鬼岳の大きさを過大評価しており,登るのは時間的に無理だろうと思い,行くのは諦めてた しかし, 昨日のタクシーの運転手の人に「飛行機11時出発でも,朝で鬼岳は十分回れるよ」と言われたので早起きした 1時間後にタクシーを予約して鬼岳を登った さすがに全部の道を辿る時間はなかった 無事1時間で下山できた 多分夏に行ったらWindows XP やっと 1日目と 3日目の昼食に食べたバーガーのモチーフとなった山に登ることができた 飛行機 自分が搭乗してる飛行機が地上で転回するという経験は初めてだったので滑走路の写真を撮った 最初加速したと思ったら減速し始めて,離陸失敗かと思った 転回のために滑走路端まで進んでただけだった タクシーの運転手曰く 五島福江の空港は滑走路が短いため大型機は離着陸ができない 故に東京直行便を作るのも難しいらしい 一応現地の議員が東京直行便を作ろうと頑張ってるらしい 猫 空港への帰り際にまた野良猫に会った 終 \ No newline at end of file +</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である ただし,この手法では全ての現実を証明できるとは言えないことに留意されたい片手鍋で米を炊くhttps://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/概要 炊飯器が無くても米は炊ける ただし火を使う間,22分程度拘束される 手順 片手鍋で米(3合)を研ぐ 水(500ml)を入れる 蓋をして鍋ごと冷蔵庫で30分冷やす 蓋をしたまま中火で13分 弱火で3分 とろ火で6分 火を消して蓋をしたまま10分放置 補足 冷やす時間は15分程度まで短縮しても良い 短縮した場合は中火の時間も12分程度に縮める 最後の放置が結構重要 火を消した直後はまだべちゃべちゃしてる福江島 1日目https://ar.falsy.cat/blog/2023/0301-fukue-island/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/blog/2023/0301-fukue-island/概要 用事があって,東京から福江島へ行った 宿が神 3泊4日で3/4に東京へ帰還する予定 移動 出発地は東京 家→羽田空港→長崎空港→五島福江空港→宿 早朝に家を出て,昼に到着した 別に昼に到着するためにわざわざ早朝に家を出たのではなく, 1ヶ月前に航空機の予約を取ったので,安い便はほとんど早朝だっただけ 家→羽田空港 電車 遅延も事故もなかったので良かった 羽田空港→長崎空港 ANA メーデーでよくLCCが堕ちている感じがある(個人的に) 長崎空港→五島福江空港 小型のプロペラ機に乗った 到着地が雨で視界が悪かったため,条件付き(もしかしたら出発地に戻るかもしれない)運行だった 運良く到着地に無事着陸できた 五島福江空港→宿 宿の人が車で迎えに来てくれた 空港に着いてからタクシーを呼ぶ予定だった タクシー代が浮いた とてもありがたい 神 本当は今日までに免許を取っていたかったのだけど,2月にそんなスムーズに取れるはずもなかった 免許取れてたらレンタカーを借りる予定だった 宿 一日一組限定の一棟貸を一人で3泊借りるという暴挙に出たけれど,嫌な顔ひとつされなかった 上で言った通り,空港に向かえに来てさえくれた ほとんど素泊まり ご飯なし チェックアウトまで清掃もしてくれる感じではなさそう? 今のところ神 アメニティ,設備が揃ってる 最初はただの民家の鍵を渡されるだけかと思ってた ドライヤー,ヘアアイロン,髪につけるジェル,髭剃り,スキンケア関係も一通り揃ってた ボディスポンジが,舞浜のディズニーランド近くのホテルより性能良かった 水周りが綺麗 外見は築年数が経った民家っぽかったのであまり期待してなかった 想像以上に綺麗だった キッチンが使える まだ使ってないし使う予定はないけど,自炊もできる 魚釣って捌いて食べるってこともできるらしい 捌くのは外でやれって張り紙があった 食事 昼 Slow Cafe たゆたう 鬼岳バーガー 鬼岳は315m,バーガーは315gらしい 美味しかったけど綺麗な食べ方がわからない カフェラテがムンクの叫びになった 夜 Cafe EARTH 美味しかった 写真は撮ってない 猫 夜歩いてたらめっちゃ足にまとわりついてくる猫がいた 首輪してなかったので多分野良 暗かったのでうまく撮れなかった福江島 3日目https://ar.falsy.cat/blog/2023/0303-fukue-island/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/blog/2023/0303-fukue-island/概要 用事があって,東京から福江島へ行った 3泊4日の3日目 ( 1日目) 2日目は用事がメインで特に何もなかったので割愛 観光 五島観光歴史資料館 入場料300円 石器時代レベルの遺物から戦時中に将校が携帯していた刀まで展示してあった 堂崎教会 タクシーで行った 定期観光バスで予約なし乗車しようと思ったら,予約いっぱいでダメだった 運転手の人が他の教会にも連れて行ってくれた 入場料300円 中にはキリスト教に関係する資料や像が展示されていた 聖典の装丁が厨二っぽくてカッコよかった 館内は撮影禁止 食事 昼 1日目と同じく Slow Cafe たゆたうにて 鬼岳マグマチーズバーガー 相変わらず綺麗な食べ方がわからなかった 夜 キッチン さゆり 五島牛焼肉定食 猫 福江港を散歩してたら野良猫の集団に出会った ちょっと近づいても全然逃げない 1日目の猫といい,島の猫は人間に馴れている福江島 4日目 最終日https://ar.falsy.cat/blog/2023/0304-fukue-island/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/blog/2023/0304-fukue-island/概要 用事があって,東京から福江島へ行った 3泊4日の4日目 最終日 ( 1日目/ 3日目) 朝一で鬼岳に行って,その後帰投した 帰りはほとんど行きの行程の逆を踏んだだけなので割愛 鬼岳 朝7時半にタクシーを呼んで鬼岳まで行った 当初,鬼岳の大きさを過大評価しており,登るのは時間的に無理だろうと思い,行くのは諦めてた しかし, 昨日のタクシーの運転手の人に「飛行機11時出発でも,朝で鬼岳は十分回れるよ」と言われたので早起きした 1時間後にタクシーを予約して鬼岳を登った さすがに全部の道を辿る時間はなかった 無事1時間で下山できた 多分夏に行ったらWindows XP やっと 1日目と 3日目の昼食に食べたバーガーのモチーフとなった山に登ることができた 飛行機 自分が搭乗してる飛行機が地上で転回するという経験は初めてだったので滑走路の写真を撮った 最初加速したと思ったら減速し始めて,離陸失敗かと思った 転回のために滑走路端まで進んでただけだった タクシーの運転手曰く 五島福江の空港は滑走路が短いため大型機は離着陸ができない 故に東京直行便を作るのも難しいらしい 一応現地の議員が東京直行便を作ろうと頑張ってるらしい 猫 空港への帰り際にまた野良猫に会った 終 \ No newline at end of file diff --git a/indices/contentIndex.03a1f4717acebde70a54b96125d8db56.min.json b/indices/contentIndex.03a1f4717acebde70a54b96125d8db56.min.json deleted file mode 100644 index 6c376e3..0000000 --- a/indices/contentIndex.03a1f4717acebde70a54b96125d8db56.min.json +++ /dev/null @@ -1 +0,0 @@ -{"/":{"title":"HOME","content":"\n[ブログ](blog)兼[備忘録](note).arはarchiveの略.[著者](https://falsy.cat/)","lastmodified":"2023-03-11T14:48:13.4275056Z","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-03-11T14:48:13.4275056Z","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-03-11T14:48:13.431505598Z","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-03-11T14:48:13.431505598Z","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-03-11T14:48:13.431505598Z","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-03-11T14:48:13.431505598Z","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 # 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\n#### ブートローダのインストール\n```bash\npacman -S grub/\ngrub-install --target=i386-pc /dev/sda\ngrub-mkconfig -o /boot/grub/grub.cfg\n```\n\n以上.","lastmodified":"2023-03-11T14:48:13.431505598Z","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-03-11T14:48:13.431505598Z","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-03-11T14:48:13.431505598Z","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-03-11T14:48:13.435505596Z","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### 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-03-11T14:48:13.435505596Z","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-03-11T14:48:13.435505596Z","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-03-11T14:48:13.435505596Z","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- 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である","lastmodified":"2023-03-11T14:48:13.435505596Z","tags":null}} \ No newline at end of file diff --git a/indices/contentIndex.c1470b01a6963cafcf8d8c7df974351a.min.json b/indices/contentIndex.c1470b01a6963cafcf8d8c7df974351a.min.json new file mode 100644 index 0000000..b463ea4 --- /dev/null +++ b/indices/contentIndex.c1470b01a6963cafcf8d8c7df974351a.min.json @@ -0,0 +1 @@ +{"/":{"title":"HOME","content":"\n[ブログ](blog)兼[備忘録](note).arはarchiveの略.[著者](https://falsy.cat/)","lastmodified":"2023-03-11T14:59:24.01545396Z","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-03-11T14:59:24.01545396Z","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-03-11T14:59:24.019454024Z","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-03-11T14:59:24.019454024Z","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-03-11T14:59:24.019454024Z","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-03-11T14:59:24.019454024Z","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 # 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\n#### ブートローダのインストール\n```bash\npacman -S grub/\ngrub-install --target=i386-pc /dev/sda\ngrub-mkconfig -o /boot/grub/grub.cfg\n```\n\n以上.","lastmodified":"2023-03-11T14:59:24.019454024Z","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-03-11T14:59:24.019454024Z","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-03-11T14:59:24.019454024Z","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-03-11T14:59:24.019454024Z","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### 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-03-11T14:59:24.019454024Z","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-03-11T14:59:24.019454024Z","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-03-11T14:59:24.019454024Z","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-03-11T14:59:24.019454024Z","tags":null}} \ No newline at end of file diff --git a/linkmap b/linkmap index bfecc0a..87c665b 100644 --- a/linkmap +++ b/linkmap @@ -1,14 +1,14 @@ -/note/info-tech/qemu/index.{html} /note/info-tech/qemu/ -/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/install-archlinux/index.{html} /note/info-tech/install-archlinux/ -/note/info-tech/library-c-cpp/index.{html} /note/info-tech/library-c-cpp/ -/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/publish-obsidian-by-quartz/index.{html} /note/info-tech/publish-obsidian-by-quartz/ +/note/info-tech/tinycthread/index.{html} /note/info-tech/tinycthread/ /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/chores/one-hand-egg-cracking/index.{html} /note/chores/one-hand-egg-cracking/ +/note/info-tech/obsidian/index.{html} /note/info-tech/obsidian/ +/note/info-tech/qemu/index.{html} /note/info-tech/qemu/ /index.html / /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/obsidian/index.{html} /note/info-tech/obsidian/ -/note/info-tech/tinycthread/index.{html} /note/info-tech/tinycthread/ +/note/info-tech/install-archlinux/index.{html} /note/info-tech/install-archlinux/ +/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/library-c-cpp/index.{html} /note/info-tech/library-c-cpp/ diff --git a/note/chores/cooking-rice-with-saucepan/index.html b/note/chores/cooking-rice-with-saucepan/index.html index 7f80888..f9bb243 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 51b3791..d034484 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 87c5dbc..3121d1c 100644 --- a/note/index.html +++ b/note/index.html @@ -9,7 +9,7 @@ - diff --git a/note/index.xml b/note/index.xml index 24d2223..ed064d6 100644 --- a/note/index.xml +++ b/note/index.xml @@ -21,4 +21,4 @@ data-src="https://ar.falsy.cat/note/info-tech/obsidian/">Obsidian</a>のVault 概要 スレッド関係の機能を提供するlightweightなライブラリ mtx: mutex cnd: condition variable thrd: thread tss: thread-specific storage C11 zlib license マルチプラットフォーム CMake利用可能 導入方法 CMake: FetchContent 1 2 3 4 5 6 7 8 9 10 # ---- tinycthread ---- # repository: https://github.卵を片手で割る手法の提案https://ar.falsy.cat/note/chores/one-hand-egg-cracking/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/one-hand-egg-cracking/Abstract This paper proposes a method to crack eggs by one hand The method can reduce cooking time and promote multi-tasking No special appliance is needed However accuracy of action is necessary to keep yolk unbroken 概要 調理の時短とマルチタスク促進のために卵を片手で割る手法を提案する 本手法は一般家庭にある既存の器具のみで実行が可能 ただし黄身を割らないためには繊細な動作が要求される 背景 左手でゴミ袋を持ちながら右手で卵を割ると非常に時短になる 特に調理プロセスのなかで一度に複数の卵が関与する場合に著しい時短効果が得られる 先行研究の手法では調理対象に殻が混入してしまうことが多い 手法 卵をフォークボールを投げる時のように持つ 鋭端が人差し指と中指の間に来るように持つ 鈍端を親指と薬指で支える 皿の淵で卵の殻に割れ目を作る 卵の鋭端と鈍端を結ぶ線分の垂直二等分線が皿の淵と重なるように腕を何回か振り下ろす 皿を卵の直径の$\frac{1}{4}$程度まで食い込ませる 卵を皿に押し付けて真っ二つにするイメージ ここで皿を食い込ませすぎると黄身が割れる原因になる 人差し指の付け根で割れ目の裏側を押し出す 人差し指,中指,親指,薬指で卵をしっかりと支えておく 評価実験 本手法を用いて鶏卵2個を割った 1個は黄身が割れたが,1個は割れなかった 卵の殻が調理対象に混入することはなかった まとめ 卵を片手で割る手法を提案した 本手法では50%の確率で黄身が割れる 先行研究の手法と異なり,卵の殻が混入する確率は低い 今後の課題として,黄身が割れる確率を抑えることが挙げられる 理論上,左右両方の手で同時に2個の卵を割ることでさらなる効率化を図れる国語教科書オールスターズhttps://ar.falsy.cat/note/word-play/japanese-text-all-stars/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/japanese-text-all-stars/<h2 id="概要">概要</h2> <ul> <li>今までの国語の教科書に出てきた忘れられない奴等を忘れないために記録しておく</li> -</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である片手鍋で米を炊くhttps://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/概要 炊飯器が無くても米は炊ける ただし火を使う間,22分程度拘束される 手順 片手鍋で米(3合)を研ぐ 水(500ml)を入れる 蓋をして鍋ごと冷蔵庫で30分冷やす 蓋をしたまま中火で13分 弱火で3分 とろ火で6分 火を消して蓋をしたまま10分放置 補足 冷やす時間は15分程度まで短縮しても良い 短縮した場合は中火の時間も12分程度に縮める 最後の放置が結構重要 火を消した直後はまだべちゃべちゃしてる \ No newline at end of file +</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である ただし,この手法では全ての現実を証明できるとは言えないことに留意されたい片手鍋で米を炊くhttps://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/概要 炊飯器が無くても米は炊ける ただし火を使う間,22分程度拘束される 手順 片手鍋で米(3合)を研ぐ 水(500ml)を入れる 蓋をして鍋ごと冷蔵庫で30分冷やす 蓋をしたまま中火で13分 弱火で3分 とろ火で6分 火を消して蓋をしたまま10分放置 補足 冷やす時間は15分程度まで短縮しても良い 短縮した場合は中火の時間も12分程度に縮める 最後の放置が結構重要 火を消した直後はまだべちゃべちゃしてる \ No newline at end of file diff --git a/note/info-tech/install-archlinux/index.html b/note/info-tech/install-archlinux/index.html index 735c986..ed289b8 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 8904619..9750ce1 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 fb133d6..8141d12 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/publish-obsidian-by-quartz/index.html b/note/info-tech/publish-obsidian-by-quartz/index.html index ecb6ebf..89a8a5e 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 9e83e33..f38a135 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 da841c6..a10514d 100644 --- a/note/info-tech/tinycthread/index.html +++ b/note/info-tech/tinycthread/index.html @@ -12,7 +12,7 @@ - diff --git a/note/word-play/japanese-text-all-stars/index.html b/note/word-play/japanese-text-all-stars/index.html index aeeeaf8..e52be12 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 900d27c..8e99eb8 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 @@ -1,4 +1,4 @@ -明晰夢を利用した現実の証明 +明晰夢を利用した現実の証明 @@ -9,11 +9,11 @@ -

ar.falsy.cat

Search

Search IconIcon to open search

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

Last updated -Mar 11, 2023

# 概要

# 前提

# 証明

  1. 前提より
    • $P_1: A\cap B\iff C$
    • $P_2: C \implies D$
  2. $P_1,P_2$より,三段論法を用いて
    • $P_3: A \cap B \implies D$
  3. $P_3$の対偶より
    • $P_4: \overline{D}\implies \overline{A\cap B}$
  4. $P_4$より,ド・モルガンの公式を用いて
    • $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$
  5. $B$は意図的に真にできるため,$P_5$より
    • $\overline{D}\cap B \implies \overline{A}$

# 結論


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

# 概要

# 前提

# 証明

  1. 前提より
  2. $P_1,P_2$より,三段論法を用いて
  3. $P_3$の対偶より
  4. $P_4$より,ド・モルガンの公式を用いて
  5. $B$は意図的に真にできるため,$P_5$より

# 結論

Related Notes


\ No newline at end of file diff --git a/tags/blog/index.html b/tags/blog/index.html index 1b041df..ca3410e 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 e23f674..223fd1b 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 c0aeb33..0d8459a 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 6bc4ede..0acc246 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 1bb8633..b048652 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 b87257a..fb2fee5 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 9fe1390..82def16 100644 --- a/tags/development/index.html +++ b/tags/development/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/gourmet/index.html b/tags/gourmet/index.html index 03809f4..31ffe0a 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 f61babc..74f7e21 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 b1acd25..bf11ded 100644 --- a/tags/info-tech/index.html +++ b/tags/info-tech/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/lifehack/index.html b/tags/lifehack/index.html index e20a40c..7c0c860 100644 --- a/tags/lifehack/index.html +++ b/tags/lifehack/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/lifehack/index.xml b/tags/lifehack/index.xml index aba8b38..00daec9 100644 --- a/tags/lifehack/index.xml +++ b/tags/lifehack/index.xml @@ -1,4 +1,4 @@ lifehack onhttps://ar.falsy.cat/tags/lifehack/Recent content in lifehack onHugo -- gohugo.ioen-us卵を片手で割る手法の提案https://ar.falsy.cat/note/chores/one-hand-egg-cracking/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/one-hand-egg-cracking/Abstract This paper proposes a method to crack eggs by one hand The method can reduce cooking time and promote multi-tasking No special appliance is needed However accuracy of action is necessary to keep yolk unbroken 概要 調理の時短とマルチタスク促進のために卵を片手で割る手法を提案する 本手法は一般家庭にある既存の器具のみで実行が可能 ただし黄身を割らないためには繊細な動作が要求される 背景 左手でゴミ袋を持ちながら右手で卵を割ると非常に時短になる 特に調理プロセスのなかで一度に複数の卵が関与する場合に著しい時短効果が得られる 先行研究の手法では調理対象に殻が混入してしまうことが多い 手法 卵をフォークボールを投げる時のように持つ 鋭端が人差し指と中指の間に来るように持つ 鈍端を親指と薬指で支える 皿の淵で卵の殻に割れ目を作る 卵の鋭端と鈍端を結ぶ線分の垂直二等分線が皿の淵と重なるように腕を何回か振り下ろす 皿を卵の直径の$\frac{1}{4}$程度まで食い込ませる 卵を皿に押し付けて真っ二つにするイメージ ここで皿を食い込ませすぎると黄身が割れる原因になる 人差し指の付け根で割れ目の裏側を押し出す 人差し指,中指,親指,薬指で卵をしっかりと支えておく 評価実験 本手法を用いて鶏卵2個を割った 1個は黄身が割れたが,1個は割れなかった 卵の殻が調理対象に混入することはなかった まとめ 卵を片手で割る手法を提案した 本手法では50%の確率で黄身が割れる 先行研究の手法と異なり,卵の殻が混入する確率は低い 今後の課題として,黄身が割れる確率を抑えることが挙げられる 理論上,左右両方の手で同時に2個の卵を割ることでさらなる効率化を図れる国語教科書オールスターズhttps://ar.falsy.cat/note/word-play/japanese-text-all-stars/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/japanese-text-all-stars/<h2 id="概要">概要</h2> <ul> <li>今までの国語の教科書に出てきた忘れられない奴等を忘れないために記録しておく</li> -</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である片手鍋で米を炊くhttps://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/概要 炊飯器が無くても米は炊ける ただし火を使う間,22分程度拘束される 手順 片手鍋で米(3合)を研ぐ 水(500ml)を入れる 蓋をして鍋ごと冷蔵庫で30分冷やす 蓋をしたまま中火で13分 弱火で3分 とろ火で6分 火を消して蓋をしたまま10分放置 補足 冷やす時間は15分程度まで短縮しても良い 短縮した場合は中火の時間も12分程度に縮める 最後の放置が結構重要 火を消した直後はまだべちゃべちゃしてる \ No newline at end of file +</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である ただし,この手法では全ての現実を証明できるとは言えないことに留意されたい片手鍋で米を炊くhttps://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/概要 炊飯器が無くても米は炊ける ただし火を使う間,22分程度拘束される 手順 片手鍋で米(3合)を研ぐ 水(500ml)を入れる 蓋をして鍋ごと冷蔵庫で30分冷やす 蓋をしたまま中火で13分 弱火で3分 とろ火で6分 火を消して蓋をしたまま10分放置 補足 冷やす時間は15分程度まで短縮しても良い 短縮した場合は中火の時間も12分程度に縮める 最後の放置が結構重要 火を消した直後はまだべちゃべちゃしてる \ No newline at end of file diff --git a/tags/linux/index.html b/tags/linux/index.html index 9ed7d6f..379a02d 100644 --- a/tags/linux/index.html +++ b/tags/linux/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/mountain/index.html b/tags/mountain/index.html index 5b1f42e..c8361c1 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 b1fef73..1ef3f4d 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 6f3a0bd..edb8506 100644 --- a/tags/note/index.xml +++ b/tags/note/index.xml @@ -21,4 +21,4 @@ data-src="https://ar.falsy.cat/note/info-tech/obsidian/">Obsidian</a>のVault 概要 スレッド関係の機能を提供するlightweightなライブラリ mtx: mutex cnd: condition variable thrd: thread tss: thread-specific storage C11 zlib license マルチプラットフォーム CMake利用可能 導入方法 CMake: FetchContent 1 2 3 4 5 6 7 8 9 10 # ---- tinycthread ---- # repository: https://github.卵を片手で割る手法の提案https://ar.falsy.cat/note/chores/one-hand-egg-cracking/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/one-hand-egg-cracking/Abstract This paper proposes a method to crack eggs by one hand The method can reduce cooking time and promote multi-tasking No special appliance is needed However accuracy of action is necessary to keep yolk unbroken 概要 調理の時短とマルチタスク促進のために卵を片手で割る手法を提案する 本手法は一般家庭にある既存の器具のみで実行が可能 ただし黄身を割らないためには繊細な動作が要求される 背景 左手でゴミ袋を持ちながら右手で卵を割ると非常に時短になる 特に調理プロセスのなかで一度に複数の卵が関与する場合に著しい時短効果が得られる 先行研究の手法では調理対象に殻が混入してしまうことが多い 手法 卵をフォークボールを投げる時のように持つ 鋭端が人差し指と中指の間に来るように持つ 鈍端を親指と薬指で支える 皿の淵で卵の殻に割れ目を作る 卵の鋭端と鈍端を結ぶ線分の垂直二等分線が皿の淵と重なるように腕を何回か振り下ろす 皿を卵の直径の$\frac{1}{4}$程度まで食い込ませる 卵を皿に押し付けて真っ二つにするイメージ ここで皿を食い込ませすぎると黄身が割れる原因になる 人差し指の付け根で割れ目の裏側を押し出す 人差し指,中指,親指,薬指で卵をしっかりと支えておく 評価実験 本手法を用いて鶏卵2個を割った 1個は黄身が割れたが,1個は割れなかった 卵の殻が調理対象に混入することはなかった まとめ 卵を片手で割る手法を提案した 本手法では50%の確率で黄身が割れる 先行研究の手法と異なり,卵の殻が混入する確率は低い 今後の課題として,黄身が割れる確率を抑えることが挙げられる 理論上,左右両方の手で同時に2個の卵を割ることでさらなる効率化を図れる国語教科書オールスターズhttps://ar.falsy.cat/note/word-play/japanese-text-all-stars/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/japanese-text-all-stars/<h2 id="概要">概要</h2> <ul> <li>今までの国語の教科書に出てきた忘れられない奴等を忘れないために記録しておく</li> -</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である片手鍋で米を炊くhttps://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/概要 炊飯器が無くても米は炊ける ただし火を使う間,22分程度拘束される 手順 片手鍋で米(3合)を研ぐ 水(500ml)を入れる 蓋をして鍋ごと冷蔵庫で30分冷やす 蓋をしたまま中火で13分 弱火で3分 とろ火で6分 火を消して蓋をしたまま10分放置 補足 冷やす時間は15分程度まで短縮しても良い 短縮した場合は中火の時間も12分程度に縮める 最後の放置が結構重要 火を消した直後はまだべちゃべちゃしてる \ No newline at end of file +</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である ただし,この手法では全ての現実を証明できるとは言えないことに留意されたい片手鍋で米を炊くhttps://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/chores/cooking-rice-with-saucepan/概要 炊飯器が無くても米は炊ける ただし火を使う間,22分程度拘束される 手順 片手鍋で米(3合)を研ぐ 水(500ml)を入れる 蓋をして鍋ごと冷蔵庫で30分冷やす 蓋をしたまま中火で13分 弱火で3分 とろ火で6分 火を消して蓋をしたまま10分放置 補足 冷やす時間は15分程度まで短縮しても良い 短縮した場合は中火の時間も12分程度に縮める 最後の放置が結構重要 火を消した直後はまだべちゃべちゃしてる \ No newline at end of file diff --git a/tags/photo/index.html b/tags/photo/index.html index 9e714fc..dab8c51 100644 --- a/tags/photo/index.html +++ b/tags/photo/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/tool/index.html b/tags/tool/index.html index 507c8f2..147f3ee 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 2634c3d..f9b6e0a 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 75d6a1c..bda44fb 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 82cf414..7daf452 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 8c08dfc..b3ba150 100644 --- a/tags/word-play/index.html +++ b/tags/word-play/index.html @@ -9,7 +9,7 @@ - diff --git a/tags/word-play/index.xml b/tags/word-play/index.xml index 85c5b9f..678557c 100644 --- a/tags/word-play/index.xml +++ b/tags/word-play/index.xml @@ -1,4 +1,4 @@ word-play onhttps://ar.falsy.cat/tags/word-play/Recent content in word-play onHugo -- gohugo.ioen-us国語教科書オールスターズhttps://ar.falsy.cat/note/word-play/japanese-text-all-stars/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/japanese-text-all-stars/<h2 id="概要">概要</h2> <ul> <li>今までの国語の教科書に出てきた忘れられない奴等を忘れないために記録しておく</li> -</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である \ No newline at end of file +</ul>明晰夢を利用した現実の証明https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/Mon, 01 Jan 0001 00:00:00 +0000https://ar.falsy.cat/note/word-play/proof-of-reality-using-lucid-dream/概要 今の意識が現実であることを証明する手法を論理的に導く ただの言葉遊びなので哲学的な何かは期待しないでほしい 前提 ここでは次の前提のもと議論を進める 夢を見ていることを自覚している夢を見ている,ならばかつその時に限り,明晰夢を見ている 明晰夢を見ている,ならば,全てが思い通りになる 夢でないならば現実である 証明は次の定義の元で行う 状況$A$: 夢を見ている 状況$B$: 夢を見ていることを自覚している 状況$C$: 明晰夢を見ている 状況$D$: 全てが思い通りである 証明の最終的な目標は$X\implies \overline{A}$を導くことである 証明 前提より $P_1: A\cap B\iff C$ $P_2: C \implies D$ $P_1,P_2$より,三段論法を用いて $P_3: A \cap B \implies D$ $P_3$の対偶より $P_4: \overline{D}\implies \overline{A\cap B}$ $P_4$より,ド・モルガンの公式を用いて $P_5: \overline{D}\implies \overline{A} \cup \overline{B}$ $B$は意図的に真にできるため,$P_5$より $\overline{D}\cap B \implies \overline{A}$ 結論 事前に夢を見ていることを自覚している,かつ,思い通りにならないことが存在する,ならば,それは現実である ただし,この手法では全ての現実を証明できるとは言えないことに留意されたい \ No newline at end of file