2025-4-4 - @kakkun61@pawoo.net님의 게시물 - notestock

2025-4-4

23:43:19 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

英語！

Attach image

23:32:54 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

うーむ

23:29:27 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

Live 環境の起動に失敗する

Attach image

23:19:44 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

Hello, new Twitter-er!

Attach image

23:17:03 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 23:15:14 あくらふ님의 게시물 Aqraf@m.aqr.af

Subject: Welcome to Twitter, Aqraf!

Hello, new Twitter-er!

ツイッタラーってもうこの時点でその言葉あったんだになってる

Attach image

23:12:09 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

右が下

Attach image

22:41:57 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

USB フラッシュメモリーが見付からないのでマイクロ TF カードで代用している

22:39:39 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 22:31:37 ぽんこつ 27L님의 게시물 ponkotuy@social.mikutter.hachune.net

This account is not set to public on notestock.

22:39:36 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

地獄温泉

22:39:22 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 22:34:41 えあい

:straight_shrimp:

님의 게시물 Eai@stellaria.network

おならが地獄みたいな匂いする

22:38:46 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 22:37:59 しなちくシステム【お乳搾り経験済み】님의 게시물 ThinaticSystem@honi.club

This account is not set to public on notestock.

22:22:06 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

Nix OS にするか Bluefin にするか

21:53:29 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 21:49:26 Nokotaro Takeda님의 게시물 takenoko@misskey.nokotaro.com

VRC新宿駅、これ「分かり手」が作ってるだろ…… ここまで作り込むの結構エグいのでは…… #VRChat

RE: https://misskey.nokotaro.com/notes/819600d2345b64b6b9fc2dcf

Web site image

https://misskey.nokotaro.com/notes/819600d2345b64b6b9fc2dcf

Nokotaro Takeda (@takenoko)

Attach image

Attach image

Attach image

Attach image

21:53:05 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 21:50:14 すまほん!!님의 게시물 smhn@misskey.io

This account is not set to public on notestock.

21:51:37 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2024-12-01 20:32:28 しなちくシステム【お乳搾り経験済み】님의 게시물 ThinaticSystem@honi.club

This account is not set to public on notestock.

21:51:11 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

おなかゆるめ

21:40:02 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

👀 Nintendo Switch 2 特集 | My Nintendo Store（マイニンテンドーストア） https://store-jp.nintendo.com/switch2

https://store-jp.nintendo.com/switch2

Not Found

21:30:47 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

なんか証明書が変 👀 成美堂出版 https://seibidoshuppan.co.jp/

https://seibidoshuppan.co.jp/

成美堂出版

20:27:04 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 20:26:09 ぐちゃもこ🍕4/29 軍令部酒保🍕님의 게시물 guchamoko@misskey.io

This account is not set to public on notestock.

19:44:50 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

ファミリーバンク、開発リソースが足りてない感じする……

19:19:40 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 19:18:44 うめばちまん님의 게시물 umebachi@misskey.io

This account is not set to public on notestock.

19:00:24 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

ねてしもとった

15:01:35 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 14:59:59 わかるティッシュ님의 게시물 wakarutex_kanabun305@misskey.io

This account is not set to public on notestock.

14:50:01 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 13:47:18 厨級님의 게시물 yucblossom@misskey.io

This account is not set to public on notestock.

14:32:54 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 13:56:35 あかざわRED

🍆님의 게시물 akazawared@misskey.io

This account is not set to public on notestock.

14:03:37 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 14:02:53 ちんたら野郎(lazysod_studio)님의 게시물 chintara_yaro@misskey.io

This account is not set to public on notestock.

13:32:27 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-03 20:42:59 Po2

님의 게시물 Po2@misskey.io

This account is not set to public on notestock.

13:10:27 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

ブルーインパルス見れるかなー　見たことないんよなー

13:10:09 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 13:08:56

デジカメ Watch님의 게시물 dc_watch_impress@rss-mstdn.studiofreesia.com

This account is not set to public on notestock.

12:41:23 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

汗かいたー

12:40:52 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

ふたつうねができた

Attach image

11:29:05 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

