人気の記事一覧

🍻99本のビール rosettaさんいらっしゃい~#3

Bracmat入門#4 アトム(atom)のこと バインディング

📈Bracmat入門#6 バイオペ(二項演算子)応用編 &(アンパサンド)と`(バックチック)さらばIF文

🎵ミニマリストのためのコンピュータ言語Bracmat入門#5 アトム(atom)のこと 非線形パターンマッチングの謎とは? 未来のチート言語

Bracmat入門#2 関数の操作あたりから少しづつアサインメントになれる

💎Bracmat入門#1 四則演算だがしかし 減算と除算が標準装備されてないだと…

あらびき言語Bracmat言語#1

Bracmat入門#3 外部ファイルからプログラム実行とそこで使われているビルトインの関数などについて

スターフリー言語 Marcel-Paul Schützenbergerはスターフリー言語を非周期的な構文モノイドを持つ言語として特徴付けた CTLとLTLの違い