Masanori Ogino 𓀁 omasanori@mstdn.maud.io
「1年は12か月、すべての月は30日で、あまった5日（閏年は6日）は年の終わりに置いて休日とした[1]。さらに1か月を10日ずつ3つのデカード（décade。週・旬とも訳す）に分け、従来の週 (semaine) と七曜を廃止した。」
フランス革命暦 - Wikipedia
https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%A9%E3%83%B3%E3%82%B9%E9%9D%A9%E5%91%BD%E6%9A%A6
Masanori Ogino 𓀁 reblogged at 3 years ago
rinsuki@FANBOX始めました rinsuki@mstdn.rinsuki.net
1週間が10日な世界線怖すぎ
Masanori Ogino 𓀁 reblogged at 3 years ago
Masanori Ogino 𓀁 reblogged at 3 years ago
お子様ランチ okosama@pawoo.net
梅雨明けて、ポニーテールとニャンベーダー。
#ゲームハンター小嵐ちゃん #ポニーテールの日
Masanori Ogino 𓀁 reblogged at 3 years ago
松永紅葉 kouyoumatsunaga@pawoo.net
今日の一枚3319 (1:00+0:30+1:30)
Masanori Ogino 𓀁 reblogged at 3 years ago
きゅーけー tojoqk@mastodon.tojo.tokyo
お、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
Masanori Ogino 𓀁 reblogged at 3 years ago
Masanori Ogino 𓀁 reblogged at 3 years ago
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
ヴァーチャル・シンガー理芽がはじめて語る、これまでの軌跡──彼女は、いかに音楽の世界に飛び込んだのか - OTOTOY
https://ototoy.jp/feature/2021072102
Masanori Ogino 𓀁 reblogged at 3 years ago
Kz-RED🔞 kz_na8c@pawoo.net
pixivFANBOXで質感の見直しとバランス調整をしました｡を公開しました！ https://kz-red.fanbox.cc/posts/4102103
Masanori Ogino 𓀁 reblogged at 3 years ago
Masanori Ogino 𓀁 reblogged at 3 years ago
rinsuki@FANBOX始めました rinsuki@mstdn.rinsuki.net
見てる動画の内容に引きずられてしまった人の図 (飯テロ注意)
Masanori Ogino 𓀁 reblogged at 3 years ago
Masanori Ogino 𓀁 reblogged at 3 years ago