ランキング参加中フランス語を学ぶ ↓これの続き。 cut-elimination.hatenablog.com ランガールことジラール先生の「マスタード・ウォッチ」本編を読んだ。4ページだし英語なのですぐに(ある程度)読めるが、ちょっと私の知らないロジックの難しい話題も出てきた。まあそれはジラール先生が批判しているロジック研究手法であって私はジラール先生の研究ばかり追いかけているので知らないのも無理はない（ダメだけど）。 大変おもしろく、そして読みようによっては辛辣な文章である。 マスタード・ウォッチとは、内部の隙間にマスタードを貯えた懐中時計である。 前回訳した文章からも伺えたが、この風刺文…

ジャン=イヴ・ジラール(Jean-Yves Girard)先生の「マスタード・ウォッチ 時間と食べ物に対する統合的アプローチ」（英題"Mustard watches, an integrated approach to time and food"、仏題"Les montres à moutarde, une approche intégrée au temps et à la nourriture"）という奇妙な論文がある。ジラール先生のホームページの"alter ego"というページで公開されていて、1990年に出たらしい。ジラール 先生は"ヤン=ジョアシャン・ランガール"(Yann-Jo…

↓これの続きです。 cut-elimination.hatenablog.com 今回は安定関数が出てくるはずです。 用語の整理 いろいろ用語、記法が出てきている。 用語・記法：整合空間 の要素を の点(point)という。 のクリークを整合部分集合(coherence subset)とも言う。点とは即ち整合部分集合である。また、 の点のうち有限集合であるものの集合を と書く。 もうちょっと定義っぽい定義も出てくる。 定義： の近似(approximant)とは、任意の の部分集合 である。有限近似とは近似のうち有限集合であるもの。 整合空間の定義1)より、近似も の要素である。 有限近似の性…

↓これの続きっちゃあ続きである。 cut-elimination.hatenablog.com "Proofs and Types"を読んでいくシリーズだったが、第7章のSystem Tの導入をちょっと飛ばして第8章の整合空間(coherence space)を詳細に読みたいのよ。 整合空間から線形論理を解説している照井先生の「線形論理の誕生」という論文も勉強になるので適宜参照する。 動機 整合空間はプログラムの表示的意味論を構築するための数学的道具である。まず表示的意味論の発想というものがちゃんと解説されている。「誕生」でも似たような議論がある。表示的意味論では、型を集合、関数としてのプログ…

↓これの続きでっせ。 cut-elimination.hatenablog.com 3章は型とは何かという哲学的な考察を含んでいる。4章は正規化定理を解説したテクニカルな内容である。 Chapter 3 カリー=ハワード同型 命題を型と対応させる。型付項のシステムにおいても sense と denotation の二項対立が現れる。denotation はプログラムの denotational semantics（表示的意味論）の背景にある。もちろん。それは denotation の等式を与える静的なものである。対して sense の方は操作的意味論をもたらす。こちらは書換えを与える動的なもの…

私は現代最高のロジシャンはJean-Yves Girardだとガチで思っている。 ジラール先生の論文や本は、理論的なものであっても個人の論理に対する考えが混入していることがよくあるように思う。時には本線のテクニカルな議論からやや離れたお話のようなことが書かれていることもある。そういうところはテクニカルなロジックの文脈ではあまり取り上げられないが、哲学的には面白そうなのである。そういうのも読んでみるための本記事である。 ここで取り上げる"Proofs and Types"は、1986〜1987年にパリ第七大学で行われた講義を元にしている。まさに線形論理が誕生する前後の時代である。この時代背景には…

ランキング参加中フランス語を学ぶ ジャン=イヴ・ジラール先生は大量の映画短評を書いておられる。ジラール先生のサイトの"alter ego"というところから読める。 girard.perso.math.cnrs.fr オルター・エゴというだけあって、Yann-Joachim Ringardという変名で書いている。おもしろい。 フランス語の勉強になるかと思い、ちょっと訳してみることにした。私の知っている映画もけっこうある。とりあえず「千と千尋の神隠し」を読んでみた。上のリンクを見ればわかるが、ジラール先生はホームページにカオナシの絵を載せている。「千と千尋」評を読んだ感じでもどうもカオナシが好きっ…

