難問解決

国立情報学研究所の先生が型付きラムダ計算についての難問を解決したそうで。未解決問題22問のリストがあって、このリスト中の問題解決は世界初だって。スゲー！

型付きラムダ計算の未解決問題集
http://tlca.di.unito.it/opltlca/

一問目は 1958年 Haskell Curry 由来の問題！はぅ。
Problem # 5 にある、分数みたいな表記法の意味が知りたいです。こないだの「プログラム意味論」にもこの表記が出てくるんですが、なんの説明もなくてこれが何を意味しているんだかさっぱり…。まあ、何から何まで難しい本でした…