ラムダ計算に関する質問〜Redex、自由変数、束縛変数〜
解決したいこと ①全てのRedexに下線を引く ②自由変数を︎する ③各束縛変数から対応する束縛変数へ矢印を書く 上記3点を下記ラムダ計算にて反映したいです。 (λz.((λx.yx)x))((...
2 search resultsShowing 1~2 results
Subscribed
You need to log-in
Connect4 gameのコードエラー
Connect4 とは横7×縦6マスのフィールド上に、2人のプレイヤーが交代でコマ(赤と黄色）を積み上げていって、相手よりも先に四つのコマを並べた方が勝ちとなるゲームです。（縦・横・斜めどれでも...
2 search resultsShowing 1~2 results
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles