形式手法を使って、 発見しにくいバグを一網打尽にしようbuilderscon tokyo 2019で話したときに使った資料です。 YouTube: https://www.youtube.com/watch?v=D7GccAn6R94 [2020/04/17追記] この資料をさらにブラッシュアップした資料を公開しました。 この資料よりも次の資料をご覧いただくことをおすすめします。 https://www.slideshare.net/dena_tech/dena-techcon-2020-230372486
Alloyで第二次誤信念課題 - 西尾泰和のはてなダイアリー
Alloyでミステリーのネタを作れないかな、とは前々から思っていたのだけどミステリーのテレビ番組を見ながら少し固まってきた Alloyでミステリーのネタを作るのは一足飛びにはモデリングできる気がしないので、まずは第二次誤信念課題でもモデリングするかな。 第二次誤信念課題は初見の時に正解できなかったから、一般にこのレベルの問題を僕が正解できないのか、たまたま間違えただけなのかを知るためにもっとたくさん問題がほしいのであった。 ミステリー的には、登場人物それぞれの知っていることと読者の知っていることにギャップが出来て、それからごく少ないヒントを元にギャップが解消される必要があるのかな。 誤信念の一種として、登場人物Xが自分はYの妻だと思い込んでいて、その人の話を聞いた読者がそれを事実だと勘違いするけども実は事実ではない、というのもアリなんだな。 そうか、本人が明示的に嘘をつくなら嘘をつく動機は
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: 抽象によるソフトウェア設計−Alloyではじめる形式手法−: Daniel Jackson (著), 中島震 (監訳), 今井健男 (翻訳), 酒井政裕 (翻訳), 遠藤侑介 (翻訳), 片岡欣夫 (翻訳): 本
