SKK
SKIコンビネータ計算において、SKKという式は恒等関数と同じ結果となる。作者の佐藤自身も、SKK=Iを念頭に置いて、「ユーザの頭の中にある日本語のテキストを,なるべくストレスなしに,そのままディスプレイに出力するプログラムにしたいという気持ちが込められている」としている。
なお、東北大学の教授により開発されていたわけであるが、新制東北大学の工学部の母体のひとつ仙台高等工業学校の略称もSKKである。