ヒルベルト流の推論体系とコンビネータ論理との間の対応.