ささいな嘘がきっかけで一人旅をすることになった男子高校生の成長を描いており、物語は主人公の一人称の語りで進む。
あらすじ.
熊本の高校二年生、秋月和也は、自分を「ウソつきで、プライドが高い」と分析している。夏休みの登校日、修学旅行で行くことになった東京ディズニーランドに浮かれる同級生たちを見下したい和也は「ディズニーランドに行ったことがある」と嘘をつき、新学期に証拠写真を見せなければならなくなった。和也は母親に「友達三人と大学受験の下見を兼ねて博多に行く」と嘘をつき、格安ツアーを利用して一人で東京ディズニーランドへ行き写真を撮る。その帰り、羽田空港へ向かう直通バスが事故渋滞に巻き込まれ、和也は搭乗予定であった飛行機に乗れなくなってしまった。
映画.
主人公・和也の姓は「秋月」から「香月」に変わっている。和也の旅の行程は原作とはほとんど異なっており、映画のみのオリジナルキャストが多く登場する。原作に登場する人物でも、その設定や性格が原作と映画では異なっている場合が多い。
映像ソフト化.
評価.
ミュージカル.
スタッフ.
ほか
オーディオブック.
ループ不変条件
ループ不変条件（）とは、計算機科学において、ループの不変条件のこと。ループとは、繰り返し実行されるコードのこと。ループの不変条件とは、ループ実行前にも、反復を実行するたびにも成立する条件のこと。これは、論理アサーションであり、アサーションを使ってコードが書かれることもある。不変条件を知ることは、ループの意味を知るのに重要である。
ループと再帰の基礎的な類似性により、ループ不変条件を使いループの部分的な正しさを証明するのと、再帰プログラムを構造的帰納法を使い証明するのは、非常に類似している。事実、ループ不変条件は、たいていは、ループと等価な再帰的プログラムで証明しないといけない帰納法の仮説と同じである。
非形式的な例.
日坂駅
ダリオ・アルジェントのドラキュラ
ストーリー.
トランシルヴァニアのパスブルグを訪れた司書のジョナサンは、友人である町長の娘ルーシーの紹介によって街の発展の功労者であるドラキュラ伯爵の城へ招かれ、膨大な蔵書の目録作りの仕事を任されることになっていたが、それは彼がジョナサンの妻であるミナをおびき寄せるために仕組んだ罠だった。
キャスト.
役名、俳優の順で記述。
羽黒修験