mixiユーザー(id:64329543)

日記一覧

 argument, inference, proofという英語の単語はみな似た意味をもっていて、日本語では論証、推論、証明などと訳されています。そして、いずれも幾つかの前提や仮定から論理規則を使って結論を導き出すことを指しています。その典型例が数学のテキストに登場

続きを読む

私が生きる世界
2019年02月17日06:16

 私はどんな世界に生き、暮らしているのか。人が生活する世界とは、そこで生まれ育ち、楽しみ、苦しみを経験し、家族や友だちをもつ環境であり、宗教、科学、哲学が探求してきた自然、社会、精神を含んだ世界である。その生活世界はどのようにつくられ、変

続きを読む

 マングリエティア・インシグニス(Manglietia insignis)はモクレン科モクレンモドキ属の常緑高木。モクレンモドキ属は世界に25種分布し、インシグニスは中国の西部からヒマラヤ、ミャンマーにかけて分布する。和名は木蓮擬き(モクレンモドキ)。中国名は

続きを読む