🕊️ (@inamiy) header
🕊️ (@inamiy) profile picture

🕊️

@inamiy

@inamiy.bsky.social

github.com/inamiy
Joined January 2009
  • Tweets11.5K
  • Following3.7K
  • Followers3.9K
1.4KMedia
Photo by 🕊️ (@inamiy)Photo by 🕊️ (@inamiy)Photo by 🕊️ (@inamiy)Photo by 🕊️ (@inamiy)Photo by 🕊️ (@inamiy)Photo by 🕊️ (@inamiy)Photo by 🕊️ (@inamiy)Photo by 🕊️ (@inamiy)Photo by 🕊️ (@inamiy)
Twitter いよいよか、ということで4回目の過去アーカイブ請求。
2
2
1,916
7月8日札幌で母ヒグマを殺処分　炎上狙いのユーチューバーの餌付け責任を問う　｜日本熊森協会 kumamori.org/topics/kumamori… > 「他者の不幸の上に自分の幸福を築いてはならない。そういう生き方は必ず破綻する」
7月8日札幌で母ヒグマを殺処分 炎上狙いのユーチューバーの餌付け責任を問う ｜日本熊森協会

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

以下、UHB北海道文化放送より札幌市環境局熊対策調整担当によると7月8日、親子とみられる4頭のクマの目撃が何度も報告されていた南区北ノ沢地区で、市が緑地帯に設置していた箱わなにクマ1頭が捕らえられ、駆除されました。

kumamori.org
1
2
2,184
こちらのツイートより nitter.cf/ka81181381/status/1682…
ka🇺🇦 (@ka81181381) profile pictureka🇺🇦@ka8118138122 Jul 2023
この男は今年の5月、札幌市住宅街近くの山林でピザを使い親子熊を森から誘き出した迷惑系ユーチューバーだ。 味を占めた親子熊は付近から離れず、7月8日に箱罠にて母熊は捕獲、殺処分となった。こいつは法を犯してはおらん。しかし炎上と再生数目当てで別の種の命を弄ぶクソ野郎という汚名は消えない。
1,780
ゲーデルの不完全性定理 / 証明不可能性を証明する - YouTube youtube.com/watch?v=zFML_YmT… 序盤の不完全な公理体系の事例紹介と、第一不完全性定理のロードマップがとても分かりやすかった。
ゲーデルの不完全性定理 / 証明不可能性を証明する

ゲーデルの不完全性定理 / 証明不可能性を証明する

名古屋大学の講義動画です．どうやって証明不可能性を証明するのか？不完全性がなぜ発生するのか？　初歩から丁寧にわかりやすく解説していきま...

youtube.com
1
1
1,856
講義ノートもある math.mi.i.nagoya-u.ac.jp/~ki…
844
Crème de la Crem: Composable Representable Executable Machines (Architectural Pearl) | Abstract arxiv.org/abs/2307.09090 Composable Architecture 的な基本設計に加えて、型レベル状態遷移によってコンパイル時の安全性を保証する話。
Crème de la Crem: Composable Representable Executable Machines...

Crème de la Crem: Composable Representable Executable Machines...

In this paper we describe how to build software architectures as a composition of state machines, using ideas and principles from the field of Domain-Driven Design. By definition, our approach is...

arxiv.org
1
3
1,411
Future work に Feedback 処理と ArrowLoop / Costrong の関連付けについて触れていて興味深い。
787
あだち充『タッチ』を精読する。朝倉南はほんとうは何を考えていたのか。 - Something Orange kaien.hatenablog.com/entry/2… > それぞれ天才的な才能をもつ三人が三人とも、あいてに気を遣って遠慮しあい、本心を隠したり、力を抑えたりしている。 よく言語化された考察で面白かった。
1
2
1,137
この前観た DisCoCat の動画が面白かったので、この分野をもっと調べてみたい
Alireza Dehbozorgi (@BDehbozorgi83) profile pictureAlireza Dehbozorgi@BDehbozorgi8318 Jul 2023
🧵 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
https://www.amazon.com/Quantum-Physics-Linguistics-Compositional-Diagrammatic/dp/B01BNHR7CC

