2022-08-30から1日間の記事一覧
音樂 無し 考察 新設 Heyting 代數 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 新設 de Morgan monoid - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 新設 束 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)[ 增補 義務論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 「線…
.。oO(此のblogは、主に音樂と考察と Programming に分類されますよ。ヾ(〃l _ l)ノ゙♬♪♡)
音樂は SoundCloud に公開中です。
考察は現在は主に Scrapbox で公表中です。
Programming は GitHub で開發中です。
音樂 無し 考察 新設 Heyting 代數 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 新設 de Morgan monoid - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 新設 束 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)[ 增補 義務論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 「線…