🕊️

@inamiy.bsky.social

[🕊️ @inamiy]

Twitter いよいよか、ということで4回目の過去アーカイブ請求。

[🕊️ @inamiy]

こちらのツイートより
https://t.co/1Cln3UPpOW

[ka🇺🇦 @ka81181381]

この男は今年の5月、札幌市住宅街近くの山林でピザを使い親子熊を森から誘き出した迷惑系ユーチューバーだ。
味を占めた親子熊は付近から離れず、7月8日に箱罠にて母熊は捕獲、殺処分となった。こいつは法を犯してはおらん。しかし炎上と再生数目当てで別の種の命を弄ぶクソ野郎という汚名は消えない。

[🕊️ @inamiy]

7月8日札幌で母ヒグマを殺処分　炎上狙いのユーチューバーの餌付け責任を問う　｜日本熊森協会
https://t.co/fLeNSXEiCE

> 「他者の不幸の上に自分の幸福を築いてはならない。そういう生き方は必ず破綻する」

[🕊️ @inamiy]

講義ノートもある
https://t.co/0tS9iuGHiK

[🕊️ @inamiy]

ゲーデルの不完全性定理 / 証明不可能性を証明する - YouTube
https://t.co/iguuRKpVcC

序盤の不完全な公理体系の事例紹介と、第一不完全性定理のロードマップがとても分かりやすかった。

[🕊️ @inamiy]

Future work に Feedback 処理と ArrowLoop / Costrong の関連付けについて触れていて興味深い。

[🕊️ @inamiy]

Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl) | Abstract
https://t.co/Wkdv6Z88QG

Composable Architecture 的な基本設計に加えて、型レベル状態遷移によってコンパイル時の安全性を保証する話。

[🕊️ @inamiy]

あだち充『タッチ』を精読する。朝倉南はほんとうは何を考えていたのか。 - Something Orange
https://t.co/beUh7ev6r9

> それぞれ天才的な才能をもつ三人が三人とも、あいてに気を遣って遠慮しあい、本心を隠したり、力を抑えたりしている。

よく言語化された考察で面白かった。

[🕊️ @inamiy]

https://t.co/uVxqLDdtJj

[🕊️ @inamiy]

「ことばと意味の数学的構造」Part 3 カテゴリー的構成的分散意味論 - YouTube
https://t.co/uOKM4fNnFE

このシリーズ、最高に面白かった。
Functorial Semantics、Pregroup Grammar、DisCoCat、量子自然言語処理、大規模言語モデルの登場に合わせたDisCoCatの見直しの話など。

[🕊️ @inamiy]

この前観た DisCoCat の動画が面白かったので、この分野をもっと調べてみたい

[Alireza Dehbozorgi @BDehbozorgi83]

🧵

New developments show promise for mathematically modeling natural language in alignment with human cognition. A thread on integrating Lambek calculus, quantum computing, and text circuits:

1/n

[🕊️ @inamiy]

TIL: `@ ViewBuilder` can be used for member variables.

[Kenji Nakahira / 中平健治 @KenjiNakahira]

圏論の基礎に関する論文をarXivに投稿しました。 https://t.co/G4W4UVPx3g
ストリング図を用いて圏論の基本的な性質を表現・導出しています。たとえば，米田の補題やRAPLを視覚的にわかりやすい形で証明しています。
間違いや不明な点などがありましたらお知らせくださると幸いです。

[🕊️ @inamiy]

人工衛星が250個破壊されると人類は完全に地球に閉じ込められてしまう！ - ナゾロジー
https://t.co/SJ0bNF3mcb

なかなか衝撃的な宇宙ゴミ問題のシミュレーション。
仮にゴミ回収車が作られたとしても、それ自体がゴミと化してしまいそう。
（どう解決するのこれ。。）

[🕊️ @inamiy]

Quotient Types for Programmers
https://t.co/k9Re8xMCtR

[🕊️ @inamiy]

移動と治安のリスクがある国は、やはり集団ツアーで行くのが無難か。。

[🕊️ @inamiy]

【女性は危険】行ってはイケない危険な国ランキング女子旅編【世界旅行ちゃんコラボ】
https://t.co/mkKIvVFThC

おじさんもドン引きするほど参考になった

[🕊️ @inamiy]

英語なら “It is true that” や “It makes sense” に相当するけど、これらも互いに分別があり信頼関係が十分構築できた上で初めて in depth な会話が成り立つ。

[🕊️ @inamiy]

「なるほど」は対人間、対自然を問わず、現状認識のための観察とテストを堂々と(やや高慢に)行っているところがあるので、自分の独り言ないし分別・信頼関係のある人が発する場合はその正確性がある程度担保され納得感がある一方、そうでない人の場合は頭を抱えることになる。
https://t.co/wLiyLqHNfK

[🕊️ @inamiy]

なので信頼関係がまだ構築されていない初対面や取引の場で使うのは大変危険。

[🕊️ @inamiy]

@ch0Rx Thanks for info! Brazil is so huge that I need a warp marker to visit all 🤯

[🕊️ @inamiy]

次に攻略する祠にピンを立てているのだけど、どこかで❌が付きそうな気がして、なかなか踏み切れない。