Modeling 'The Hardest Logic Puzzle Ever' in Haskell - Utku Demir
I recently stumbled upon "The Hardest Logic Puzzle Ever" on Wikipedia. I'm not that into the logic puzzles, neither I intended to solve it; but I have thought that it'd be fun to try representing the question and the possible answers in it. The puzzle is defined as follows: Three gods A, B, and C are called, in no particular order, True, False, and Random. True always speaks truly, False always sp
No Job Name
11 Potts, C. 2005. The Logic of Conventional Implicatures. Oxford: Oxford University Press. Searle, J. R. and D. Vanderveken. 1985. Foundations of Illocutionary Logic. Cam- bridge: Cambridge University Press. Zwicky, A. M. 1974. Hey, Whatsyourname! In Papers from the Tenth Regional Meeting, Chicago Linguistic Society, ed. M. W. LaGaly, R. A. Fox and A. Bruck. Chicago: Chicago Linguistic Society.
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://gergo.erdi.hu/projects/agda/sg-meetup/SGMeetup.pdf
MIU in Haskell
