2020年度後期・数理解析・計算機数学 II
[ ホーム | 講義 ] 2020年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2021年1月27日(水) (1月13日10時45分訂正) 講義予定 シラバス 1回目（10月7日1限）の教室は多元109号室に変更 2回目以降も多元109号室で講義を行う 第1回10月 7日 Coq/SSReflectの論理 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回10月14日 述語論理とSSReflectのタクティック 講義メモ 第3回10月21日 再帰的な定義と帰納法 講義メモ 第4回10月28日 帰納的な定義と多相性 講義メモ 第5回11月4日 Mathcomp, 自己反映と単一化 講義メモ ssrbool_doc.pdf, ssrnat_doc.pdf (R. Affeldt の
海苔（のり）を消化できるのは日本人だけという論文を読んでみた｜柞刈湯葉
昆布、ワカメ、そして海苔といった食材は和食において不可欠なものだ。古くは柿本人麻呂が海苔についての和歌を読んでおり、その利用は先史時代に遡るという。だが海藻を食べる文化は西洋人から見ると奇異に映ったようで、民族ジョークにもなっている。 レストランであるフランス人が言った。 「日本は物が豊かだと聞いたのに、海藻なんかを食べている」 それを聞いた日本人が言った。 「フランスは物が豊かだと聞いたのに、カタツムリなんかを食べている」 そして二人が言った。 「イギリスは物が豊かだと聞いたのに、イギリス料理なんかを食べている」こうしたジョークは世界各地で人気があり、日本でも早坂隆『世界の日本人ジョーク集』などがベストセラーになったが、最近はこのような笑いに白い目を向けられることも多い。国や民族に対する偏見を助長することはもちろん、グローバル化著しい現代においては、ジョークで語られる民族像が現実に追いつ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
