慶應大学で開催されたジャン=イヴ・ジラール先生のセミナーに自力で行ってきた。初めてお会いした。私にとってのジラール先生はハロプロ志望の少女にとってのつんく♂のようなものである。緊張した。しかし持っていったご著書にサインも頂けたので満足。トゥイッターで知り合った人にも会えたし。慶應大学の方々もありがとうございました。 内容は"AGAINST SYSTEMS"と題して、いわゆる公理的実在論や無矛盾性証明を批判するものだった。私はタイトルから事前に以下の論文と関係するだろうと察知してそこそこ読んでから臨んだのでかなりお話を理解できた。今回のジラール先生のお話が難しいと感じた方は以下を読むのがオススメ…

ランキング参加中フランス語を学ぶ ↓これの続き。 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 シーケント計算 シーケント計算は自然演繹ほど計算との対応が明確ではないとのことだった。しかしPROLOGの基礎になっていたり自動定理証明に使われるタブローの一般化でもあるという。これは知らなんだ。私はPROLOGの仕組みを知らないので調べねばね。タブローがシーケント計算の一部だというのは分りそうで分らない。。。 続いてシーケント計算が定義される。構造規則が思いの外重要であるとある。確かに構造規則が重要だからこそ構造規則を制限した線形論理が生れた訳だ。 前回までであまりピンときていなかった対称性が分ってきた。シ…

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

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

booksch.hatenablog.com BooksChannel meets Amazon : 新着商品UP 第1弾 amazonに出店のお店の皆様も 馬鹿馬鹿しくて あまり おやりになられないであろうCM SONG「amazon出品の唄」から始めさせて頂きます。どうぞ、よろしくお願い致します。 soundcloud.com 📖🎶 BooksChannel meets Amazon : 本と映画パンフレット世界へようこそいらっしゃいました。 📚🎵大阪府八尾市・河内山本の "📚Books Channel📀" より、amazon出品の新着商品UP 第1弾(500点)をお届けします！🔍 検索ワ…

◎新作ロードショー 太陽と桃の歌 《12月13日(金)から 東京 ヒューマントラストシネマ渋谷ほかで公開》 スペインのカタルーニャ地方で桃農園を経営する一家。地主に土地の明け渡しを求められ、 最後の収穫期となる夏を迎える。（2022年 スペイン=イタリア 監督/カルラ・シモン） 不思議の国のシドニ 《12月13日(金)から 東京 シネスイッチ銀座ほかで公開》 『私はモーリーン・カーニー』のイザベル・ユペール主演。日本の出版社に招かれた作家が、 各地を旅する中で、亡き夫の幽霊と対話する。（2023年 フランスほか 監督/エリーズ・ジラール） 型破りな教室 《12月20日(金)から 東京 ヒューマ…

連日流れてくる。兵庫県民ではないので、それほど細かいところは存じないが、もう少し大枠での話も多い。 私見は↓どおり penginsengen.hatenablog.com SNSだ、メディアだというのは論考通りあるのだろう。しかし、身近な人間が報道に違和感を持っており、その辺とのギャップが反メディアと結びついて、逆転したのだろう。 勿論綿密（？）な知事側の戦略や、そもそも鋼鉄のメンタルがなければここまで来なかったのも事実。また、オールドメディアVSのかたちに持ち込んで全国ニュースネタにしたこと、こういうことに機を見るに敏な戦略家といって良い立花氏の参戦等も大きかっただろう。 まずXで気になった…