フランスのプロヴァンス地方は、その美しい風景や豊かな文化で知られています。そして、その地方特有の風味やアロマを体現する魅力的なスピリッツがあります。メゾン・ジャノのパスティス・ド・マルセイユは、1928年の伝統的なレシピに基づいて作られ、その豊かな歴史と味わい深い香りで愛されています。この記事では、その魅力的なスピリッツについて紹介します。 パスティス・ド・マルセイユは、創業者アルフレッド・モニエがプロヴァンスの風味と味わいを捉えたとされる1928年のレシピに基づいています。この特別なレシピは、プロヴァンス地方の豊かな自然や文化からインスピレーションを得ており、その歴史は数世代にわたり受け継が…

あのコは加工肉が好き 数字遊び ② 8月9日、長崎の原爆雲を少年だった私の父は長崎の小浜で見上げていたそうだ。 父方の祖父はそのころ、小浜で塩を作っていて兵役を免れていたと聞いた。 祖父は小浜の人間ではない。福島、会津の出身。東北人である。 出稼ぎの肉体労働で九州にやって来ていて、それからどういった流れなのかよくわからないけれど、小浜の温泉で温泉熱を使った塩田業に着き、造塩が軌道に乗ってから福島の家族を呼び寄せて、戦中は小浜で暮らしていたらしい。 どこも物不足の時代だったけれど、貴重品の塩作りという職業柄なのか比較的不自由しない生活だったと聞いた。 祖父が風呂場に拘っていて、広い洗い場の窓から…

いまこの原稿を書いている場所は、ベルリン映画祭を訪れる前に立ち寄ったパリの知人のアパートで、ラジオから流れるFM局のナビゲーターが「最近行われた国際的なアンケート調査によれば、フランス語が世界で最もロマンティックな言語であると認識されているそうです」と語っている。ナビゲーターは特に浮かれるわけでもなく淡々と語っているが、まだフランスに華やかなイメージが残っていることを皮肉に思っている様子が感じられなくもない。 フランス語圏からの帰国子女だった僕は、70年代末の帰国直後に通った日本の小学校の教員から「おフランス」と揶揄され、イジメとまではいかなかったけれど「なんだよそれ」という気分は存分に味わっ…

反コミュニケーション (現代社会学ライブラリー 11) 作者:奥村 隆 弘文堂 Amazon 私はコミュニケーションが嫌いだ。できれば人と会いたくない。ひとりでいたい。電話もメールもしたくない。たとえば電子メールというものがあって、これを仕事上使わなくてはいけない。苦痛だ。いきなり誰かからメールが来て、それに返事をしなければならない。返事をしないこともあるが、返事をしないとなぜか気持ちが重くなってしまう。いやだいやだと思いながら、返事をする。いや、必要に迫られて、自分のほうからいきなりメールを送るときも多い。相手は私と同じようにメールを送られて苦痛だと思っているのだろうな、と思いながら。 序章…

ミーメンスで有名な学者であり、ピーター・ティール関係でも有名 結構読みにくいが、この方の解説本はこちら↓ ルネ・ジラール (文庫クセジュ) 作者:クリスティーヌ・オルスィニ 白水社 Amazon もう少し読みやすくならないのだろうか・・・というぐらい現代思想的、ジャーゴンにあふれた解説本で、文章のクセも強い。翻訳のクセなのかもしれないが。 もっともある種、らしさもあるといえる。 で、本題だが 欲望の見つけ方 お金・恋愛・キャリア 作者:ルーク バージス 早川書房 Amazon が流行っているそうだ カバーの スクショ こちらが印象的 本屋でも目立っていた ジラール辺りを念頭に 資本主義リアリズ…

■#0005_2001年3月16日経世会が政界から消えることは何をいみしているのか司会：宮台真司、神保哲生ゲスト：なし・角福戦争の怨念 森首相は、今まで経世会に言われるがまま、牛耳られてきた 今回も、多数派工作でいいように落とされることになり、 それを拒否したのではないか 強力な後ろ盾により、お世話になった部分もあるが、 後ろからいいように操られて、何かあれば首を挿げ替える これまでの恨みが清和会、森派に溜まっていたのではないか ・ボス交政治の賛否 これまで、料亭でのボス交政治で、 無用なトラブルを最小限に抑え、全てを丸く治めてきた それができなくなって、この国の政治がダメになった という主張…

