c4se記:さっちゃんですよ☆

.。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)

.。oO(此のblogは、主に音樂考察Programming に分類されますよ。ヾ(〃l _ l)ノ゙♬♪♡)

音樂は SoundCloud 等に公開中です。

考察は現在は主に Scrapbox で公表中です。

Programming は GitHub で開発中です。

2022-08-30から1日間の記事一覧

2022-08-22~28 週に得た事 : 束

音樂 無し 考察 新設 Heyting 代數 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 新設 de Morgan monoid - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 新設 束 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆)[ 增補 義務論理 - .。oO(さっちゃんですよヾ(〃l _ l)ノ゙☆) 「線…