小学校算数のアヤフヤを消す｜shinshinohara
公立中学で学年最下位水準だった子どもを４人みたけれど。みな、中学の内容を終えることができ、高校の授業にもついていけるようになった。それはなぜかと言うと、小学校の内容からやり直したから。中には分数どころか九九もあやしい子がいたけれど、やり直したら習得できた。 たぶんなんだけど、それを習った当時は、それを受けとめるだけの体験が不足していたのだと思う。九九を習った時には、足し算をさんざんやって、２を二回足したら4、三回足したら6、のような蓄積がないと、九九はなかなか身につかない。 分数を習う時には、ケーキを８人で分けたり、ピザを６人で分けたり、おやつを3人で分けたり、という体験が十分蓄積していないと、何を言ってるのか分からない。分数を習った時に「体験ネットワーク」の準備が整っていなければ、分数の内容を受けとめようがない。 しかし。九九や分数を小学校で習ったときには受けとめようがなかった子も、中学
数学的基礎を徹底解説！ ――近刊『コンピュータサイエンスにおける様相論理』まえがき公開｜森北出版
2022年1月下旬発行予定の新刊書籍、『コンピュータサイエンスにおける様相論理』のご紹介です。 同書の「まえがき」の一部を、発行に先駆けて公開します。 ＊＊＊ 〈 本書の目的 〉 様相論理とは、たとえば「真の可能性がある」「将来にわたってずっと偽」「それが真であることを花子は知っている」のように、単に真か偽かだけでなく状況に依存した真偽や複雑化された真偽概念を表現できる論理です。さまざまな動機から生まれたさまざまな様相論理がありますが、コンピュータサイエンスにおいてはCTL(computation tree logic)、様相ミュー計算(modal μ-calculus)、PDL(propositional dynamic logic)といった様相論理がよく研究されています。CTLは、たとえば「Aが起こればその後いつかはBが起こる」のような、時間とともに変化する真偽を細かく記述できるので、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
