|
|
||
すべて | グループ指定なし | 個人的リソース ”Literatur und Fetischismus” | TeX, DTP | 関係者 | Fatal | web | Others
1 認知症
2 コスプレ
3 メンタル
4 ネット・IT技術
5 経営・ビジネス
6 仮想通貨
7 フィギュア
8 発達障害
9 歴史
10 中国語
ブログ記事を読む
『装甲騎兵ボトムズ 灰色の魔女(ヘクセ)』キャラクター・キャスト追加情報
ブログ記事を読む
ブログ記事を読む
ブログ記事を読む
ブログ記事を読む
『装甲騎兵ボトムズ 灰色の魔女(ヘクセ)』新トレイラー・スタッフ・キャスト情報公開 ストーリーは『鋼鉄の猟犬』風?
ブログ記事を読む
ゲーム『機動警察パトレイバー the Case Files』発売日が2026年9月17日に決定
ブログ記事を読む
ブログ記事を読む
ブログ記事を読む
シバシゲオの本が発売
ブログ記事を読む
カテゴリ
サイトインフォメーション (15)
押井守 (644)
装甲騎兵ボトムズ 灰色の魔女(ヘクセ) (6)
天使のたまご (23)
火狩りの王 (9)
ビューティフルドリーマー (9)
ぶらどらぶ (40)
血ぃともだち (10)
キマイラ (2)
GHOST IN THE SHELL / イノセンス
2026-10-07
Qwen | Ehrenfeucht–Fraïssé の基本定理と証明
数理論理学(特に模型論)の学習、お疲れ様です。Ehrenfeucht–Fraïssé game(エーレンフォイヒト・フライセ・ゲーム、略称:EFゲーム) は、模型論において非常に美しく、かつ強力なツールです。
一言で言えば、「2つの数学的構造(モデル)が、1階述語論理の言葉で区別できるかどうかを判定するための2人プレイヤーによるゲーム」 です。
論理式の構文(量化子の数など)を、直感的な「ゲームの回数」に置き換えて考えることができるため、「ある性質が1階述語論理で記述できないこと(非表示可能性)を証明する」 ために頻繁に用いられます。
以下に、ルールから定理、具体的な例、そして応用まで詳しく解説します。
1. ゲームの基本的なセットアップ
EFゲームは、同じシグネチャ(語彙:関係や関数の記号のセッ
Litterature, Novel
アクロイド殺し再読
大昔に筑摩書房から出ていたピエール・バイヤールの『アクロイドを殺したのは誰か』(大浦康介訳)。最近になってハヤカワ文庫NFに入り、ベストセラーになっているみたいですね。これは未読だったので、ぜひ読もうと思い、その前にほぼ忘れているクリスティの「アクロイド殺し」本編を、kindle unlimitedに入っている『アクロイド殺人事件』(松本恵子訳)で読み直しました。もとは1957年刊の角川文庫のもので、訳文はいささか古めかしいのですが、たぶん昔読んだのもそのあたりだったと思います。今読むと、なんだかとっちらかった話だったのだなあ、と改めて思いました(失礼)。
https://link.amazon/B03qeP0ZG
で、そのバイヤール本ですが、これはまさに一本取られましたね!近年、文学探偵ものと言うことで、『謎解きエドガー・アラン・
2026/10/01 秀丸ファイラーClassicがVer2.21にバージョンアップしました
<< 2026年09月 >>
1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30
(09/26)舟釘2
鍛冶修業(123)
2026年09月(1)
2026年09月26日
舟釘2
前作者による舟釘を見本に
我が作の舟釘を作ってみた。
右が前作、左が我作。
どやろか?
素材や寸法などは
だいたい分かってきたかなあ。
あとは手順だなあ。
1500本も作るからなあ。
効率のいい作り方を考えないと。
【関連する記事】
舟釘
5寸博多鋏、販売
5寸博多鋏、完成
博多式テープカット
かきべら
posted by アサケン at 15:22| Comment(0) | TrackBack(0) | 鍛冶修業 | |
動画一覧
4月1日(金)午前9時以降にまたのお越しをお待ちしております。
これから もよろしくお願いいたします。
Anubis could not load its JavaScript. The server may be overloaded. Please reload the page to try again.
This website is running Anubis version v1.27.0.
MENU
ミッション
ギャラリー
事業
沿革
つながる
アクセス
X IG
ALT-FETISH — RUBBER LIFESTYLE STUDIO / EST. 20XX
第二の皮膚を、
まとう悦び。
ラバースーツという第二の皮膚が生む圧迫感、艶、匂い。その快さと安全な扱い方を、20年以上かけて言葉にしてきました。
体験する 商品購入 Scroll ↓
MISSION
体験の質を上げ、快を安全に、人をつなぐ。
EXPERIENCE / 体験
着る悦びの質を、高める。
選ぶ商品、撮る映像、迎える接客。着るという体験の、ひとつひとつの解像度を上げていく。
SAFETY / 安全
快刺激を、安全に届ける。
圧迫感、体温、呼吸。ラバースーツが身体に与える感覚と向き合い、快刺激を安全に得られる知識と場を用意する。
COMMUNITY / 交流
隣接する文化と、架け橋になる。
ラバー愛好家同士はもち
Test Post Created
2026/7/21 雑記
Test Post Created
Test Post Created
2026/7/21 雑記
Test Post Created
Test Post Created
2026/7/21 雑記
Test Post Created
Test Post Created
2026/7/21 雑記
Test Post Created
Test Post Created
2026/7/21 雑記
Test Post Created
Test Post Created
2026/7/21 雑記
Test Post Created
Navigating yolo247 feels less like a gamble, more like intuition at play
2026/7/21 雑記
Decoding the Approac
シャキシャキの食感とツンとした風味がたまらない
らっきょう炒飯
鳥取産のらっきょうを八百屋さんにて。サイズは3段階あるので中サイズにしました。 根をつけたまま、土、泥を落としてきれいに洗い 塩と一緒に混ぜて水、酢で浸し一週間ほど保存袋にいれて下積けしました。 こちらは醤油漬け。 昨日は餃子作り。ニラやキャベツ、香味た…
ほんの少し
夏
お世話したその先に成長が見られたら嬉しい
見返りが欲しかったら、植物を育てればいい
お世話したその先に成長が見れたら嬉しいだろうなと思って、ゴーヤとアボガドを育てている。アボガドが芽がでるまで時間がかかったけど、ゴーヤは3日ほどで発芽。 ヨシタケシンスケ「暑かったらぬげばいい」を思い出した。 見返りが欲しかったら、植物を育てればいい …
人生所感ブログ
スーパーとたこ焼き屋を同時に攻略……そこまでできるかな
たこ焼きは本命か
好きな練り物がある。たこと紅生姜
編み物知識ゼロから編み機(brother KH-821)をやるブログ
雑記
姿勢が悪い、腰が痛い、骨盤が歪んでる? 下駄を履け!
一本下駄を履いてくれ
げたを履はか◦せる 1 価格を高くいつわる。また、数量・点数などを水増しして、実際よりも多く見せる。「点数に―◦せて及第させる」 下駄を履かせる(ゲタヲハカセル)とは? 意味や使い方 - コトバンク 下駄を履く 坐骨が立つ・腰が楽になる あのさ、下駄だから。下駄だ…
棺にコスメ
サーティーワンはマリオ、ハインツはピカチュウとコラボ
この広告は、90日以上更新していないブログに表示しています。
お知らせ 【gooブログからの移行がまだの方へ】画像データ移行を確実にするために10月末日までにインポート手続きをお願いします
『チーム・オベリベリ』。女の強さを生き生きと描いている
最近読んだ北海道の本
札幌に引っ越してから相も変わらず、北海道の本を貪るように読んでいる。懸念していた「移住して北海道への熱が冷めやしないか」という事項は杞憂だったようで、かえって興味が増す一方だ。考えてみれば当然で、それなりの覚悟を持ってこっちに来たのだ。勤めていた会…
池と沼は同じだった
media
いっそオランダへ。鏡面仕上げの建築は近年の流行り?
大阪とオランダと
ロッテルダムの「デポ・ボイマンス・ファン・ベーニンゲン」の外観は、大量のミラーパネルを全身にまとったお椀型フォルムという、なんとも異様なもの。湾曲した周辺の風景の映り込みに加えて、高木の屋上緑化も違和感この上ない。ダッチデザインの面目躍如た
Smartphone DealsGala
Smartphone DealsGala
Smartphone DealsGala
この広告は、90日以上更新していないブログに表示しています。
おれのこと
読者になる
市川哲也の日記 ALT-FETISH.com
読者になる
winny.info別館
読者になる
cafe unidentified generation
読者になる
keywordmaniacの日記
読者になる
脳味噌サラダ外科手術
読者になる
fenestrae
読者になる
更紗眼鏡
読者になる
Vanity.
読者になる
誰かが屋上から投げる風
読者になる
夜の花が咲く頃に
読者になる
ネ タ の タ ネ
読者になる
独断と偏見に満ちた戯言
読者になる
愛・蔵太の気になるメモ(homines id quod volunt credunt)
読者になる
備忘録
読者になる
絶叫機械
読者になる
hazuma 2013-12-26 00:09 読者になる
東京大学 大学院数理科学研究科 教授
▼ ▶
2013
2013 / 11
2013 / 8
▼ ▶
2011
2011 / 9
▼ ▶
2008
2008 / 6
2008 / 5
2008 / 4
2008 / 3
2008 / 2
2008 / 1
▼ ▶
2007
2007 / 11
2007 / 10
2007 / 9
2007 / 8
2007 / 7
2007 / 6
2007 / 5
2007 / 4
2007 / 3
2007 / 2
2007 / 1
▼ ▶
2006
2006 / 12
2006 / 11
2006 / 10
2006 / 9
2006 / 8
2006 / 7
2006 / 6
2006 / 5
2006 / 4
2006 / 3
2006 / 2
2006 / 1
▼ ▶
2005
2005 / 12
2005 / 11
2005 / 10
2005 / 9
2005 / 8
2005
更
新
停
止
「カミ」なき時代の影向図──「かげ」の論理
田中純 (2021年12月 2日 19:58)
Tweet
『UP』12月号に寄稿しました。連載「イメージの記憶」の第66回です。 書誌情報は田中純「「カミ」なき時代の影向図──「かげ」の論理」、『UP』590号(2021年12月号)、東京大学出版会、2021年、41〜47頁。
2021年12月
26 27 28 29 30 31
「カミ」なき時代の影向図──「かげ」の論理
2021年12月 (1)
Essays (189)
MYTEATIME.NET
This domain is available for sale!
Get a price in less than 24 hours
Fill out the form below. One of our domain experts will have a price to you within 24 business hours.
First Name *
Last Name *
Email *
Phone *
By submitting and clicking Get Price, you agree to our Privacy Policy.
Get Price
Need a price instantly? Contact us now.
1-855-646-1390(Toll Free in the U.S. and Canada)
+1 7
© Yahoo Japan
© Yahoo Japan
© Yahoo Japan
FAQ / お問い合わせ窓口
EVILが神宮大会で仕掛けてくるサプライズ
NJPW FUN
2020-08-29 08:00:07
Rust 1.46を早めに深掘り
OPTiM TECH BLOG
2020-08-28 08:00:11
「プロゲーマーになろうとした社会不適合者のありがちな話」の増田さんへ
いつか電池がきれるまで
2020-08-28 14:04:20
デスマスターのエンドコンテンツでの扱い方(主に邪神・防衛軍)
くむのなんとなくきまぐれに。 自由奔放な人の日記。
2020-08-28 06:40:36
NBAのボイコットについて
SOUL * BLACK MOVIE * ブラックムービー
2020-08-28 23:36:13
それでも人は宇宙を目指す―『メテオノーツ』感想
新・怖いくらいに青い空
2020-08-29 02:16:28
誰がトランプに投票したのか? ポピュリズムと社会資本
himag
思いは言葉に。
初めての方へ
はてなブログとは
はてなブログPro
使い方講座
おすすめ記事
新しいニセ医学「新型コロナ否認主義」
NATROMのブログ
2020-06-15 11:30:02
標準的な医学的知見を否定する名誉教授と市議会委員 日野市議会委員の池田としえ氏が、2020年6月8日に「新型コロナに…
500円で40分間の虚無を体感できる!『Dungeon Shooting』レビュー!【Switch】
絶対SIMPLE主義
2020-06-15 15:45:06
熱中症予防に温湿度計を!
ちきりんセレクト
2020-06-15 15:05:25
K値とゴンペルツ曲線は同じ(形式で表現できる)
HPO機密日誌
2020-06-15 11:48:36
データベース設計の際に気をつけていること
食べチョク開発者ブログ
2020-06-15 13:25:18
天才編集者の箕輪厚介氏がコン
ガンダムになりたい。
March 2020
293031
まもなく『ドルフィン・マン』がUPLINK吉祥寺で公開されますが、関連する拙論を公開します
「Amazonライブリンク」は提供を終了しました。
大学院生・ポスドク、若手研究者の方々が将来について真剣に考えられる場を目指します。
Last Update:May 5th, 2015
今週の「博士の生き方」
雑感:2015.5.5 「ホームページを開設して12年が経ちました。」2015.5.5
案内
※「博士の生き方」では、博士に対しての大学のキャリアサポートの取り組みを後押ししております。大学の方で、「博士の生き方」ホームページ上にキャリアサポートセンターの案内の掲示を希望される場合は下記にご連絡ください。
webmaster@hakasenoikikata.com(「博士の生き方」管理人 ※@は全角にしています。メールを送られるときには半角に変えてください)
このホームページについて:
「博士の就職は難しい」このようなことを大学にいてよく聞いてきました。私は思うところあり、企業への就職という選択をしましたが、実際に就職活動をしてみて
検索中のページは、削除されたか、名前が変更されたか、
または現在利用できない可能性があります。
https://gate.sings.jp/member/
このホームページを開いてから、
表示したい情報へのリンクを開いてください。
※)自動的に上記のページにジャンプします(5秒後)
ご指定のURLが間違っているか、ページが削除された可能性があります。
リンク先のURLとサーバーにありますファイルを今一度ご確認ください。
The requested URL was not found on this server.
1Q84ニュース
ブログパーツ
『Q』の世界
村上春樹 作品紹介
1Q84マップ
1Q84 文庫
2013.04.25 [1Q84ニュース]『小澤征爾さんと、音楽について話をする』を聴く!
2013.04.01 [1Q84ニュース]村上春樹さんの公開インタビューが行われます
2012.07.06 [1Q84ニュース]1Q84×Yonda?
2012.04.05 [1Q84ニュース]「Q」が並ぶ書店の風景
2012.03.29 [1Q84ニュース]1Q84デー
本サイトで使われているすべてのテキスト、画像などは、著作権者の許諾なく著作物を利用することが法的に認められる場合を除き、無断使用、無断転載を禁止します。
404 Not Found
指定されたページが見つかりません。以下の状況が考えられます。
指定されたページがない。
ページ(ファイル名)が変更されている。
@nifty top リンク・著作権について | 個人情報保護ポリシー
Copyright©.2011 NIFTY Corporation
ページ移転のお知らせ
ご指定のホームページは下記のアドレスに移動しました。
ブックマークなどの登録変更をお願いします。
http://oquba.world.coocan.jp/
※10秒後に自動的に移転先のページにジャンプします。
★↑ TeX 関連情報をご提供ください(ユーザ名・パスワードは左の赤色の文を参照).
URLの移動が考えられます。
↓
http://www.hiroshima-net.co.jp/~〇〇〇/
※指定されたページ(URL)へのアクセスは禁止されています。
• URLに間違いがないか、再度確認してください。再読み込みしてください。
• ご利用中のユーザー様は【ロリポップ!よくある質問集】をご参照ください。
• 疑問点等ございましたら【ロリポップ!お問合せフォーム】よりお問合せください。
ロリポップ!レンタルサーバー
あけましておめでとうございます:移転しました
・不具合やご要望などございましたらご意見箱にてぜひお聞かせ下さい。
2007年07月05日
人生のアトラクション、ハード過ぎる説
すすすすすすごい大役を仰せつかってしまい、あっぷあっぷしている次第だ、次第です。
結婚式の様子を事細かにSATUEIし、それをアレせねばならぬ。私は中学生の頃合宿だかの感想文で「敷地内に蜘蛛が多かった」などと私以外の人間と分かち合うことが不可能な事象を克明に記し、「目の付け所が違うな」と父に大喜びされると同時に母に身も世も無く心配だか絶望だかされた男だぜ。式の最中に何か人の顔に見えなくもない木目だかなんだかに注意を攫われでもしたら……。
ちなみに三者面談では「ゆ君は最近、アルファベットを小さく書けるようになってきました」と褒められた男だぜ。私が行ってたの、進学校だったのに。職場でもまだ何もしていないってのに「奇才っぽい」とか、アンタッチャブルな扱いを受ける男だぜ。
そんでSATUEIするためのビデオを預かったのだが、プチ・デスマ
<前の5日分
2008-11-25
久しぶりに舞台に舞い降りた気分だわ。
晴れ舞台とは言うんですけれども…だとしたら、褻の時に登るべき、或いは居るべき場所はどこなのかしら?
■過去の記憶と今の差違の量を懐かしいっていうのよね?
お題は二つよ。まずはこちらから。よろしくってかしら?
http://slashdot.jp/linux/08/11/25/0657209.shtml
懐かしい、SCO様のお話よ?
あたしも確か、ずいぶんと初期の頃に取り上げた記憶があるわね…
http://d.hatena.ne.jp/Lucrezia/20050912#p1
http://d.hatena.ne.jp/Lucrezia/20040713#p1
http://d.hatena.ne.jp/Lucrezia/20040329#p1
http://d.hatena.ne.jp/Lucrezia/20
「silva speculationis - 思索の森」は再度引っ越しました。
新しいサイトはhttp://www.medieviste.org/です。ブックマークの変更をお願いします。
6秒後に新しいアドレスに移動します。自動的に移動しない場合は上のアドレスをクリックしてください。
Not Found
The requested document was not found on this server.
Web Server at muellerscience.com
404 Not Found
要求されたページがみつかりませんでした。
URLをお確かめの上、アクセスをお願い致します。
Doblog.com トップへ
Copyright © 2009 NTT DATA CORPORATION ALL RIGHTS RESERVED.
”Colorful Noisy Nightmare” is drifting on the narrow gray sea.
2006/11/30
長い間レンタルしておりましたSo-net U-page Proサービスが本日をもって終了するのに併せて、
当サイトの更新も本日で終了となります。
移転して再開する予定はあるのですが、現状全く更新していないで移転もなあ…という思いもありまして
いましばらくお時間を頂きたいと思います。
とりあえず林檎のページだけは早めに復活させるべきかなあとか考えています(笑)。
最近はミクシィに出たり入ったりしておりますので、
移転時のアナウンスはそちらで行うことになると思います。
暇で暇でしょうがない方は遊びに来てください。
http://mixi.jp/show_friend.pl?id=755742
ろくな日記書いてませんけども。ええ。
それでは、8年間も
未来の新聞社サイトの(誇大?)妄想・・ 2004/09/02(木)
なんつータイトル・・いや単に最近始まったGoogleニュース日本を見ていたら、ちょっと妄想してみたい衝動に駆られただけです。カテゴリ通り、ウェブの話です。
さて、昨日は、都内の書店をまわって、拙著、
わたし的には意外な展開でした。
しかし!赤羽駅の構内の書店では女性のライフスタイルコーナーに
これが一番しっくりくるなあ。
Since, 22/9/1998
学生、この弱き立場
キャンパス・ハラスメント
阿部道生
このコーナーの作者へのメイルはこちらです。相談・情報・提案、なんでもうけつけています
就実大学薬学部の見尾先生が、学生からの相談を受け付けるボランティアを
ひきうけてくださいました。メールアドレスは
mitzu_mjp@yahoo.co.jp
です。
福岡教育大学の西崎先生が、学生からの相談を受け付けるボランティアを
ひきうけてくださいました。メールアドレスは
nisizaki@fukuoka-edu.ac.jp
です。
事例
キャンパス・ハラスメント
このサイトで扱っている「学生の権利」関係の事例にみられるような構造について、「キャンパス・ハラスメント」という言葉を御提案頂きました。言葉は概念であり、そこに整理された枠組みをもたらします。ここに、「キャンパス・ハラスメント」の定義を試みてみます。
も