様相論理 is Fun

様相論理の学習ノートです

MENU

2017-12-05から1日間の記事一覧

ketpicとTeX2img

ketpicで生成したtexデータをTeX2img TeX2img配布サイト で画像化

類題を集める(連続する自然数の和)

連続する2つ以上の自然数からなる数列$\{a_n\}$があり, 総和が$2008$であるという. $2008$を素因数分解せよ. 数列$\{a_n\}$の項数は奇数でないことを示せ. 数列$\{a_n\}$を求めよ. (昭和大学2008年) $m$を自然数, $n$を2以上の整数とする. $m$から始まる連続…

類題を集める(組合せと確率)

1つのサイコロを続けて3回投げて, 出た目を順に$a_1$, $a_2$, $a_3$とする. このとき$a_1\leqq a_2\leqq a_3$となる確率はア である. (早稲田大学2006年) 1から5までの数が1つずつ書かれたカードが, どの数も2枚ずつ, 合計10枚ある. この10枚のカードの中か…

ユメサクの使用感

ユメサクを使い始めて5日間くらいが経った。以前に書店で見かけたときには、使いづらそうに感じたが、実際のところは、この本が中上級者向けだから、当時の自分には難しかったためだろう。 実際、使うならば、先立って、時制や助動詞や冠詞などのルールを身…