「みんな教えて! 選手権!!」開催のお知らせ

プログラミング言語について

解決済

「同」 を 「I」, 「左」 を 「K」, 「複」を「S」と呼び、箱で囲む 代わりに丸括弧で囲む記法を使う. (SI (KK)y) でxyに () や (KI) を入れて 変形してください.

(K) を 1 (KI) を0と呼ぶと, (SI (KK) y) は何に対応するか.また (SS(K(K(KI))) xy) は何に対応しますでしょうか。

通報する

この質問への回答は締め切られました。

質問の本文を隠す

A 回答 (2件)

うーん・・・

No.1ベストアンサー

  • 回答者： cametan_42
  • 回答日時：

評価規則が全く分からんので何とも言いようがないです。


ラムダ算法か何かなの?
    • good
    • 1
    • 件
通報する

No.2

  • 回答者： Tacosan
  • 回答日時：

記号を見る限りはたぶん組み合わせ論理だと思う＞#1. そのように妄想できるんだけどきちんとした説明を求めたいところだ.

    • good
    • 0
    • 件
通報する

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう！

Q質問する（無料）

ページトップページトップ

おすすめ情報

Q質問する（無料）

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング

おすすめ情報