数学基礎論・数理論理学　その9

このエントリーをはてなブックマークに追加
772 ：１３２人目の素数さん：
　　　　　　ヽ.X､- ､　　 ,ﾉi　　　　　 ハ
　　　　⊂＞'">┐ヽノ〃　　　　　;;;;;;;-=・==-　;;;;;　-==・=-;;;;;;
　　　 　 　 　 ヽ.　　 ヽ⌒　　ヾ　ヾ
　　　　　　　;;;;;;;-===-　;;・=-;;;;;; ・
　　　 　 　 　 ヽ.　　 ヽ. ⌒⌒　ﾉ. ⌒⌒　ﾉ　 　 /　 述語Pに最小化を施す関数 μy［P(x,y)］
　　　 　　 　　　ヽ. ヽ、｀＝＝´ ／　/
.　　　 　　 　　　　ヽ　｀`（;;;ﾞ'―---‐'ヾ・
　　　　　　　　　　ヽ;;';ｰ--―-､'';;;;;ﾞ） ‐--‐ ´　／
　　　　　　　 　,.ﾞ-‐- ､　｀二´'／