人間を数理モデルとして解釈するための道具