〔PHOTO〕gettyimages 兵庫県知事選挙の知らせを聞いた。パワハラを指摘され、部下から内部告発を受けた際に過酷な対応を行い、関係者が亡くなり、議会から不信任決議を受けた斎藤元彦氏が、選挙で再び兵庫県知事として選ばれた。 【写真】人生で「成功する人」と「失敗する人」の大きな違い 予想を超えて時代が早く動いている。模倣の欲望が、速度と強度を増しながら衝突し、高まっていく。死者も出る。その果てに何があるのか。やはり一抹の恐怖を感じる。 つい先日、アメリカでトランプ大統領が勝利したことについての記事を書いた( 「なぜトランプが勝利し、リベラルは負け続けるのか…多くの人が見過ごしている「問題…

ここのところBoris Engさんという人の博論"An exegesis of transcendental syntax"を読んでいる。↓でダウンロードできる。 hal.science ボリスさん（苗字の読み方がわからない）はフランスの人で、2023年にこの論文で博士号を取得し、今は在野にいるらしい（エンジニアをしながら研究しているとか）。博論のスーパーバイザーは気鋭の線形論理ストThomas Seiller先生。私のような日本で細々とジラール研究をしている人間には羨ましい環境である。 この博論は440ページくらいある大部のもので、ようやく半分を読んだところ。しかし前半はそれほどテクニカルな…

フェミニスト紫式部の生活と意見 ～現代用語で読み解く「源氏物語」～ (集英社学芸単行本) 作者:奥山景布子,中島花野 集英社 Amazon 第15回～第29回は読書会の議事録を公開用に再編集して掲載していましたが、第30回～は、読書会で出た意見・感想を短くまとめてご紹介します。 選書の理由 以前から個人的に気になっていた本。今年の大河ドラマ「光る君へ」の主人公が紫式部なので、読むならこのタイミングだろうと思って選びました。本の内容は『源氏物語』のフェミニズム批評なのですが、文学史も歴史だ！ということで選びました。（選書担当：アズシク）

左より、エリーズ・ジラール監督、イザベル・ユペール、伊原剛志 きょう11月６日は、伊原剛志さんの誕生日です。1963年生まれの61歳になりました。おめでとうございます。福岡県北九州市生まれ、４歳から大阪府大阪市生野区育ち。大阪府立今宮高等学校卒業。所属していたケイダッシュとは2019年12月末で契約終了、2020年１月に個人事務所「IHARAオフィス」を設立。 伊原剛志さんの映画最近作は、 2019.03.09『家族のレシピ』(2017-2019：エリック・クー)、 2019.09.13『ある船頭の話』(2019：オダギリジョー)、 2021.04.02『劇場版 シグナル 長期未解決事件捜査班…

アルトゥーロ・リプステイン『聖なる儀式』。勝手にキワモノを予想していたが（サービスカットもあるが）意外と地味。 『深紅の愛』は『ハネムーン・キラーズ』という凄いカットが続く不世出の名作がある分、単純に長すぎる、かつ出頭前の母子殺害はさすがにむごい（『ハネムーン～』の出会って次のカットだと文字通り愛し合っている、理屈を越えた二人の異様さと感動が忘れがたいけれど、『深紅の愛』の精神の異常さは理解可能な領域に収まっている）。そうした長さ・むごさ・地味さが『聖なる儀式』では最後の字幕にて触れられた、事実よりも訴える迫力、のようなものになる。「伝染病の原因はユダヤ人の儀式のせいだ！」というカトリックの司…

27歳のマヴィは、最近パリへ引っ越してきたばかり。不器用な彼女は気ぜわしい都会生活に馴染めずにいるが、ある日、従業員募集の貼り紙を頼りにカルチェ・ラタンの小さな古書店を訪ねる。そこで出会ったのは、謎めいた店主ジョルジュ。祖父と孫ほどの年齢差にもかかわらず、書物について言葉を交わし互いの孤独さを共有するうち、ふたりは徐々に惹かれあう。それは、風変わりで、静かで、けれど情熱的な愛。だがジョルジュには古書店店主とは別の、闇に包まれた過去があった。マヴィは彼の過去に触れるうち、自らもまた新たな人生へと一歩踏み出していく・・・。パリの古書店を舞台にくりひろげられる知的でロマンティックなラブストーリーであ…

ランキング参加中生きることは物語を描くこと、それは哲学すること ランキング参加中雑談・日記を書きたい人のグループ ランキング参加中アクセスの輪 ランキング参加中読書 ランキング参加中時計が好き ランキング参加中あなたの世界観を語ろう 昨日は久方ぶりにジムに行った。 先週は版画関係でいろいろあり、行けていなかったので、ちょっと不安があったのだが、涼しくなってきたので、結構手ごたえがあった。そして空いていたのもよかった。 人が多いと、気が散るのだ。 この数か月、チートデイと称して白米ドカ食いを繰り返していたので、内臓脂肪が多くなった感じがあった。 で、炭水化物は豆からにする方向で1か月ほど過ごして…

日本の秋を象徴する金木犀の香りは、 どこか懐かしくもあり、 心を穏やかにしてくれる特別な香りです。 その香りを手軽に楽しめるアイテムとして、 今注目を集めているのが 「金木犀のボディミスト」です。 今回はおすすめの金木犀の香りのアイテムを ピックアップしてご紹介いたします。 それでは、早速はじめましょう！ 【OHANA MAHAALO】 プアナラキ ZentOy 【コロン・プアナラキ ホオラ】オハナマハロ オーデコロン プアナラキ ホオラ ZentOy Amazon 金木犀好きにささげる混じりけの無い 金木犀の香りが楽しめるオーデコロンです。 持ち運びやすい小さなサイズ感です。 パッケージがと…

宮台真司と阪田晃一が主宰する「体験デザイン研究所風の谷」 www.youtube.com 10月11日（金）14時から配信した「荒野塾・雑談篇vol.03」のアーカイブです。 ※冒頭30分のみ無料放送です！ 続きはこちらでご購入をお願いします。 https://shop.erhemos.org 呪われた部分 ──全般経済学試論・蕩尽 (ちくま学芸文庫) 作者:ジョルジュ・バタイユ 筑摩書房 Amazon ヘ-ゲル読解入門: 『精神現象学』を読む 作者:アレクサンドル コジェーヴ 国文社 Amazon 改訂新版 共同幻想論 (角川ソフィア文庫) 作者:吉本 隆明 KADOKAWA Amazon …