2026年4月18日 - @kakkun61@pawoo.netの投稿

月	火	水	木	金	土	日
		1	2	3	4	5
6	7	8	9	10	11	12
13	14	15	16	17	18	19
20	21	22	23	24	25	26
27	28	29	30

23:49:33 kakkun61.com @kakkun61@pawoo.net

今日は haskell-language-server の調子がいい

22:41:46 kakkun61.com @kakkun61@pawoo.net

👀 GPワイルドのレース用カスタム車両を開発せよ https://www.nicovideo.jp/watch/sm46191444

18:26:59 kakkun61.com @kakkun61@pawoo.net

@teobot その説明でいくと「1W1-2 相励磁」と「2W1-2 相励磁」の違いはどう説明される？

18:23:22 kakkun61.com @kakkun61@pawoo.net

@teobot 東芝のデータシート見たら W と相がそれぞれ使われてるよ

18:21:38 kakkun61.com @kakkun61@pawoo.net

@teobot wave の訳語が相？

18:20:41 kakkun61.com @kakkun61@pawoo.net

@teobot ステッピングモーターで「1W1-2 相励磁」の W って何かの略？

10:32:02 kakkun61.com @kakkun61@pawoo.net

ジーパンの国「ジーパング」

03:04:01 kakkun61.com @kakkun61@pawoo.net

2026-04-18 02:45:39 シンリスク@土曜東２セ23abの投稿 sinrisk@misskey.io

このアカウントは、notestockで公開設定になっていません。

03:02:55 kakkun61.com @kakkun61@pawoo.net

ねねばね

02:15:46 kakkun61.com @kakkun61@pawoo.net

2026-02-28 00:46:26 しでん🔞土曜東ヨ43aの投稿 shidenchan@misskey.io

このアカウントは、notestockで公開設定になっていません。

02:10:13 kakkun61.com @kakkun61@pawoo.net

2026-04-18 01:22:45 長雨の投稿 Logic_LR@misskey.io

このアカウントは、notestockで公開設定になっていません。

02:09:11 kakkun61.com @kakkun61@pawoo.net

2026-04-18 01:15:55 unaristの投稿 unarist@mstdn.maud.io

このアカウントは、notestockで公開設定になっていません。

02:06:07 kakkun61.com @kakkun61@pawoo.net

2026-04-18 01:24:47 しでん🔞土曜東ヨ43aの投稿 shidenchan@misskey.io

このアカウントは、notestockで公開設定になっていません。

02:04:04 kakkun61.com @kakkun61@pawoo.net

もう最近はカメラ首から提げるのも重いから室内でも提げて首を鍛えなければいけない

02:02:12 kakkun61.com @kakkun61@pawoo.net

最近いただきもののたけのこをかなり食べててアレルギーかもしれん

01:14:06 kakkun61.com @kakkun61@pawoo.net

2026-04-17 17:45:00 🐈‍⬛るる🍊の投稿 ruru490@nijimiss.moe

このアカウントは、notestockで公開設定になっていません。

01:13:53 kakkun61.com @kakkun61@pawoo.net

2026-04-17 23:27:35 伽昴

の投稿 gogo80000v@misskey.io

このアカウントは、notestockで公開設定になっていません。

01:13:26 kakkun61.com @kakkun61@pawoo.net

2026-04-17 23:02:23 伽昴

の投稿 gogo80000v@misskey.io

このアカウントは、notestockで公開設定になっていません。

01:13:13 kakkun61.com @kakkun61@pawoo.net

昨日ぐらいからぽんぽんの調子がよくない

00:37:12 kakkun61.com @kakkun61@pawoo.net

2026-04-17 23:35:53 古道京紗の投稿 schwarzewald@misskey.dog

このアカウントは、notestockで公開設定になっていません。

00:35:24 kakkun61.com @kakkun61@pawoo.net

2026-04-17 23:27:01 Masanori Ogino 𓀁の投稿 omasanori@mstdn.maud.io

私が思うに、Cで高位合成するようなコンパイラは下火になるかもしれないけれど、Scalaの型システムであれこれ保証できるようにするChiselとか、状態機械を安全に書くためのイディオムを支援する旧Bluespec言語とか、Leanで回路を形式検証できるSparkleとか、そういうリッチなRTL言語はむしろ必要になってくるんじゃないかな。

00:33:40 kakkun61.com @kakkun61@pawoo.net