これ一体何が届くんだ…… https://aliexpress.com/s/item/1005008715636447.html

https://aliexpress.com/s/item/1005008715636447.html https://www.aliexpress.com/p/error/404.html

404 page

Attach image

10:51:56 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

不幸のゼリー

Attach image

10:50:54 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

GPD Pocket の外装はそのままで中身を新しくしたいよ～

10:48:01 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

みのむしたった

10:46:50 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 10:42:15 おつよん님의 게시물 otyn@mstdn.maud.io

This account is not set to public on notestock.

10:45:56 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

https://scrapbox.io/kakkun61-scraps/%E9%80%86%E9%96%A2%E6%95%B0%E3%82%92%E8%87%AA%E5%8B%95%E5%B0%8E%E5%87%BA%E3%81%A7%E3%81%8D%E3%82%8B%E5%88%B6%E7%B4%84%E3%81%AF%E5%BD%A2%E5%BC%8F%E5%8C%96%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%EF%BC%9F%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%E3%81%AA%E3%82%89%E3%81%A9%E3%81%86%E5%AE%9A%E7%BE%A9%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%EF%BC%9F

https://scrapbox.io/kakkun61-scraps/%E9%80%86%E9%96%A2%E6%95%B0%E3%82%92%E8%87%AA%E5%8B%95%E5%B0%8E%E5%87%BA%E3%81%A7%E3%81%8D%E3%82%8B%E5%88%B6%E7%B4%84%E3%81%AF%E5%BD%A2%E5%BC%8F%E5%8C%96%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%EF%BC%9F%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%E3%81%AA%E3%82%89%E3%81%A9%E3%81%86%E5%AE%9A%E7%BE%A9%E3%81%95%E3%82%8C%E3%81%A6%E3%81%84%E3%82%8B%EF%BC%9F

逆関数を自動導出できる制約は形式化されている？されているならどう定義されている？ - 書き捨て帳

10:40:12 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

@tsukimikaze ほむ

10:35:08 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

@tsukimikaze ところで Prolog を実際に実行したことないんですが、ナウい処理系って何？

10:30:35 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

@tsukimikaze 制約書いていくなら評価順とか関係ないし単一化だし Prolog かねえ　条件分岐は欲しいことあるかもしれなくない？　「タイルに並べていきたいけどコンテナーの幅を超えたら改行する」みたいな

10:25:42 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-04-04 10:17:20 ごりんご@skeb募集中님의 게시물 ringon@misskey.io

This account is not set to public on notestock.

10:18:39 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

めっちゃ imperative で primitive でこれ書くのはつらそう

10:17:52 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

👀 Program Inversion and Reversible Computation https://topps.diku.dk/pirc/?id=janusP

https://topps.diku.dk/pirc/?id=janusP

Program Inversion and Reversible Computation

09:36:25 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

@tsukimikaze おおん😣　こないだ PPL で聞いた Janus 言語だと条件分岐は入るときと出るとき両方条件式が要るとかなんとか（よく分かってない https://pawoo.net/@kakkun61/114108139890910237

https://pawoo.net/@kakkun61/114108139890910237

kakkun61@技術書典 18 き10（6月1日） (@kakkun61@pawoo.net)

09:34:23 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

2025-03-07 13:56:07 blank🍳님의 게시물 blank71@fedibird.com

This account is not set to public on notestock.

09:30:51 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

@tsukimikaze 逆関数を自動導出できる関数ってどういう制約なんだろうなあ

09:27:06 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

@tsukimikaze すごっ　思ってた一歩上だったわ　これ逆評価が必要になるやつか？

09:16:31 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

おふとんみのむし

00:29:59 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

ナイトモードがいろいろ合わせて「モード」に統一されたのか

Attach image

00:28:41 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

今でも軽量デスクトップ環境は Xfce だってのは変わってなさそうかな

00:26:25 kakkun61@技術書典 18 き10（6月1日） @kakkun61@pawoo.net

スクリプトタイプの 3D モデル設計ソフトウェア、グラフィカルビューワーだけではダメで相互編集的でないと難しい気がする

이전날 2025-4-4 다음날

copied