2024/01/09
第2週: 日月火水木金土
2024年 2.46％経過
今日のn年前
空前のInstaChordブーム
そういえばこのときはまだSummer498.iconさんいなかったんだっけ
ワタシ 夏ニ 来タノSummer498.icon
だから Summer というわけではない()
takker.icon
ソースが公開されていて助かる
あとはUIを作るだけ
寝る
大学にいくと落ち着く～
でも自習室が寒すぎてつらい
血行が悪くなってきた
寒すぎて体調悪くなってきた
図書館に移動しよう
図書館あったかい！
一命をとりとめた
お腹空きすぎて倒れそう
nishio.icon
夕食後寝落ちして3時に起きた
スロースタートしてるのにDiscord×1 Facebook Messenger×2の連絡が来る
疲れた🥱
眠いなぁと思ったが3時に起きたのか、それはそう
そして昼ごはんを食べ忘れてた
おやつを食べよう
眠いと思ったら日付変わってた
明日はさっさと起きて未来館に行こうと思う
cFQ2f7LRuLYP.icon
ウウー（うめき）、心が重い
能登の土砂崩れのニュースを見たのとお仕事の心労が主
🍵Summer498.iconseibe.icon
その話を脇に置いといてやることに集中するようにします
先にある苦しみを想像するのは最も苦しいことかもしれない
キリストは後に処刑されて死ぬのを知っており、「この苦い盃を取り除いてください」と神にお祈りする。名場面
このとき弟子たちは「目を覚ましていなさい」と言われたのにすっかり寝てしまってキリストに苦言を呈される
笑うSummer498.icon
このあとユダがやってきたりペテロが三回「キリストなんか知らねえ！」といったりと名場面が続く、おすすめ
平安貴族が「来し方行く末」を考えてメランコリックになる例を見かける
先の見えない苦しみのケース
『バキ』におけるガイアVSシコルスキー戦も参照
星野源は「30分のエピソードの中で先の見えない苦しみは15分くらいにある」と言っていた記憶（うろ覚え）
そして方方に恥をさらして本日を過ごしたのであった
生きるに甲斐ある世である
575.icon方方に恥をさらして○○○
圏論の道案内を読み始めた
inajob.icon
inajob は スロースタートで ちょうしが あがらない！Summer498.icon ……ズッ ズッ!!cFQ2f7LRuLYP.icon
公開した！
1週間あいただけだけどすごい久しぶり感あった
🎉seibe.icon
家に帰ってきた娘がいきなりカラフルパレットのにじを披露してくれたので、夕食を作っている間に一緒に歌えるように覚えている
手書き歌詞カードを作った
Summer498.icon
新学期が始まる
昨日間違えて大学に来ていたのはナイショ
かわいいsume.icontakker.icon
井戸端のアイコンを作るときにわざわざ左を向くように画像を反転させている
右向きの画像が結構多いことに気づく
相手が自分のターンを待ってくれる優しい世界だ()
手札の見えないスピード想像したら笑うSummer498.icon
カード配ってるだけだwinajob.icon
論文読んでると、形式的な文章が多いから論理処理系で処理できるんじゃねと思ってしまう
しかし、今のところ実現している様子はない
法律とかは何か見た気がするinajob.icon
なんか型定義しててスゲェってなってた記憶
自然言語と見た目だけ同じトークンを使った形式言語でロジックを表現できないんだろうか
試みると何処で問題が発生するのだろうか
直感的でない例がいくつか発生しそう
今も「ならば」を適切に表す論理体系に関して研究がなされてるぐらいだし
そして各種トークンの演算に関して議論が発生する、と
日本語プログラミング言語たくさんあるけど、普及しないのは結局「見た目だけ同じ」ではみんな満足しないってことではnishio.icon
そうそうSummer498.icon
で、どこに満足しないんだろうなーと
日本語プログラミング言語に関しては、日本語とプログラミング(というか数式)の書き方との親和性が低いからかもしらんけど
というのも、英語プログラミング言語は普通に流行ってるし
SQLとかいい感じなのかな？inajob.icon
英語ネイティブじゃないのでわからん
英語と一般的なプログラミング言語はこの例ではないのか？inajob.icon
論文みたいな感じで書かれた命題を集めて自動検証とかしたいな～って感じなので、英語と一般的なプログラミング言語の関係は違いそうSummer498.icon
この論文に書かれた主張は過去の論文と照らし合わせて整合性が取れるか、みたいなことを自動化できそうに見えるができないとう
prolog 的な言語の記号が全部自然言語風になったバージョンとかを想像している
数学の定理自動証明がイメージに近い
↑自然言語のロジック、興味はあるが知識がないから「なんかみんな満足しないよねー」ぐらいしか言えない
論理学の知識が足りん
/icons/ありがと.icon ← always 赤リンク 青い赤リンク……
寝不足で夜中に起きてしまった時、幽体離脱できそうになる 試してみるとできたような感覚がするが、自身を持ってできた！と言えるほどではない
視覚情報が無い（目を瞑っていて物理的な光を感じている状態ではない）ので、
単に想像で周りの景色を補っているだけ（要は夢/妄想と同じ）なのではないか、と疑いを持っている
あと、そんな事ができた日は最初に書いた通り寝不足なので休むべき
なお、これは先日の話で今日は別に寝不足ではない
北海道と京都府と大阪府と東京都、なぜ県じゃないのか
何を基準に呼び分けているのか
というか、行政区画とか国の名前全般的によく分かってない
連邦とか合衆国とか連合王国とか
kidooom.icon
同じく仕事始めはスロースタートで
seibe.icon
はるひ.icon
学校が午前中で終わったぞー
非常にうれしい
チョコはそこまで得意じゃなかった
家にあるお菓子がそれだけだったので仕方なく開けたらだいぶいけた
種類がいろいろある
プロダクトとしてもかわいい
チョコがおいしいといわれる国を旅行する前にチョコの苦手さの克服体験ができたのは大きいかもしれない
ChatGPTがあまり言うことを聞いてくれない
だである調で、常体でといってもですます調になる
文字数の指定を無視する(これは前からよくあったかも？)
私の言う「詳細かつ具体的に」が伝わらない
参考文献の捏造(これはずっとやってる)
みたいな、ムカつくはるひ.icon
sta.icon
mtane0412.icon
Xで外部リンクのタイトルが地味に表示されるようになったのに気づいた
https://gyazo.com/1671cc24dc81a45d2411ba4b45bcccf6
PCだけっぽいinajob.icon
遅れて来るのかな、PCが先はなんか珍しいmtane0412.icon
審査中？
直接民主制もデジタルツインで解決するように確定申告もデジタルツインが判断して勝手にやってくれそう ありとあらゆることをデジタルツインがいい感じにやってくれる
そのときに現実世界の自分は一体…
おもしろい、ちょっと違うマトリックスの解釈みたいなinajob.icon
いずれデジタルツインを現実にも投影できるようになり…
生誕祭何も企画してないけどNFT配ってみたい
kumatako.icon
nomadoor.icon
李代表は、LK-99の代わりにここに硫黄を加えた物質「PCPOSOS」を開発し、抵抗が超伝導特性を示すことを確認したと主張した。 2024/01.icon