2026年2月12日 - @renem2185@mi.tsujigoya.netの投稿 -

18:48:36
2026-02-12 18:46:28 まきはら🚩🥞🥞🥞の投稿 makihara@fedibird.com

たくさん食べる、ゆっくり寝る、外を歩く、人と仲良くする、あたりが効くらしい

17:18:43
2026-02-12 17:13:40 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

萩谷・西崎の新装版が今週発売された。ゴリゴリの数学者向けというよりは、コンピューターサイエンスに興味がある人が基礎を学ぶのに適した本という感じ。様相論理や時相論理にも触れているので最小限だけ学んでその辺りの非古典的な論理に触れていない人にもいいかも。

「論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。」

論理と計算のしくみ 新装版/萩谷 昌己, 西崎 真也|自然科学書 - 岩波書店
iwanami.co.jp/book/b10155808.html

論理と計算のしくみ 新装版/萩谷 昌己, 西崎 真也|自然科学書 - 岩波書店
17:13:54
「穏やかでVTuberなんてできるか!」と言われたらそう。
17:13:28
2026-02-12 17:07:32 中坪宏太/Kota Nakatsuboの投稿 kota_nakatsubo@fedibird.com
このアカウントは、notestockで公開設定になっていません。
17:08:50
すごく久しぶりにマックスコーヒーを飲んだのですが これこんなに甘かったっけ…?
16:51:18
パッと思いつくだけでも某エルフとサラマンダーが暴れ散らかしている気が
https://x.com/VtubeTamotu/status/2021513664390639699
16:42:03
2026-02-12 16:38:57 Rikuoh Tsujitaniの投稿 riq0h@letter.mystech.ink
このアカウントは、notestockで公開設定になっていません。
16:41:08
16:29:18
2026-02-12 16:28:37 AUTOMATON(オートマトン)の投稿 AUTOMATONJapan@mstdn.jp

香川県、なんとNVIDIAと連携協定締結へ。全国自治体で初、AI企業誘致・IT人材の育成を目指して automaton-media.com/articles/n

香川県、なんとNVIDIAと連携協定締結へ。全国自治体で初、AI企業誘致・IT人材の育成を目指して - AUTOMATON
16:29:02
10年20年とかしたらさすがに電力効率が良くなってると思いたいけどねえ
16:26:54
♪津軽の雪が 曾根崎に〜
ちゃっかり七五調にはなってる辺り特徴は捉えてるのよな()
16:25:07
2026-02-12 16:19:21 犬とハイネ🦋🩵💚の投稿 naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:24:53
2026-02-12 16:17:53 犬とハイネ🦋🩵💚の投稿 naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:16:11
2026-02-11 21:58:59 kphrxの投稿 kPherox@pl.kpherox.dev
信頼できる組織かどうかを経路で改竄されないことを証明してるだけの機能で判断しようと思ってるのがまず間違ってて所有者を確認したいならドメインやIPを確認するべきだよってやつ

> let's encryptは犯罪目的でも証明書を発行し続け、申し立てても失効しない
16:15:02
2026-02-12 16:14:45 おさむの投稿 samunohito@mi.osamu-storage.info
このアカウントは、notestockで公開設定になっていません。
16:12:35
2026-02-12 14:32:17 とむねこの投稿 trpg_cat@takusuki.com
このアカウントは、notestockで公開設定になっていません。
16:12:21
てか聞いて 1年ぶりに車を運転しました
16:11:55
AIさんには一次ソースを探してもらうのが吉だと思っております
16:11:37
2026-02-12 15:47:48 ガスマスクの人の投稿 Azukyuda@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
13:47:52
猫型の配膳ロボを見てもらえたらわかると思うのですが、心のあるなしとそれっぽさって相関しなくてですね
12:40:52
2025-02-13 19:46:26 倉戸みと@C108 一日目(土)東W-12abの投稿 mitragyna@misskey.io
このアカウントは、notestockで公開設定になっていません。
12:28:44
モータースポーツに「スポーツ」って付く理由:
https://youtube.com/shorts/MTDUKjB1HLM
12:18:09
2026-02-12 12:15:40 ぽんこつ 27Lの投稿 ponkotuy@social.mikutter.hachune.net

たぶん心の定義が変わったんですね、AIは最終的に人間の意向には従わざるをえないから、人間の命令に反抗できるのが心になったというか…

12:17:50
2026-02-12 12:11:12 らっきょの投稿 rakkyotenkabutu@fedibird.com
このアカウントは、notestockで公開設定になっていません。
11:43:48
Keep it simple stupidってこういうことかもしれん
11:34:31
2026-02-12 11:33:38 まっさん mstdn.jpの投稿 t_massann@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
11:01:20
2026-02-12 11:01:02 ななふし:ablobcatcoffee:の投稿 m7_force@misskey.io
このアカウントは、notestockで公開設定になっていません。
10:58:07
動物VTuberマスコットVTuberもっと増えろ (願望)
09:15:39
2026-02-12 09:13:44 紅鮭の投稿 Benisake@mstdn.beer
このアカウントは、notestockで公開設定になっていません。
09:13:45
2026-02-11 16:22:32 snake21jpnの投稿 snake21jpn@misskey.io
このアカウントは、notestockで公開設定になっていません。