KIF 形式の厳格な仕様って,どこかにないかなー

KIF 形式の厳格な仕様って,どこかにないかなー.
省略不可能な要素と,省略可能な要素を知りたい.
BNF みたいなものでなくてもいいから.

消費時間の項が完全になくても KIF としておっけーなのか.
0 で埋めているときとの違いは?
処理系がいいかげんなのは,どっち?

柿木さんは CSA 形式の制定にも関わっていらっしゃるのに,KIF をやめて CSA に移行しないのはなぜだろう?
上位互換がない部分があるのかなぁ.
コンピュータ将棋大会では CSA 形式と CSA プロトコルで動かしていらっしゃるよなぁ.

この記事へのコメント