2026/06/08
第24週: 日月火水木金土
2026年 43.56％経過
はるひ.icon
寝床でiPhoneでClaude Codeやるのにハマってしまって寝れてない
github上のファイルを好きなiPhoneアプリで読み込んで編集したいかもしれない。
11時あたりになったらお出かけしようかな
あっちい
ヨウジのGround Y という安いラインからターコイズブルー位の青いバルーンパンツ！が出ていてそれを買った。 こうした色のがドロップされるのは珍しいことだろうと踏んだのだ。そう思い込んでいたので、実態を聞きそびれた。
洗濯機ぶちこみOK しわになりづらい と
最近ハミマのジョガーパンツばっかりだったので楽できれいっぽいやつがほしかったので嬉しい
ハミマジョガーパンツ黒とグレーしかないのもちょっとね
Ground Y、チェンソーマンとか呪術廻戦とコラボしてたやつか。
店員にFear of Godのバッシュをリックかと問われた。10年くらい前最初のモデルが出た時のRedditを見ると実際にジオバスのパクリとか言われてたやつではあるので…
また腹ペコでお皿デザートコースのお店に来てしまった
後ろのおれより少し若い男の子2人組の話が良すぎて盗み聞きしてしまう上にメモってしまう。
人の下につくのが嫌だしやりたいことがいっぱいあるんだよね。養鶏場とか。
「養鶏場」の先が気になりすぎるtaktamur.icon
できないことが多い中で先輩と仲良くなるのが苦手だ。
医者のキャリアの話になった
農業したいなー
草
養蜂やりたいcaki.icon
今にも独立しそうな勢いでいいなあ～と思っていた
そういえばいちご農家が亡くなる直前に農場無くすくらいなら継がせてくれみたいなこと半分本気で言ったら共通の知人であるところの和菓子屋に農家は大変だし信用もされづらいから不幸せになるぞみたいなことを言われた
グリルズ忘れないこと
忘れなかった
ぼーっとしながら井戸端を堪能するか
ティーカップ union thailandとある
明日は肉を食べよう
今日にした
19時のTohjiのVLOGを楽しみに勉強をする
Joniel.icon
適当に筋トレした。散歩がてら水買ってくる(1:04)
帰宅。体力余っててビートセイバーもやりたいけど明日動けなくなりそうなのでやめておく(2:43)
井戸端には朝型の人がけっこういるっぽい。何回も失敗してきたけど調子良かったのを思い出したのでまた挑戦してみようかな
朝マック食べてから出勤するアチーブメントをまだ解除できてない
雨の日に動けなくなって日中寝てしまうことがあるので、雨の日にこそ外出したい。
問題は雨の中どこに行くかであるが。バス一本とかでいいとこないかな
いっそのことネカフェとかでもいいか。外なら寝ないだろうし
就寝。(3:40)
4:30に起きる朝型ですsta.icon
なんか早くなってないかはるひ.icon
5:00 → 4:45 → 4:30 少しずつ早くしてるがなかなかムズいsta.icon
早くてすごいJoniel.icon
早く寝すぎると5時間ぐらいで目が覚めがちなのでいい塩梅を目指したい。今日から！Joniel.icon
メルカリで相場の倍くらいで出してたお気に入りの機材（超レア）が売れてしまって困ってる スペアなので手放してもいいっちゃいいし値段と経済状況的に売るべきなんだけど思い入れがある
というのを今日一日かけてちょっとづつ悩んで手放すことにした。昔似たような失敗をしたこともあったので
だらだらインターネットタイムをしている。(20:47)
今日4時間睡眠くらいなんだけど昨日ほぼ一日寝てたから思ったより元気、かもしくは変なテンションになっている
今はだらだらだけど明日早起きしたら色々でそうだしはよ入浴してねる、PCをオフ！！！！１
寝る前にぽこあやろ
nyarla.icon
おはようございます
ここのところ朝が早い
だいたい6時にはもう起きてる
日記ページのフォーマットを分かる範囲で整えておいた
細かいところまでは分かってない（あんまり良く知らない）ので残りは頼みます
残りとは言っても 2026年 X%経過 の部分だけなんだけど
もうそろそろ9時かな？と思ったらまだ8時だった
朝早起きしてるからか感覚が1時間ほど前にずれてる
200ページ以上開きっぱなしにしていたタブをある程度まで片付けた
おおよそ100ページぐらいになった
Firefox for Android で読んでいってタブを閉じるなどしていた
こういう時 Firefox は便利
SNS、X.icon と mixi2 を残して全部使うのを取り止めようかと考え出している
前々からどうしようかと思ってはいた
正直なところ全面的に減らしたい気持ちはある
正直、自分にとってSNSを続ける理由ってサンクコストしかない気がしている
サンクコストに対する整理がつけば別にSNSを止めてもどうってことはない
前にX.iconを止めてSNS全般を遠ざけていた時期もあったので、たぶん問題ないはず
Fediverse の場合、アカウントを消すのは面倒な面があるけど、まぁそれも含めてどうしようかという感じ
色々と日記を書きたい、みたいな欲求は井戸端で足りている面もある
SNSで書き込んで云々するよりも井戸端の方が平和
あと丁寧に説明できる場でもあるので、断片的な話を見て云々、は比較的発生してない印象
問題のある発言をしても咎めてくれる人がいるので、井戸端のそこはいいと思う
井戸端の場合、あんまり荒れると仲裁に入ってくれる人も居るので、その点で安心できる面もある
少なくとも一方的に相手を追い詰めて、みたいなのは発生しづらいと思う
とは言え認知DDOSはnyarla.iconが入ってからも何度か発生しているようなので、そこは注意が必要かもだけど うーん、Misskey.io のアカウントを整備し直して、そこへSNSのアカウントを統合するのもアリかな 現実、処理に困っているアカウントは Fediverse の諸々
自分でインスタンスを管理するのも面倒になってきた面もあるし
まぁ自分で管理するインスタンスを放棄する、ということは自由を手放すことも意味するけど
Misskey.io の場合、支援という形でお金を出しているのもある
……と思ったけど、過去の発言を刈り込むのは流石に面倒くさいな……
どうしよ
とりあえず io に全部寄せていく方向で動きだした
io での過去の発言の掃除は完了させた
あとはフォローの移植だけど、この辺りはぼちぼちやっていくか、という気持ち
Misskey.io へメインアカウントを Move した
とりあえずこれでセルフホストインスタンスのメインアカウントは廃止できた感じ
猫とかの写真投稿用アカウントをどうするか決めてないんだけど、どうするかな……
うーん、夕食のカレーを食べ過ぎた感
お茶とか飲んでたら苦しくなってきた
zatsma.icon
楽しそうはるひ.icon
字が小さすぎる
雑学だ
Hiro Aki.icon
おはようございます
食べる方の話か？と思い、食べる方だと今はビュッフェと表現するよな？と気になる 戦士、または蛮族の方だった
蛮族だと思ったら説明を読むと結構まともな武装集団だった
食べ放題の方は8月1日に設定されているらしい
あるの草yosider.icon
元資料はこれだろうけどぜんぜんわからん
とりあえず一般人からすれば、時々行く病院で払うお金が少し増えた、とだけ理解
医療用の機器とか高いし仕方がないねという気持ち
あとラジオでも言っていたが、直美医師の問題対策にもお金を稼げるようにならないとなぁと思う ラジオにて、高校の国語のお話してた
こっちも変化があるという話
高専に行き高校に行っていないので高校という話題だけでぜんぜんまったくわからん
論理国語の方でも小説とか扱い、文章から機微を感じ取れる能力をある程度でも学ぼうねといった話と認識
生成AIが今後ますます当たり前になると、文章の表現能力というか、何を感じて何を考え何を思いどのような単語でどう表現するのか、という部分の強化は大事だよなと思う
気温変化が激しいけどボチボチ元気
先週だか先々週だったかのパワプロ不調.iconな感覚はなんだったんだろうか
これから再び同じ感じになるのだとしたら、雨後の草の絶好調具合とか、湿度が原因で元気が削られると見れる、のかもしれない
社内で出た話題、クーラントが手に入らないから、がんばって少量でもイロイロなルートから手に入れてギリギリ組立を続けているといった話を聞き、物が無いけどがんばってるといった表現あったようなと思いつつ思い出せないための探す スマホが反応して、このマークって危険な情報だったよなと思い開いてみる
M8.2ってマジかよヤバイ
雑誌を通して知った単語、リセール
つまりは転売、譲渡だが、公式が容認しているシステムの方
雑誌にて見かけた良い表現、誰に対しても公平で、いつでも自分の成長が数値化される環境
怪しいサイトを見ないように、と忠告が来たけど「スロットル」で調べたんやで、「スロット」という、仕事上で見るには不純なサイトじゃないんやで、とシステムさんに言い訳したい
taktamur.icon
おは.icon
出勤日で電車移動
ノートとペンを出してなんとなく脳内を吐き出す
腰に違和感も出てるし、今日はゆっくり動く。
とわいえなかなか寝付けないなら、昼間に運動して体を疲れさせておくと、眠りやすくなる。
↑ぐらい単純に眠気コントロールできるのは、体調的にはよい状態。
タバコ部屋 古い馴染みと だべる時 悪くないなと 思う出勤
terang.icon
新しい週。
濁すというか、ちょっと誤魔化しちゃえーみたいな自覚があるときひとまず横文字にしとく傾向がたぶん自分にある。
例えば「アクティブリスニング」と言う/聞くしても、何か響かない
そういういつでも誰でもどこでも再現可能な技法のようなものと認識してしまいがち
じゃあ「傾聴」とか「積極的傾聴」と換えてみても何かがしっくりこない
人間の身体か精神かに、それらは教育によってインストールでき、以降バグなく作動するものという印象を自分の場合は感じるのだろう
「きく」は、原理的に相手の存在を前提とし、自分が「きけた」と思えていたとしても、相手から「きいてもらえた」という感覚とセットでなければ、その「きく」という現象は成立しないにもかかわらず。
もっといえば、相手には「きいてもらえた」という感覚があっても、第三者がやって来て「きいているようには見えなかった」と映っていることさえよくある。グループダイナミクス。 誤魔化しの話だった。
もう、「しっかりきく」みたいな、「きく」のレトロニム的表現の方が、「ああ、今は腹を据えて“しっかり”きくか」と、身体を伴った（チェックリストのような機械的なものではない）「きく」の実践として実感できる（気がする）。
英語由来でも漢語由来でもなく、大和言葉の響きが母語として、生活の実践と結びついているような感覚なのだと思っている
なるほどと思ったsta.icon
横文字、結構嫌われてるイメージで謎だったのだけど、一つ腑に落ちた
どういう誤魔化しの自覚かの話だった。
上のような「しっかりきく」と伝えたいときも、今その行間を詳細に説明するのは、野暮だなとか場に合わなそうな空気だなと感じたときに、ちょっと誤魔化しちゃえーみたいな気分で「いわゆるアクティブリスニングですね！」とか発話したりする、そういう感じ。
caki.icon
カフェイン入りのコーヒー豆を発掘し、カフェイン入りコーヒーがのめるようになったが味わうだけの余裕がなく漫然と飲んでしまったため昨日との違いがわからない
予定が多くなってくると取りこぼしが発生しそうな気配がずっと背後にあり、嫌
這い寄る恐怖
スタンド型のアイロン台を買ったほうがいいかも
柄シャツ、洗うとしわしわになる
ニトリのでいいか
管理をしてくれるAIがいるのが当たり前になってしまい、AIが管理に介入できない環境でギリ人間が扱える程度の複雑さの運用を探っていて大変だったが落とし所を見つけ、なんとか収まりそう
ここのギャップがだんだん大きくなってきている感じがある
以前も設定が最適化されている自分のPCで作業するのと人のPCで作業するのの間で効率に差があったが…
自分が最適化させたCLAUDE.md等のドキュメントがあるかないかみたいなのもギャップとしてひじょうにでかい
十二国記、万国の労働者が団結してもどうにもならなさそうな世界観でかわいそう
セブンで焼きたてピザがあるらしい、ほんとか？
これか！近所のセブンにあるか見てみよう
店で焼くってどういうことだ…？と思ったがセブンベーカリーみたいなのがたしかあったので店にオーブンがあるのか？
そういえば明日はセブンのスムージー半額の日ではなかったか
スターリンさんがおかしすぎてマルクスさんはかなり常識人に見えてきている
プライド月間ということでSNSで今年もフラッグの解説が流れてきた、だいぶ配色を覚えてどのフラッグが何かわかるようになりつつある
海外のフォロワーは結構自分のフラッグを掲げている人も多い、学校の授業で自分がどのセクシャリティなのか考えるみたいなのやるっぽい？
cosense cliのおかげで複雑そうで手を出せていなかったcosenseへの書き込みができるようになりじわじわとそのありがたみが体中に染み渡る
おしるこたべよ
このくらいの時期になると塩分が不足してきてぬるめの塩ミルクティーが飲みたくなる
藤村シシンさんのエレクトラ宣伝動画シリーズを見てまんまと見たくなってしまっている https://youtu.be/JKU8l9Bi5DY
復讐劇良いよね
シシンさんたぶん不老不死 知らんけど
シシンさんのコーデ解説好き
古代ギリシャ人としてのTPOをわきまえていることに注目させて現代人としてのTPOから目を逸らす作戦、真似していきたい
家族が見ている日本のドラマをたまに見ると、色が妙に青っぽいのがかなり気になる
調べてみたが撮ってるカメラの問題っぽい？
証明はお金と技術が必要なので低予算だとのっぺりするのは仕方ないと知っていたがカメラもだったのか
Summer498.icon
怖い人ってなんで怖いんだろう
クラトフスキーの定理は背理法が随所に使われていて読みづらい
多分クラス定義がねじれているせい
対偶命題に書き換えると読みやすくなることがある
最小性を利用する証明を分かりやすく書き換えるのは難しい
最小って仮定したのにもっと小さいやつがあるじゃんという論法を頭にすっと入ってくる論法に書き換えたい
背理法と対偶かー
背理法の構造
$ A\Rightarrow Bを示したい。
$ Bであることを示すのは難しいので、代わりに$ \lnot Bと仮定する。
$ A\land\lnot B\ \vdash\ \botを示すことで$ A\Rightarrow Bを示す。
対偶による証明の構造
$ A\Rightarrow Bを示したい。
$ Bであることを示すのは難しいので、代わりに$ \lnot B\Rightarrow\lnot Aを示す。
そのために$ \lnot Bを仮定する。
$ \lnot B\Rightarrow C,C\Rightarrow\lnot A\ \vdash\ \lnot B\Rightarrow\lnot Aを示す。
$ \vdashの使い方がいまいちわからんけど、取り敢えず自分が読めればいいや
非古典論理のまとめでも作るか
$ \vdashの使い方がわかるかも
古典論理に馴染みすぎると$ \Rightarrowと$ \vdashと$ \vDashの違いがわからん
古典論理をスッと理解できるタイプの人となんか変だと思うタイプの人が居て、自分は前者
そして後者の思考を見ると何に詰まっているのだろう、どこが分からなくなっているのだろうと思う
逆に考えるとすぐに古典論理的な考え方をするということなので、古典論理的な考え方では区別しづらいものを区別しづらい
古典論理を何かおかしくないかと思うのは元からそう考えがちなのか、流石に何かおかしくないかという例を見てそう考えるようになるのかどちらなのだろう。
例えば、無限に関する命題で有限の時には成り立たないような話が出てくるのを見て「これは何かがおかしい」となる
→構成主義
現実的な話だと黒じゃないから白（白黒思考）みたいな考え方は変だ 中学だか高校だかで証明を習う際に「なんでそう言い切れるの」「そうとは限らなくないか」という理由で「分からん」「数学は苦手だ」となっている人は逆に非古典論理のセンスがあるかもしれない
古典論理をスッと理解できるタイプの人となんか変だと思うタイプの人が居て、自分は前者
と言うか多分順序が逆で、あるタイプの人の考え方をモデル化したものが古典論理
最初に論理が整備された時（アリストテレス等の時代）はどういう必要性に駆られて、何を妥当性の拠り所として論理を整備したんだろう
atohs.icon
朝読書を終えたのでようやく始業
noteで日記を毎日書くの飽きてきちゃったな、やめよう
なんかわかるかもsta.icon
河出書房新社のKidle書籍で50%還元のやつをちらちら見るんだけど、これに気づくためにはどういう手立てが必要なのかまるでわからない
ポイント還元の書籍一覧を取得することは可能だが、自分の興味のある任意の出版社が大幅にポイント還元を行っているかどうかは調べようがない
一覧に対してたとえば「河出書房新社」と検索することで、絞り込んだ一覧を得ることはできるが、それは河出書房新社で多くの書籍がポイント還元セールの対象になっていることを知らなければできないという
楽しい料理を作りたいが、何が楽しい料理なのかわからない
茶碗蒸しでも作ろうかな
肉の塊をフライパンで焼いている時、音といい匂いにより楽しいHiro Aki.icon
冷凍餃子をフライパンに並べて火を入れて待つ間、こんなに楽なのに美味しい餃子が食べられるんだと思えて少し楽しい 最近は「焼き」ばかりやっているので、「炒め」をやろうかなと思いましたatohs.icon
布団の上でごろごろしている時間を減らし、ゆっくりと適当にで良いので何かの活動をしていたいな
mtane0412.icon
エアロバイクを部屋で漕いでると単調になって負荷がかけられない
適度に負荷をかけたりする必要があるがそれを自分で管理するのが面倒くさい
脳死でインストラクターの言う通りにワークアウトを行えば良い
30分だらだら漕ぐのが圧縮されて10分くらいで済んだりする
良さそうはるひ.icon
Apple Musicの資産を活かした音楽
この辺の選曲も自分ではできないので良いところといえば良いところ
アニソンだったら燃えそうだけど洋楽中心
Vtuberのプログラム来ないかなー
iPhoneだと見づらいことがあるのでApple TV欲しくなってきた
Flexispotのテーブル付きのやつを使ってるが、ながら運動で負荷かける仕組みがあると良さそうだ
ながら運動にそこまで利点を見いだせなくなったので普通に漕ぎやすいエアロバイクでも良さそう
hoagecko.icon
家族が私が聞かせた・読ませたBraveの悪評に根負けしてFirefoxに移行した
元々別なメディアからそういう悪評を受け取っていたらしいので無理強いではない筈
そんでもって、今Firefoxの拡張機能をまとめている
昔Neovimの設定ばかりいじくる人的になっていたので無駄に詳しい
一応当時はライティングが出来ないほどしんどかったという事情はあった
早めに個人サイトをHugoで開発する方向に軌道修正して良かったと思う
最近調査テーマを二つほど新設した
虚構と現実のあいまいさの調査
特に虚構が現実化したもの
不在データの調査
ないことを調べるのって意外と難しい
そういうレファレンスを創りたい
活用は後で考える
meganii.icon
nishio.icon
suto3.icon
2026/06/07.icon ← 2026/06/08 → 2026/06/09.icon
2026/06.icon