プラハ政府間宗教自由会議に対する親中キャンペーンと厳しい冬 2024 年 1 月 9 日マッシモ・イントロヴィーネA+ | あ- 反カルト主義者のスティーブン・ハッサンと中国共産党の旅行者たちは、国際宗教の自由・信仰同盟サミットと私たちの雑誌に対して団結した。 マッシモ・イントロヴィーニュ著 11月22日の反宗教の自由イベントにインターネット経由で参加するスティーブン・ハッサン。イベントのプレスリリースより。 11月28日から30日まで、プラハは国際宗教の自由または信仰同盟（IRFBA）会議を主催し、ワシントンDCとロンドンで同様の省庁間会議が開催された。これは、宗教や信仰の自由を促進し、その…

時計は単なる時間計測の道具に留まらず、そのデザインや技術、ブランドの歴史などが複合的に組み合わさり、時計愛好者やコレクターたちにとって、真のアートの象徴とも言えます。今回は、世界中で高い評価を受け、トップクラスの地位を確立した「世界のトップウォッチブランドトップ10」をご紹介します。 1. パテック・フィリップ (Patek Philippe) パテック・フィリップは、創業以来、卓越した技術と優雅なデザインで知られています。特に「コンプリケーション」の分野でのリーダーシップは際立ち、独自の時計作りへの情熱が世界中で高く評価されています。 2. ロレックス (Rolex) ロレックスは時計業界に…

#0003_2001年3月2日謝罪の異文化摩擦 ・謝罪一色の記者会見 えひめ丸沈没事故について、アメリカ側が謝罪会見を開いたが、 謝罪が足りないという批判が相次いでいる ・ファロン特使の回答 日本とアメリカとで基本的な文化の違いがある 責任のある立場の人物は人名の喪失に深く陳謝すべきである ワドル艦長が直接遺族に謝罪できないのはなぜか 謝意を伝えることは日米の文化的、法的違いがある 日本ではどんな状況でも文化が謝罪を要求する しかしアメリカでは有罪になるまで推定無罪となる 自らの訴追を招く証言は拒否する権利が認められる そこがアメリカの法体系の信条であり、日本との違いで お互い分かり合えない根…

今回は欧州5大リーグで起こった偉業の軌跡を書いていきます。 3回目は「2011-2012 モンペリエ」です。 (C) REUTERS／AFLO 主なフォーメーション ①若手の突き上げが希望に モンペリエは2009-2010シーズンに1部に昇格すると就任したジラール監督の下、積極的に若手を登用し、昇格初年後にはスパヒッチやティノ・コスタの活躍もありいきなりUEFAヨーロッパリーグ出場権を獲得する5位に躍進。 また次シーズンは低迷するもベランダやヤンガ＝エムビワ、ボカリ等若手選手の突き上げが希望となっていました。 しかし流石に優勝候補と言える程のチームでは無く、年間予算は僅か3500万€。補強も最…

読んだ本をざっとリストアップする。順番は読み終えた順。 冊数で75冊。読了日が今年というだけで昨年から読んでいた本もあるし、上下巻などシリーズものも各巻で1冊と数えている。 読んだといっているけど、実は大して読んでないものもある。 独ソ戦 絶滅戦争の惨禍 (岩波新書) 日中戦争全史 上巻 日中戦争全史 下巻 独占告白 渡辺恒雄―戦後政治はこうして作られた― はじめての聖書 (河出文庫) なぜ理系に女性が少ないのか (幻冬舎新書 674) 日本人のための第一次世界大戦史 (角川ソフィア文庫) 物語 フランス革命 バスチーユ陥落からナポレオン戴冠まで (中公新書) 武器としての「資本論」 フランス…

読んだ本 テリー・イーグルトン『文化と神の死』青土社 (2021) 宮台真司『正義から享楽へ：映画は近代の幻を暴く』blueprint (2022) ルネ・ジラール『暴力と聖なるもの 新装版』法政大学出版局 (2012) マックス・ヘイスティングス『ヴェトナム (上) ：壮大な悲劇1945-1975 』白水社 (2023) つづきを読み進めた。 nainaiteiyan.hatenablog.com ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 日記 『ヴェトナム (上) 』 高校生の時は数学と化学をメインに勉強していたので、自分は全く世界史の知識がない。この…