1週間が10日な世界線怖すぎ

秀 優 良 可 稲 不可

梅雨明けて、ポニーテールとニャンベーダー。
#ゲームハンター小嵐ちゃん #ポニーテールの日

今日の一枚3319 (1:00+0:30+1:30)

お、ACL2 を関数型言語と表現している記述を見つけた。別に第一級の関数がサポートされていなくても関数型言語って自称していいものなんかな。

> Q. How can create and modify an array? A. ACL2 is a functional language, so it is impossible to destructively modify an existing object; technically, all “updates” to objects must be implemented by “copy-on-write” semantics. That said, ACL2 provides support for arrays, provided you use them in a restricted way. They give you constant-time access and change under the use restrictions.
https://www.cs.utexas.edu/users/moore/acl2/v8-4/combined-manual/index.html?topic=ACL2____ARRAYS

#一日一絵

からあげ定食

pixivFANBOXで質感の見直しとバランス調整をしました｡を公開しました！ https://kz-red.fanbox.cc/posts/4102103

ｃ⌒っﾟдﾟ)っφ

見てる動画の内容に引きずられてしまった人の図 (飯テロ注意)

金髪さん､一旦これで完成にして次へ進みます｡

もうちょっとどうにかできそう

涼子(白石優愛)ちゃんいいこすぎておもしろすぎるだろ…