ALT https://www.amazon.com/Quantum-Physics-Linguistics-Compositional-Diagrammatic/dp/B01BNHR7CC

1
2
1,729
nitter.cf/inamiy/status/16773527…
🕊️ (@inamiy) profile picture🕊️@inamiy7 Jul 2023
「ことばと意味の数学的構造」Part 3 カテゴリー的構成的分散意味論 - YouTube youtube.com/watch?v=mfVwfpcp… このシリーズ、最高に面白かった。 Functorial Semantics、Pregroup Grammar、DisCoCat、量子自然言語処理、大規模言語モデルの登場に合わせたDisCoCatの見直しの話など。
837
TIL: `@ ViewBuilder` can be used for member variables.
Image from 🕊️ (@inamiy)
10
1,282
圏論の基礎に関する論文をarXivに投稿しました。 arxiv.org/abs/2307.08891 ストリング図を用いて圏論の基本的な性質を表現・導出しています。たとえば，米田の補題やRAPLを視覚的にわかりやすい形で証明しています。 間違いや不明な点などがありましたらお知らせくださると幸いです。
Image from Kenji Nakahira / 中平健治 (@KenjiNakahira)
Image from Kenji Nakahira / 中平健治 (@KenjiNakahira)
3
106
6
476
59,366
人工衛星が250個破壊されると人類は完全に地球に閉じ込められてしまう！ - ナゾロジー nazology.net/archives/129676 なかなか衝撃的な宇宙ゴミ問題のシミュレーション。 仮にゴミ回収車が作られたとしても、それ自体がゴミと化してしまいそう。 （どう解決するのこれ。。）
人工衛星が250個破壊されると人類は完全に地球に閉じ込められてしまう！ - ナゾロジー

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

軌道閉塞は避けられない未来なのかもしれません。 スペインのマラガ大学（UMA）で行われた研究によって、大国同士が対衛星兵器を打ち合う「宇宙戦争」が起きた場合、わずか250個の人工衛星が破壊されただけで人類の宇宙への道が閉ざされてしまう可能性が示されました。 これまで人工衛星の破壊によって発生するスペースデブリが一定のしきい値を超えると、新たな人工衛星の破壊とスペースデブリの再発生のサイクルが...

nazology.kusuguru.co.jp
3
839
Quotient Types for Programmers hedonisticlearning.com/posts…
661
【女性は危険】行ってはイケない危険な国ランキング女子旅編【世界旅行ちゃんコラボ】 youtube.com/watch?v=4vwRK3AL… おじさんもドン引きするほど参考になった
【女性は危険】行ってはイケない危険な国ランキング女子旅編【世界旅行ちゃんコラボ】

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

@世界旅行ちゃん チャンネルでもコラボ動画がアップされています！→https://youtu.be/US33Uch5wdw◆世界...

youtube.com
1
1,336
移動と治安のリスクがある国は、やはり集団ツアーで行くのが無難か。。
549
「なるほど」は対人間、対自然を問わず、現状認識のための観察とテストを堂々と(やや高慢に)行っているところがあるので、自分の独り言ないし分別・信頼関係のある人が発する場合はその正確性がある程度担保され納得感がある一方、そうでない人の場合は頭を抱えることになる。 togetter.com/li/2186749
取引先の若手営業マンの「なるほどですね」にキレたクライアント→後日お取引停止になった話。「何がダメなの？」「狭量過ぎない？」

取引先の若手営業マンの「なるほどですね」にキレたクライアント→後日お取引停止になった話。「何がダメなの？」「狭量過ぎない？」

「本当に理解してる？」と思う時はあるかも。

togetter.com
1
1
1,251
なので信頼関係がまだ構築されていない初対面や取引の場で使うのは大変危険。
1
606
英語なら “It is true that” や “It makes sense” に相当するけど、これらも互いに分別があり信頼関係が十分構築できた上で初めて in depth な会話が成り立つ。
502
The risks of AI are real but manageable | Bill Gates gatesnotes.com/The-risks-of-… > the best reason to believe that we can manage the risks is that we have done it before.
480
Load more