18:48:36
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
たくさん食べる、ゆっくり寝る、外を歩く、人と仲良くする、あたりが効くらしい
17:18:43
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
萩谷・西崎の新装版が今週発売された。ゴリゴリの数学者向けというよりは、コンピューターサイエンスに興味がある人が基礎を学ぶのに適した本という感じ。様相論理や時相論理にも触れているので最小限だけ学んでその辺りの非古典的な論理に触れていない人にもいいかも。
「論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。」
論理と計算のしくみ 新装版／萩谷 昌己, 西崎 真也｜自然科学書 - 岩波書店
https://www.iwanami.co.jp/book/b10155808.html
論理と計算のしくみ 新装版／萩谷 昌己, 西崎 真也｜自然科学書 - 岩波書店
17:13:54
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
「穏やかでVTuberなんてできるか！」と言われたらそう。
17:13:28
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 17:07:32 中坪宏太/Kota Nakatsuboの投稿
kota_nakatsubo@fedibird.com
このアカウントは、notestockで公開設定になっていません。
17:08:50
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
すごく久しぶりにマックスコーヒーを飲んだのですが これこんなに甘かったっけ…？
16:51:18
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
16:42:03
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 16:38:57 Rikuoh Tsujitaniの投稿
riq0h@letter.mystech.ink
このアカウントは、notestockで公開設定になっていません。
16:41:08
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
16:29:18
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
香川県、なんとNVIDIAと連携協定締結へ。全国自治体で初、AI企業誘致・IT人材の育成を目指して - AUTOMATON
16:29:02
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
10年20年とかしたらさすがに電力効率が良くなってると思いたいけどねえ
16:26:54
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
♪津軽の雪が 曾根崎に〜
ちゃっかり七五調にはなってる辺り特徴は捉えてるのよな()
16:25:07
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 16:19:21 犬とハイネ🦋🩵💚の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:24:53
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 16:17:53 犬とハイネ🦋🩵💚の投稿
naota344@social.mikutter.hachune.net
このアカウントは、notestockで公開設定になっていません。
16:16:11
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
信頼できる組織かどうかを経路で改竄されないことを証明してるだけの機能で判断しようと思ってるのがまず間違ってて所有者を確認したいならドメインやIPを確認するべきだよってやつ
> let's encryptは犯罪目的でも証明書を発行し続け、申し立てても失効しない
16:15:02
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 16:14:45 おさむの投稿
samunohito@mi.osamu-storage.info
このアカウントは、notestockで公開設定になっていません。
16:12:35
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 14:32:17 とむねこの投稿
trpg_cat@takusuki.com
このアカウントは、notestockで公開設定になっていません。
16:12:21
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
16:11:55
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
AIさんには一次ソースを探してもらうのが吉だと思っております
16:11:37
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 15:47:48 ガスマスクの人の投稿
Azukyuda@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
13:47:52
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
猫型の配膳ロボを見てもらえたらわかると思うのですが、心のあるなしとそれっぽさって相関しなくてですね
12:40:52
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2025-02-13 19:46:26 倉戸みと@C108 一日目(土)東W-12abの投稿
mitragyna@misskey.io
このアカウントは、notestockで公開設定になっていません。
12:28:44
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
Rally drivers are not afraid of death💀
12:18:09
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
たぶん心の定義が変わったんですね、AIは最終的に人間の意向には従わざるをえないから、人間の命令に反抗できるのが心になったというか…
12:17:50
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 12:11:12 らっきょの投稿
rakkyotenkabutu@fedibird.com
このアカウントは、notestockで公開設定になっていません。
11:43:48
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
Keep it simple stupidってこういうことかもしれん
11:34:31
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 11:33:38 まっさん mstdn.jpの投稿
t_massann@mstdn.jp
このアカウントは、notestockで公開設定になっていません。
11:01:20
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 11:01:02 ななふし
の投稿
m7_force@misskey.io
このアカウントは、notestockで公開設定になっていません。
10:58:07
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
動物VTuberマスコットVTuberもっと増えろ (願望)
09:15:39
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-12 09:13:44 紅鮭の投稿
Benisake@mstdn.beer
このアカウントは、notestockで公開設定になっていません。
09:13:45
村雲るね☁つじごや
@renem2185@mi.tsujigoya.net
2026-02-11 16:22:32 snake21jpnの投稿
snake21jpn@misskey.io
このアカウントは、notestockで公開設定になっていません。
