@dyokoyama.bsky.social
投票所に行って「不在者投票をお願いします」と言ったら急にワタワタされて奥の机へ連れて行かれたのだけど、これは住民票以外の場所で投票するときの名称なのね。というわけで普通に居所で早めに投票する人は「期日前投票」でした。無事終了。
February 4, 2026 at 2:32 AM
投票所に行って「不在者投票をお願いします」と言ったら急にワタワタされて奥の机へ連れて行かれたのだけど、これは住民票以外の場所で投票するときの名称なのね。というわけで普通に居所で早めに投票する人は「期日前投票」でした。無事終了。
今号のラムダノート、大変すばらしい特集。まずは何とか萩谷先生の第1章を読了、連続と離散のパラダイムの対比というとらえ方が非常に示唆に富む。ちょうどこの冬休みの宿題として、照井一成著「コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-」を読んだところで、これも生き生きとした数学と証明の話が面白かった。タイムリーに色々つながっていく感じ。
新刊を発売したので宣伝です。第一線の研究者の方々に「計算とは？」というテーマで記事を書いてもらうという、企画者としては初心にもどって取り組んだ一冊ができました。この一冊に出てくる話題をすべて知っているという人はあまりいないのではないかという貴重でとても楽しい（計算というものに興味がある人にとっては）一冊になっていると思います。今号はn月刊ラムダノートとしてはじめて書店（大都市圏の一部）にも置いてもらえる見込みですので、「これまでn月刊ラムダノートを見たことない」という方もぜひ！ www.lambdanote.com/blogs/news/n-3
n月刊ラムダノート「特集：計算とは何か」発行のお知らせ
いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート 「特集：計算とは何か」Vol.6 No.1』の発売開始のお知らせです。本号は「計算とは何か」をテーマにした以下の5つの記事でお送りします。
計算パラダイムの対立軸を揺さぶる微分可能論理ゲートとLLM＋定理証明、そしてメタパラダイムたる自然計算の世界へといざなう「計算の2つのパラダイムシフトから自然計算へ」（萩...
www.lambdanote.com
February 1, 2026 at 5:46 AM
今号のラムダノート、大変すばらしい特集。まずは何とか萩谷先生の第1章を読了、連続と離散のパラダイムの対比というとらえ方が非常に示唆に富む。ちょうどこの冬休みの宿題として、照井一成著「コンピュータは数学者になれるのか? -数学基礎論から証明とプログラムの理論へ-」を読んだところで、これも生き生きとした数学と証明の話が面白かった。タイムリーに色々つながっていく感じ。
tokyo prototypeでも見に行ってみるか、と虎ノ門ヒルズに行ったらものすごい人で全く入れず、すごすご退散。官庁街はガラガラなので、国会議事堂前まで1人パトレイバー2ごっこしながら歩く。この総務省庁舎の通信塔にミサイル撃ち込まれてたな、とか、この辺で戦車降ろしてたのかな、とか。それなりに楽しい散歩でした。
January 31, 2026 at 12:28 PM
tokyo prototypeでも見に行ってみるか、と虎ノ門ヒルズに行ったらものすごい人で全く入れず、すごすご退散。官庁街はガラガラなので、国会議事堂前まで1人パトレイバー2ごっこしながら歩く。この総務省庁舎の通信塔にミサイル撃ち込まれてたな、とか、この辺で戦車降ろしてたのかな、とか。それなりに楽しい散歩でした。
Reposted
新刊を発売したので宣伝です。第一線の研究者の方々に「計算とは？」というテーマで記事を書いてもらうという、企画者としては初心にもどって取り組んだ一冊ができました。この一冊に出てくる話題をすべて知っているという人はあまりいないのではないかという貴重でとても楽しい（計算というものに興味がある人にとっては）一冊になっていると思います。今号はn月刊ラムダノートとしてはじめて書店（大都市圏の一部）にも置いてもらえる見込みですので、「これまでn月刊ラムダノートを見たことない」という方もぜひ！ www.lambdanote.com/blogs/news/n-3
n月刊ラムダノート「特集：計算とは何か」発行のお知らせ
いつもご来店ありがとうございます。計算機好きのための技術解説情報誌『n月刊ラムダノート 「特集：計算とは何か」Vol.6 No.1』の発売開始のお知らせです。本号は「計算とは何か」をテーマにした以下の5つの記事でお送りします。
計算パラダイムの対立軸を揺さぶる微分可能論理ゲートとLLM＋定理証明、そしてメタパラダイムたる自然計算の世界へといざなう「計算の2つのパラダイムシフトから自然計算へ」（萩...
www.lambdanote.com
January 23, 2026 at 7:35 AM
新刊を発売したので宣伝です。第一線の研究者の方々に「計算とは？」というテーマで記事を書いてもらうという、企画者としては初心にもどって取り組んだ一冊ができました。この一冊に出てくる話題をすべて知っているという人はあまりいないのではないかという貴重でとても楽しい（計算というものに興味がある人にとっては）一冊になっていると思います。今号はn月刊ラムダノートとしてはじめて書店（大都市圏の一部）にも置いてもらえる見込みですので、「これまでn月刊ラムダノートを見たことない」という方もぜひ！ www.lambdanote.com/blogs/news/n-3
今年もとりあえず年納め。餅をつき、スーパー銭湯に行き、コーヒー牛乳を飲む。良い年末でした。
December 30, 2025 at 12:30 PM
今年もとりあえず年納め。餅をつき、スーパー銭湯に行き、コーヒー牛乳を飲む。良い年末でした。
大学の長い階段が虫食いの枯葉でいっぱい。「病葉とバクラヴァ」とか思ったりする。
December 1, 2025 at 1:25 AM
大学の長い階段が虫食いの枯葉でいっぱい。「病葉とバクラヴァ」とか思ったりする。
@hortense667.bsky.social さんの記事見て、あわてて万世書房で確保してきた！青春の割と大事なところに刷り込まれているもの。
November 23, 2025 at 9:38 AM
@hortense667.bsky.social さんの記事見て、あわてて万世書房で確保してきた！青春の割と大事なところに刷り込まれているもの。
今月のカーサブルータス、特集がすごい力作！じっくり読む。あと何故か居た平沢進を確保。
November 11, 2025 at 3:25 PM
今月のカーサブルータス、特集がすごい力作！じっくり読む。あと何故か居た平沢進を確保。
散歩の途中に何か飲みたくなって
November 2, 2025 at 6:42 AM
散歩の途中に何か飲みたくなって
東畑開人「居るのはつらいよ」読了。ケアとセラピーの違いをテーマにした学術的な内容だけど、べらぼうに面白い。ケアの現場を描いたとてつもなく面白いエッセイなのに、最終的にはそう語られねばならなかったことが大いなる必然として立ち現れる、すごい本。
ただ「居る」ということがどれくらい大変なことか、人が世間で暮らしていくということがどれくらい「あたりまえでない」ことか、語られるエピソードには胸を衝かれるし、会計的な視点がどのくらい簡単に「居るだけ」のことを壊していくのか、という著者の叫びにはハッとさせられる。
ただ「居る」ということがどれくらい大変なことか、人が世間で暮らしていくということがどれくらい「あたりまえでない」ことか、語られるエピソードには胸を衝かれるし、会計的な視点がどのくらい簡単に「居るだけ」のことを壊していくのか、という著者の叫びにはハッとさせられる。
November 1, 2025 at 3:14 PM
東畑開人「居るのはつらいよ」読了。ケアとセラピーの違いをテーマにした学術的な内容だけど、べらぼうに面白い。ケアの現場を描いたとてつもなく面白いエッセイなのに、最終的にはそう語られねばならなかったことが大いなる必然として立ち現れる、すごい本。
ただ「居る」ということがどれくらい大変なことか、人が世間で暮らしていくということがどれくらい「あたりまえでない」ことか、語られるエピソードには胸を衝かれるし、会計的な視点がどのくらい簡単に「居るだけ」のことを壊していくのか、という著者の叫びにはハッとさせられる。
ただ「居る」ということがどれくらい大変なことか、人が世間で暮らしていくということがどれくらい「あたりまえでない」ことか、語られるエピソードには胸を衝かれるし、会計的な視点がどのくらい簡単に「居るだけ」のことを壊していくのか、という著者の叫びにはハッとさせられる。
金曜日は20:00まで開いてるのを知り、仕事終わりにえぃっと国立新美術館「時代のプリズム」展へ。それぞれが時代に何か残した作品ばかりがたっぷりで、いやーおなかいっぱい。途中でちょっと酔っちゃうくらい。
サイモン・スターリング「仮面劇のためのプロジェクト（ヒロシマ）」は最初から最後まで見てしまった、能を使って核をめぐる歴史が再構成されて、大変に面白い。
結構ヘビーな展示を見てきたので、最後のほうの部屋、小沢剛「ベジタブル・ウェポン」とかでものすごく救われた気分になる。こんな時代だから、みんなで鍋作って食べられるといいね。
サイモン・スターリング「仮面劇のためのプロジェクト（ヒロシマ）」は最初から最後まで見てしまった、能を使って核をめぐる歴史が再構成されて、大変に面白い。
結構ヘビーな展示を見てきたので、最後のほうの部屋、小沢剛「ベジタブル・ウェポン」とかでものすごく救われた気分になる。こんな時代だから、みんなで鍋作って食べられるといいね。
October 24, 2025 at 1:15 PM
金曜日は20:00まで開いてるのを知り、仕事終わりにえぃっと国立新美術館「時代のプリズム」展へ。それぞれが時代に何か残した作品ばかりがたっぷりで、いやーおなかいっぱい。途中でちょっと酔っちゃうくらい。
サイモン・スターリング「仮面劇のためのプロジェクト（ヒロシマ）」は最初から最後まで見てしまった、能を使って核をめぐる歴史が再構成されて、大変に面白い。
結構ヘビーな展示を見てきたので、最後のほうの部屋、小沢剛「ベジタブル・ウェポン」とかでものすごく救われた気分になる。こんな時代だから、みんなで鍋作って食べられるといいね。
サイモン・スターリング「仮面劇のためのプロジェクト（ヒロシマ）」は最初から最後まで見てしまった、能を使って核をめぐる歴史が再構成されて、大変に面白い。
結構ヘビーな展示を見てきたので、最後のほうの部屋、小沢剛「ベジタブル・ウェポン」とかでものすごく救われた気分になる。こんな時代だから、みんなで鍋作って食べられるといいね。
ちょっと前に行って来た「藤本壮介の建築展」＠森美術館、なかなか面白かった。最初の部屋、模型の展示が圧巻。あと建築物のぬいぐるみが何体かおしゃべりしながら説明している展示は見せ方がいいね。モーターでちょいちょい動くだけなのだけど、つい聞いてしまう魅力がある。
一方、最後の未来都市の構想はややいただけなかった。出てくる人間の暮らし方があまりにオフィスワーク的で、生産とかの仕事が全く見えなくて…。大丸有のオフィスビル設計なのかと。
一方、最後の未来都市の構想はややいただけなかった。出てくる人間の暮らし方があまりにオフィスワーク的で、生産とかの仕事が全く見えなくて…。大丸有のオフィスビル設計なのかと。
October 22, 2025 at 12:09 PM
ちょっと前に行って来た「藤本壮介の建築展」＠森美術館、なかなか面白かった。最初の部屋、模型の展示が圧巻。あと建築物のぬいぐるみが何体かおしゃべりしながら説明している展示は見せ方がいいね。モーターでちょいちょい動くだけなのだけど、つい聞いてしまう魅力がある。
一方、最後の未来都市の構想はややいただけなかった。出てくる人間の暮らし方があまりにオフィスワーク的で、生産とかの仕事が全く見えなくて…。大丸有のオフィスビル設計なのかと。
一方、最後の未来都市の構想はややいただけなかった。出てくる人間の暮らし方があまりにオフィスワーク的で、生産とかの仕事が全く見えなくて…。大丸有のオフィスビル設計なのかと。
ノーベル賞すごいですね。それはそうと、米国籍を取った日本人とかよく分からないことを言ってるくらいなら、全てのノーベル賞授賞者と日本との縁をなんとか見つけて報道すればいいのに。日本の大学で賞をもらったとか、親せきが日本に住んでるとか。よほどポジティブで微笑ましいニュースになるのでは。寿司が好き、とかね。
October 8, 2025 at 12:36 PM
ノーベル賞すごいですね。それはそうと、米国籍を取った日本人とかよく分からないことを言ってるくらいなら、全てのノーベル賞授賞者と日本との縁をなんとか見つけて報道すればいいのに。日本の大学で賞をもらったとか、親せきが日本に住んでるとか。よほどポジティブで微笑ましいニュースになるのでは。寿司が好き、とかね。
学食でボルシチ定食頼んだら、かなり多めのペンネの上にかけられたものだった。せめて半ライスにすれば良かった、、、
October 6, 2025 at 3:23 AM
学食でボルシチ定食頼んだら、かなり多めのペンネの上にかけられたものだった。せめて半ライスにすれば良かった、、、
近所の本屋で見かけてすぐさま確保した、山口晃「趣都」、大正解！すごい景観論。電柱に日本橋の風景、階段など、とにかく楽しそうに語りまくるのが気持ち良い。なんというか、おじさんが楽しそうになんかやってる、というのを見せるのが正しい研究者のあり方だと思うのですよ。学生さんにもぜひ読んでもらいたい。あと日本橋の話はパトレイバー2思い出しちゃうね。
October 1, 2025 at 1:28 PM
近所の本屋で見かけてすぐさま確保した、山口晃「趣都」、大正解！すごい景観論。電柱に日本橋の風景、階段など、とにかく楽しそうに語りまくるのが気持ち良い。なんというか、おじさんが楽しそうになんかやってる、というのを見せるのが正しい研究者のあり方だと思うのですよ。学生さんにもぜひ読んでもらいたい。あと日本橋の話はパトレイバー2思い出しちゃうね。
昨日はピーピング・トムのtriptych鑑賞。いつもにも増して死の匂いが濃厚。ちょっと前に「マシン・ラブ展」で見た、ゲームのアセットにバグのような動きをさせる作品を思い出すくらい、人間の身体と思えないような動きがすごい。グリッチとか、コンピュータの映像表現の影響もあって面白い。
September 28, 2025 at 10:54 AM
昨日はピーピング・トムのtriptych鑑賞。いつもにも増して死の匂いが濃厚。ちょっと前に「マシン・ラブ展」で見た、ゲームのアセットにバグのような動きをさせる作品を思い出すくらい、人間の身体と思えないような動きがすごい。グリッチとか、コンピュータの映像表現の影響もあって面白い。
学会の連続の後、花粉で体調を崩したりして、ようやく多少平常運転になってきた。最近色々良いものに触れていたので備忘録として書く。
4Kリマスターで映画館でかかった「リンダリンダリンダ」を初めて観た。素晴らしい。「何でもない特別」としか言えない瞬間がありありと。
4Kリマスターで映画館でかかった「リンダリンダリンダ」を初めて観た。素晴らしい。「何でもない特別」としか言えない瞬間がありありと。
September 25, 2025 at 1:02 PM
学会の連続の後、花粉で体調を崩したりして、ようやく多少平常運転になってきた。最近色々良いものに触れていたので備忘録として書く。
4Kリマスターで映画館でかかった「リンダリンダリンダ」を初めて観た。素晴らしい。「何でもない特別」としか言えない瞬間がありありと。
4Kリマスターで映画館でかかった「リンダリンダリンダ」を初めて観た。素晴らしい。「何でもない特別」としか言えない瞬間がありありと。
「（以下回文）」という表現が降ってきた。
September 11, 2025 at 9:49 AM
「（以下回文）」という表現が降ってきた。
ようやく一息つけたので、閉幕間際の士郎正宗の世界展に滑り込み。ほぼ全部読んだことがある原稿なことに改めて驚かされる。明らかに自分の柔らかい部分に何か刷り込まれたものがある。良い展示でした。
August 9, 2025 at 1:58 PM
ようやく一息つけたので、閉幕間際の士郎正宗の世界展に滑り込み。ほぼ全部読んだことがある原稿なことに改めて驚かされる。明らかに自分の柔らかい部分に何か刷り込まれたものがある。良い展示でした。
最近だと、東京サラダボウルを読み、地下鉄道を読み、ものまね鳥を殺すのはを読んだ。こういう物語を少しでも多くの若者に紹介し、触れてもらうのが自分にできることなのかな、と思ったりした一日。
July 20, 2025 at 3:29 PM
最近だと、東京サラダボウルを読み、地下鉄道を読み、ものまね鳥を殺すのはを読んだ。こういう物語を少しでも多くの若者に紹介し、触れてもらうのが自分にできることなのかな、と思ったりした一日。
帰りのバスでふと気づいて観察したけど、今はセダンタイプの車がほとんど走ってないんだね。5分くらいの走行中にざっと200台くらい?の車を見かけて、4台しかセダンタイプがない。2%とか、本当？これだと、子供への説明の時、昔からある凸型にタイヤを付けたみたいな絵では通じないのかも。
July 19, 2025 at 11:28 AM
帰りのバスでふと気づいて観察したけど、今はセダンタイプの車がほとんど走ってないんだね。5分くらいの走行中にざっと200台くらい?の車を見かけて、4台しかセダンタイプがない。2%とか、本当？これだと、子供への説明の時、昔からある凸型にタイヤを付けたみたいな絵では通じないのかも。
夏の風物詩が似合う天気。箱根そば、豆腐一丁そば大盛り。
July 18, 2025 at 3:33 AM
夏の風物詩が似合う天気。箱根そば、豆腐一丁そば大盛り。
北野武のソナチネ聴きながらテスト問題作ってたらなんか殺伐としてきた。
July 16, 2025 at 3:13 PM
北野武のソナチネ聴きながらテスト問題作ってたらなんか殺伐としてきた。
一級建築士矩子の設計思考、4巻は弘前の建築観光案内がものすごいボリューム。ゆっくり読もう。ところで、hontoでこのシリーズを買っているのだけれど、1～3巻のシリーズを持っているところに、新たに1～4巻のシリーズが別にできているのはどういうことだろう…。出版社が変わったとかもなさそうだけど。何かの設定ミスだったら気付いてほしいけど、問い合わせ先もないしなー、というわけでここに記す。
July 6, 2025 at 4:02 AM
一級建築士矩子の設計思考、4巻は弘前の建築観光案内がものすごいボリューム。ゆっくり読もう。ところで、hontoでこのシリーズを買っているのだけれど、1～3巻のシリーズを持っているところに、新たに1～4巻のシリーズが別にできているのはどういうことだろう…。出版社が変わったとかもなさそうだけど。何かの設定ミスだったら気付いてほしいけど、問い合わせ先もないしなー、というわけでここに記す。