☢みともり🎨🔞 lancered_yari@pawoo.net

takimura@末代LTL takimura

新聞3紙が運営するニュース動画サイト「NewsVideo」。広告配信も
https://this.kiji.is/726632602739982336?c=559314306504344673

カピオ@ズーラシ庵🔞🎨 japonism3234@pawoo.net

私服から制服に変わる、卒業から入学までの2週間で一気にドキッとするような服装に変わる幼なじみの女の子を見たかったという絵 https://pawoo.net/media/3E9WPg3LSx_u3YcYDkY

きゅーけー tojoqk@mastodon.tojo.tokyo

停止性の証明については定理証明手習いで学んだ。厳密には理解してないんだけど、再帰する度に引数がなんらかの尺度(順序数)で小さくなっていくやつは停止性を証明できるという認識でいる。
https://www.lambdanote.com/products/littleprover-ebookonly

アカハナ akahana@fla.red

ACL2何！？となったけど、これかー - ACL2 Version 8.3 https://www.cs.utexas.edu/users/moore/acl2/

せのしょうじ SyojiSeno@pawoo.net

ピクシブに投稿しました。 016

『雨でも散歩は欠かせない』
（犬のいる日常）
#pixiv #MINI6HOLES #JK #犬 #単眼
https://www.pixiv.net/artworks/87307349

Niceratus Kiotoensis ncrt035@gnosia.info

タラの芽と姫竹の天ぷらなる味なものを売ってたので買ってきたが，歳のため揚げ物を食べると喉がギチャギチャになった

きゅーけー tojoqk@mastodon.tojo.tokyo

ACL2 でブラックジャックの勝敗判定を実装してみた。
Lisp だけど全ての関数が停止することを証明しているし、重要な関数の戻り値が期待したものになることも証明している。静的型付けとは異なる証明への道へ歩み始めた。

https://gitlab.com/tojoqk/blackjack/

きゅーけー tojoqk@mastodon.tojo.tokyo

ACL2、AI と人間の対話という未来のプログラミング体験をしている気がする。

本質情報館 aiwas@yysk.icu

おまさのりのおはプラントオパールのお

ぱくとま pakutoma

インド、今でも割とジェネリック医薬品市場が権利関係ゆるふわと聞きますね

重さ 😐 kelvin27315

イネ科の職ってやっぱり食パンじゃんと気付いた

Es Es@misskey.io

「北風ラッパ隊」　#イラスト

ART 頼風🎨📷✏️🚲 artlife@pawoo.net

《デジタル習作》
https://note.com/artlife/n/nfe983ca27a99

普段似顔絵を描く機会は少ないんですが、ちょっと意識してみました。

#illustration #digitaldrawing #medibang #イラスト