母音を伴わない語末の -t を「トゥ」とすることも不可能ではない。 -d は「ドゥ」とする。こうすれば、語末の子音はすべて -u を付加することになる。
2026-10-26 (1) 01:56:03 +0900
2026-10-26 (1) 01:11:34 +0900
2026-10-26 (1) 01:02:33 +0900
「シニョーロ」のようでいいんだ。「シンヨーロ」かなとも思ってきた。
2026-10-25 (0) 23:07:27 +0900
直訳すれば「群の射」である。「準同型」にはフランス語版はない。
2026-10-25 (0) 23:01:34 +0900
f(AB) = T(AB) = TBTA = f(B)f(A) となるから n > 1 では群の準同型写像ではない。
Google に尋ねたら、反準同型 antihomomorphism と呼ばれるそうだ。Wikipedia 英語版には立っている。
一般の群で f(g) = g-1 と定義してもこれの例になる。 群が SO(n) なら上にあげた例と同じことだ。
2026-10-25 (0) 22:46:41 +0900
ウィキペディア「交響曲第5番 (ベートーヴェン)」から引用する。
提示部では、第2主題が提示される直前に、 ハ短調の主和音(C、Es、G)からC、Es、Ges、Aからなる減七の和音に移行し、 それが変ホ長調のドッペルドミナントとして機能し、 変ホ長調の属和音に解決して、第2主題がハ短調の平行長調の変ホ長調で現される。 対して再現部では、対応する箇所で、 ハ短調の主和音(C、Es、G)から同じ減七の和音に移行するが、 Gesが異名同音のFisで表記され、 今度はそれがハ長調のドッペルドミナントとして機能し、 ハ長調の属和音に解決して、第2主題がハ短調の同主調、ハ長調で再現される。
きのう 《ベートーベン「ピアノソナタ《悲愴》」の冒頭小節に減七の和音が》 で見たのと同じなのは再現部のほうだ。それを普通と呼ぶなら、 提示部ではエンハーモニックな読み替えをしていることになろう。 音楽を勉強した人が聞くと、ふわっとした感じがするのだろうか。 (讃美歌で属調に転調するとそんな感じがする。)
2026-10-25 (0) 22:09:51 +0900
Google に尋ねてみた。 代走で一塁に出て二盗、三盗するのが印象に残っているが、一シーズンだけだった。
2026-10-25 (0) 21:11:57 +0900
「那須与一」などでネット検索してしまった。 (ウィキペディア「弘前大教授夫人殺し事件」などが関連する。)
2026-10-25 (0) 18:05:36 +0900
ああいうのは、教科書には適さないと思う。 もうわかったので、そういうのは見ずに飛ばすことにしている。
2026-10-25 (0) 17:57:06 +0900
この時間帯は、値引きシールの貼られる時間帯である。 スタッフがシールを貼っていたのでほかを一回りしてきたが、まだ貼っている最中である。 おにぎりを一つ手に取ったら、スタッフが、ちょっと、と言ってそれを手に取り、 機械を当てたら値引きの対象だったらしく、値引きシールを貼ってくれた。 前とは異なり、値引き対象だという印のシールと、バーコードの上と、二つシールを貼るのである。 大変ですね、などと世間話をした。 もう一つのおにぎりも値引きしてくれた。
レジはセルフレジが主体となった。そのおにぎりのバーコードを当ててみると、正しくない、と言ってくる。 そのスタッフがきてくれて、最初に押すところを押していなかったことが判明。 あとはうまく行った。カゴは入口に戻しておきますね、と言って戻して店を出た。
2026-10-25 (0) 17:43:15 +0900
たとえば、-ic で終わるがアクセント位置が例外である単語の例 heretic なら、 「heretic, heretic, heretic」と唱えて、それで覚えてしまえ、というのである。
2026-10-25 (0) 16:35:59 +0900
…あれはバプテスマのヨハネに関連するのであって、エリヤとは直接には関係しない。 英語版にはない。
2026-10-25 (0) 16:30:16 +0900
やっぱり関係ない、って。
2026-10-25 (0) 16:14:57 +0900
hate na no cjawañ(はてなの茶碗)とか。
2026-10-25 (0) 14:54:49 +0900
『第七』『第八』は緩徐楽章を欠くから。
2026-10-25 (0) 14:49:58 +0900
きょうづけ朝日新聞大阪本社版 be の、飯間浩明氏の「街のB級言葉図鑑」。
かつて、radio を「レイディオウ」でなく「ラジオ」と読むことにした私たちです。 英語の原音より、直感に近い語形が覇権を握るのも不思議ではありません。
英語からだとしても、ラテン語の形を考えに入れて決めたものかも知れない。
Google に
「radioを借用した語を「ラジオ」としたのは、発音に無知だったからでしょうか、語源となったラテン語などを考慮してでしょうか」
と尋ねてみた。
「radio」を「ラジオ」と表記・発音するようになったのは、発音に無知だったからではなく、
当時の日本の外来語受容の歴史や、仲介した言語(オランダ語やドイツ語)の影響によるものです
で始まる答えが返ってきた。
2026-10-25 (0) 13:22:11 +0900
ネットの上では (天声人語)高市首相のG7欠席:朝日新聞 で最初のほうだけが読める。
hataraki kakeru(働きかける)。
jobi kaketa(呼びかけた)。
saki hokoru(咲き誇る)。
nawabari arasoi(縄張り争い)。
2026-10-25 (0) 12:40:55 +0900
私が考えるのは、何か問題を起こす人たちがいる、行政が対策を考える、 その対策のすき間をねらってまた問題を起こす人が出る、行政が……といったくり返しだ。 それに当たる意味ももちろん載っている。
2026-10-25 (0) 11:55:33 +0900
誰それにはカリスマ性がある、というような言い方が、カリスマがある、というように変わってきているのでは。 きのうづけの朝日新聞大阪本社版オピニオン面「交論」で気づき、 朝日新聞のサイトで「カリスマ」を検索してみたら、そのようだ。 このほうが、元のことばの意味に近いようだ。
誰それはカリスマだ、は明らかに本来とは違う言い方である。
2026-10-25 (0) 11:26:24 +0900
太鼓をたたくと、なぜマラソンの応援になるのかは不明。
2026-10-25 (0) 10:56:56 +0900
金沢マラソン2026。 リロードしてみられたし。
2026-10-25 (0) 10:48:27 +0900
2026-10-25 (0) 09:21:22 +0900
被災者に中腰で寄り添われる陛下とあるが、腰によくない
被災者に中腰で寄り添われる陛下 国民との距離近付いた戦後の天皇「役割さらに重要に」 皇室と日本 現在地を探る�� - 産経ニュース。
写真がのっているが、腰によくなさそうだ。被災者同様、いすに座って話せばよいのに。
2026-10-25 (0) 09:05:16 +0900
「水の駅」とでもしたらどうか。
2026-10-25 (0) 08:48:26 +0900
暗い。新聞が読みづらい。
2026-10-25 (0) 08:44:07 +0900
BIGLOBE障害・臨時メンテナンス情報(現在発生中):BIGLOBE会員サポート。
終了日時は確認中
、最終更新日時は2026年10月25日 08時00分 時点で更新はありません
。
2026-10-25 (0) 08:10:31 +0900
kjô zuke 毎日 Siñbuñ ni noqta (hazu no) dai 3985 kai. kjô no uci nara neqto no ue de mo jomeru.
(1) お母さんのサイン会。通りすがりの人A,あそこでサインしている人だあれ? 同B,誰かしらねえ…。 (2) B,とりあえずサインもらっておいたら。いつか値上がりするかもしれないし。A,そうだね。 (3) A,お母さんにサインを申し込む。お母さん、ハーイいらっしゃーい♡。 (4) B,結局誰だったの。A,わからない。サイン読めないし。 文字列「教訓 サインは読めるように書こう」に作者のサインが見本として付いている。
「誰々先生サイン会」と看板を出すものじゃないの。単に「サイン会会場」とだけ書いてある。
本を買わないとサインがもらえないものじゃないの。
四コマめ。サインは色紙に書かれたようだ。 読めないサインなので、誤って上下逆さに持っている可能性があるのでは。 本にサインする場合はそれはない。(読めない文字で書かれた本でない限り。)
とりあえずお客さんがきて、サイン会は成功、といったところか。
2026-10-25 (0) 00:33:39 +0900
2026-10-24 (6) 23:08:43 +0900
《名前「芳和」をかなで「よしかづ」としている人のふりがな [... hurigana]》 は現代かなづかいだけど。
2026-10-24 (6) 22:42:32 +0900
十年以上音信不通の知人が suggest されて驚いた。個人情報がつつ抜けなのか?!
2026-10-24 (6) 22:16:53 +0900
2026-10-24 (6) 21:40:27 +0900
……なった。猫が中心のアニメ。
2026-10-24 (6) 21:32:40 +0900
2026-10-24 (6) 21:19:15 +0900
もうそんなに昔か!
2026-10-24 (6) 21:15:58 +0900
正木は氏(姓)。
2026-10-24 (6) 19:58:27 +0900
C-Es-G の主和音に Fis-A-C-Es の減七の和音が続き、G-H-D の属和音にいたる。
ネットで調べると、根音の D が省略されているとのこと。属和音の属和音、ということか。
2026-10-24 (6) 19:07:15 +0900
2026-10-24 (6) 18:49:26 +0900
2026-10-24 (6) 18:48:32 +0900
2026-10-24 (6) 18:37:31 +0900
2026-10-24 (6) 18:00:03 +0900
d2y/dx2 と微分形式の理論との関係を問うたのだが、要領を得ない。
2026-10-24 (6) 17:58:21 +0900
「××××のリーマン予想の反例は実部=1/2のとき0にならない、と言っているようです」 (「××××」は実名)と、Google に投げてみました。
リーマン予想の主張は、「リーマンゼータ関数のすべての非自明な零点(値が0になる複素数)の実部は 1/2 である」というものです。 もし「実部が1/2のところで0にならない」という事象があったとしても、それはリーマン予想の反例にはなりません。
- リーマン予想が崩れる(反例となる)条件: 「実部が 1/2 ではない場所(例えば 実部 = 0.6 など)で、値が 0 になる点(零点)」が見つかること。
- 実部 = 1/2 で 0 にならない点: 実部が 1/2 の直線(クリティカルライン)上であっても、値が 0 にならない点は無限に存在します(むしろ0になる点の方が特殊です)。 そのため、0にならない点が存在することは数学的に当然であり、何の反証にもなりません。
しっかり論理を理解している。
2026-10-24 (6) 17:37:14 +0900
一日 100 字のおさらいをすれば、約二週間で一巡する。
2026-10-24 (6) 16:42:46 +0900
第一ストロークと第二ストロークを逆にする。左左打ち、右右打ちで、左右逆の指で打つ。
2026-10-24 (6) 16:41:02 +0900
cat, cap, capacity, gap, guarantee, gallery.
category, bat, gallon, salary.
思いつくままに挙げたのみ。
2026-10-24 (6) 16:33:40 +0900
2026-10-24 (6) 19:42:10 +0900
……と Google に尋ねてみたが、うまく答えてくれない。
年表にしているサイトを見て、1961 年がそれらしいと知り、 ウィキペディアで調べてみた。
読売、阪神、中日、国鉄、広島、大洋。 阪急、近鉄、南海、西鉄、東映、で完成かと思ったら、のちのロッテが毎日大映だった。
1964 年は? 読売、阪神、中日、国鉄、広島、大洋。 阪急、近鉄、南海、西鉄、東映、東京。見つかった。
(チーム名は順不同。1964 年のを調べるにあたっては、Edge の「履歴」機能が役に立った。)
「1964年のプロ野球チーム名(愛称を含めず)はみな漢字二文字ですか」と尋ねてみた。
いいえ、1964年のプロ野球チーム名(企業名・地域名)は、すべてが漢字2文字だったわけではありません。
(データは省略)
ご覧の通り、この年はセ・リーグの6球団、パ・リーグの6球団のすべてのチーム名が「漢字2文字」に揃っていました。 したがって、ご質問への直接の回答としては「はい、すべて漢字2文字です」となります。
(少し省略)
1963年まで:パ・リーグに「毎日大映(オリオンズ)」という漢字4文字の球団がありました(1964年に「東京オリオンズ」へ改称)。
1965年から:セ・リーグの国鉄スワローズがシーズン途中に売却され、「サンケイ(スワローズ)」というカタカナ4文字の球団が誕生しました。
1964年は、プロ野球の歴史の中でも非常に珍しく、全12球団の企業・地域名がきれいに漢字2文字で統一されていた年となっています。
なんかおかしいけど、まあ、いいや。
2026-10-24 (6) 16:32:23 +0900
伊佐治は氏(姓)。
2026-10-24 (6) 16:03:35 +0900
「すな」は古文。
2026-10-24 (6) 16:00:23 +0900
特に注意されていないところを見ると、ないんだろうな。
2026-10-24 (6) 15:36:03 +0900
2026-10-24 (6) 15:12:13 +0900
ネットの上では (天声人語)村上龍さん逝く:朝日新聞 で最初のほうだけが読める。
miwataseru(見渡せる)。mi- が一モラだから切らない。
hatameita(はためいた)。この「はた」は名詞だから切らない。
buñgaku zuki(文学好き)。
mukidasi(むき出し)。動詞 muki dasu は切る。
hitori hitori(一人ひとり)。これは切ったほうがよいだろう。
jobi kaketa(呼びかけた)。
2026-10-24 (6) 14:49:03 +0900
2026-10-24 (6) 13:00:03 +0900
Google に 「「困ったときはこれを売りなさいと母から残された宝石がガラス玉だった」という小説の題名は」 と尋ねてみた。
お尋ねの「困ったときはこれを売りなさいと母から残された宝石がガラス玉だった」というストーリーは、 特定の非常に有名な一本の小説の題名というよりは、 古今東西の短編小説や落語、ネット上の創作小話(ショートショート)などでよく使われる定番のプロット(プロットの類型)です。
2026-10-24 (6) 12:18:22 +0900
二三日前に、不動産屋に切れていると伝えたのだった。 どの電灯だかが誤って伝わっていたらしく、きょうはランプの手持ちがないので後日になる、と言われた。 それはよいのだが、夜だけ点灯するはずのランプがなぜついているのだろう、と不思議に思った。 建物入り口のタイマーのような装置がいじられているようなのに気がついた。 暗くなるとつくのではなく、決まった時刻になるとつくのであろう。 そして、その時刻を一時的に変えて全ての電灯をつけ、つかない電灯を判別した、と推理した。
2026-10-24 (6) 11:54:22 +0900
この下で新聞を読めば、電気代がかからない。 しかし、そうする気はない。
2026-10-24 (6) 17:24:11 +0900
竹井は氏(姓)。
2026-10-24 (6) 00:44:19 +0900
kjô zuke 毎日 Siñbuñ ni noqta (hazu no) dai 3984 kai. kjô no uci nara neqto no ue de mo jomeru.
(1) 担当さん、単行本も出たことだしサイン会やりましょう。お母さん、サ…サイン会? (2) お母さん、お客さんくるかしら…ああ〜心配〜〜。 おばあさん、町内会で回覧板回すよ! (3) ハル、ボクも学級新聞に書くよ! おばあさん、うーん…、あとは…。 (4) 高札が立った。お母さんの顔写真に「サイン会!」と書いてある。お母さん、おたずね者じゃないんだけど…。
高札が奇抜だ、というだけのオチだよね。
サイン会に人がこないと、何か問題なのだろうか。
《桜田です!>連載の 不倫プロット 相談を ひとに聞かれて 誤解され》 でわかったように、お母さんの書く漫画の読者は、主婦が中心ではないか。 町内会の回覧板はともかく、学級新聞で知らせても、効果があるとは思えない。
高札の図柄だが、お母さんの顔をのせてもしかたがないだろう。 お母さんの書いている漫画の登場人物の絵、それに「華小路夢香」というペンネームを書かなくては。
こういうとき、漫画を書いている力士たちは役に立たないかね。あとは飼いネコ正太郎の仲間たち。 それに村田春夫さん。
場所は書店かな。書店が店頭に出す宣伝は効果が大きいのではないか。
2026-10-24 (6) 00:09:10 +0900
高峰登山中に不明の邦人男性2人か、ネパールで遺体発見 19日から捜索 - 産経ニュース。
15日に7050メートル地点まで到達したと連絡があったのを最後に所在が分からなくなり、19日から捜索が実施されていた。
地元メディアによると、遺体が見つかったのは標高6300メートルの地点だった
。
登山中に滑落、ということも考えられるが。
2026-10-23 (5) 23:40:46 +0900
2026-10-23 (5) 23:37:56 +0900
2026-10-23 (5) 22:32:51 +0900
指導者としての実績はまだないのだから。
2026-10-23 (5) 19:37:31 +0900
摩擦力は。速度に比例すると思っているんだ
2026-10-23 (5) 19:23:15 +0900
2026-10-24 (6) 18:46:29 +0900
コンビニの店頭で、後の月を見ながらたたずんでいたら、自転車を降りた若い女性にあいさつされた。 よく見たら、同じアパートに住んでいる、女子学生だった。
2026-10-23 (5) 17:43:53 +0900
ネットの上では
(天声人語)うるう秒の廃止:朝日新聞
で最初のほうだけが読める。
(内田百けん
と書いているが、「内田百閒」と書ける。)
tomari koñda(泊まり込んだ)。
gatañgatañ to, gatañ-gatañ to, gatañ gatañ to(がたんがたんと)。
hasiri dasu(走り出す)。
josojososiku(よそよそしく)。
taci jukanai(立ち行かない)。
《うるう時が数百年から数千年に一度。時刻が一時間近くずれた状態が長く続く》といった局面は、考えていないようだ。
2026-10-23 (5) 15:19:03 +0900
一般人は元のつづり字に戻らず、カナ表記だけを見て発音するだけ。
2026-10-23 (5) 11:47:02 +0900
kjô zuke 毎日 Siñbuñ ni noqta (hazu no) dai 3983 kai. kjô no uci nara neqto no ue de mo jomeru.
(1) 漫画を書いているお母さんのところにハルがきて、ハロウィーンだからお菓子ちょうだーい♡。 お母さん、ハロウィーンも何だかわからなくなってるわねー。お菓子祭り? (2) お母さん、ハロウィーンってホントはすごーく怖いものなのよ、と言ってフフッと笑う。 驚くハル、 (3) どんな話なの? オバケ出てくる!? ゾンビは? つまってしまったお母さん、おばあさんに、 え…それは…ねえおばあちゃん。振られたおばあさんも、え…。 (4) おばあさん、ハロウィーンは…ええと…昔々ある所におじいさんとおばあさんが…。えへへ、とごまかそうとする。 ハル、え〜〜そんな話なの!? 「ハロウィーンむかし話」の文字列。
知ったかぶりはするものではない、という教訓か。面白いところがあるとは思えない。 ネットで調べればいろいろわかると思う。
ハルは、飼いネコ正太郎の顔の描かれたTシャツを着ている。
ハロウィンのネタはおよそ一週間早くないか。この漫画は、ネタが古いことが多いのだが。
2026-10-23 (5) 09:33:13 +0900
乗松は氏(姓)。
2026-10-23 (5) 00:37:09 +0900
2026-10-23 (5) 00:00:23 +0900
2026-10-22 (4) 22:47:58 +0900
だいぶしばらく見かけなかった。
2026-10-22 (4) 22:21:18 +0900
《NHK ラジオ>道路交通情報で「金沢マラソンにーぜろにーよん」と言った》のと合っている。
2026-10-22 (4) 20:06:58 +0900
行きつけのサイゼリヤの、いつもの席。 といっても、前によく座っていた「1番」席とは違う席である。 あるとき、目の前の窓から、月の昇るのが見えた。 中秋の名月のころ、この席に座れば月見ができる、と思ったのだが、 季節によって月の出る方角は変わる。 きょうは全く違う方角から、月が昇った。
きょうが「後の月」、旧暦十月十三日かと思ったら、違った。 最も近い朔が十月 11 日 0 時 50 分。中国では前日の 23 時 50 分なので、 Windows の旧暦カレンダーの日付は一日ずれる。あしただった。 月の出の方角に大きな違いはないと思うけれど。
2026-10-22 (4) 18:00:04 +0900
Verne をヴェルンではなくヴェルヌとするぐらいなんだから。
2026-10-22 (4) 15:52:58 +0900
可微分多様体だろうなあと思うが、ホモロジーは初めて習う関手なので、それも捨てがたい。 昔、思ったこと。
2026-10-22 (4) 15:15:14 +0900
単に地底を旅行しただけとは違うんだ。「地心旅行」とでも訳すか。
2026-10-22 (4) 13:50:47 +0900
-ne を「ヌ」とする例。
2026-10-22 (4) 12:25:28 +0900
ネットの上では (天声人語)不正アクセスと白帽子:朝日新聞 で最初のほうだけが読める。
aicugi(相次ぎ)。
nagare dete(流れ出て)。
micukaqta(見つかった)。mi- が一モラなので切らない。
sagasi dasu(探し出す)。
2026-10-22 (4) 12:12:27 +0900
2026-10-22 (4) 09:03:54 +0900
「PHP」にシステム上の欠陥とは? 処理系に欠陥、の意味?
PHP問題、米NSAが全組織に対応要請 FBI「機密データやネットワーク侵害の恐れ」 - 産経ニュース。
【ワシントン=杉本康士】ウェブサイトの開発などに使われるプログラミング言語「PHP」にシステム上の欠陥が見つかった問題で、 米国家安全保障局(NSA)は21日、PHPを使用する全ての組織に直ちに対策を講じるよう求める声明を発表した。 即座に対応しなければ、サーバーのファイルシステムやデータベースに不正アクセスされる恐れも指摘した。
構文に欠陥、とかではなさそうだ。
2026-10-22 (4) 08:59:42 +0900
2026-10-22 (4) 08:51:47 +0900
根上は氏(姓)。
2026-10-22 (4) 00:57:11 +0900
kjô zuke 毎日 Siñbuñ ni noqta (hazu no) dai 3982 kai. kjô no uci nara neqto no ue de mo jomeru.
(1) お父さん、本を片手に、ビーフストロガノフを作り始める。期待するハルとカレン。 (2) 完成した。ハルとカレンは早く食べたいなどと言うが (3) おばあさんが作り過ぎたカレーを持ってきたら (4) そっちに夢中。ムッとするお父さん。「カレー最強説」の文字列。
おばあさんはカレーも作るんだね。
三コマめ。おばあさんの持っている鍋からは湯気があがっている。あの広い庭を抜けてきたはずなのに。
二コマめ。ビーフストロガノフが完成したなら、かなりよい匂いがただよっているはずのに、ハルとカレンはそれに言及しない。 四コマめでは、カレンは「いい香りー♡」と言っている。
ご飯をお皿の中央にしきりのように盛って、両側にカレーとビーフストロガノフを流し込み、両方いただけばよいのに。
2026-10-22 (4) 00:09:04 +0900
ボバンババンボンと歌っている人は不明だって
Google の答え。
2026-10-21 (3) 23:43:31 +0900
ウィキペディアで両方見たが、わからず。
2026-10-21 (3) 23:20:37 +0900
2026-10-21 (3) 22:12:56 +0900
2026-10-21 (3) 21:55:25 +0900
2026-10-21 (3) 21:48:45 +0900
2026-10-21 (3) 21:44:53 +0900
2026-10-21 (3) 21:32:24 +0900
残念。まあいいか。賞味期限が近いものの値引き。
強い雨がおさまって、夕食を買いに行ったのだった。レジの機械が変わったことに伴う変更である。
2026-10-21 (3) 20:50:58 +0900
答えたあと、雑談をしかけてきた。
興味深いことに、英語でも「light」という一つの単語が「明るい」と「軽い」の両方の意味を持っています。 そのため「言語の壁を越えて、明るさと軽さは本質的に繋がっているのでは?」と語られることがよくあります。
2026-10-21 (3) 20:03:28 +0900
Google によると関係はなく、同じつづり字になったのは偶然だそうだ。 語源をのせている辞書をひけばいいんだけど、だんだん不精になってきた。
ドイツ語だと Licht と leicht である。 (Google 翻訳は「軽い」も Licht と訳すぞ。)
2026-10-21 (3) 19:57:27 +0900
各自木箸と竹箸を一本ずつ持ってとある
Google に尋ねたら、わざと不揃いに、そうするのだそうだ。
いまの東京の火葬場では、その習慣はないようだ。
2026-10-21 (3) 19:47:15 +0900
ウィキペディア。亡くなったのは午後七時前とある。
2026-10-21 (3) 19:39:24 +0900
平均寿命が 50 歳としたら、7 歳までしか育てられないではないか。 このあたりの昔の人の考え方が、よくわからない。
(この子は五女の雛子で、1 歳半で突然死する。『彼岸過迄』の宵子のモデルである。)
2026-10-21 (3) 19:33:57 +0900
2026-10-21 (3) 19:25:05 +0900
2027は素数であるため、素因数分解はできません
できないのではなく、このままで素因数分解になっているんだが。 そこはちょっと残念である。
2029 については
2029は素数であるため、これ以上素因数分解はできません(2029のままとなります)
と正しく答えた。
「これ以上」の「以上」は気になるけど。
2026-10-21 (3) 19:07:23 +0900
バルンガみたいに。
2026-10-21 (3) 18:56:17 +0900
きょうづけ朝日新聞大阪本社版トップ記事の見出しに、高市政権について、
「ぶれない」過信生む危うさにも
とある。
元は写真用語だ。 Google の AI は答えてくれた。
2026-10-21 (3) 18:49:29 +0900
先日。10 時半に朝メニューが終わるのを知っていたので、少し前から待っていた。 アジア系外国人のカップルが私の後ろに並んだつもりのようだった。 私はメニューが変わるのを待っているので、よかったらお先にどうぞ、が英語でうまく言えず。
2026-10-21 (3) 18:46:11 +0900
親戚には納骨したと見せかけて散骨するとか、その反対とか。
2026-10-21 (3) 18:32:51 +0900
それで余った墨で墨塗り教科書を、ってことはなかっただろうが、妙なものまで禁止したものである。
ウィキペディア「呉竹」にあり。
2026-10-21 (3) 18:18:35 +0900
2026-10-21 (3) 18:12:53 +0900
正しい音読みは「アク」だそうである。
2026-10-21 (3) 18:11:59 +0900
2026-10-21 (3) 18:00:07 +0900
2026-10-21 (3) 17:16:32 +0900
2026-10-21 (3) 16:55:33 +0900
2026-10-21 (3) 16:54:42 +0900
みっつ前の項目でとりあげた「天声人語」に、あり。広辞苑第五版は「塩っぱい」。
2026-10-21 (3) 14:16:41 +0900
戦いすんで日が暮れてと言われれば「戦友」だとわかる
ふたつ前の項目でとりあげた「天声人語」に、あり。
2026-10-21 (3) 14:09:58 +0900
このように、『戦友』は日本の「陰旋法(田舎節)」の枠組みを保ちながら、 西洋の「フリギア旋法」のようなミの終止感をまとった、 近代日本独特のハイブリッドな旋法であると言えます。
「陰旋法(田舎節)」は変かも。「陰旋法」は「都節」、「陽旋法」が「田舎節」だから。
2026-10-21 (3) 14:05:23 +0900
ネットの上では (天声人語)さんまを食ひて思ひにふける:朝日新聞 で最初のほうだけが読める。
minakeru(見かける)。mi- が一モラなので切らない。
kucizusami nagara(口ずさみながら)。
mi ni iqta(見に行った)。短く切ることになるが、こうするしかあるまい。
migorosi(見殺し)。
itaitasii(痛々しい)。
kunekune, kune-kune, kune kune(クネクネ)。
hacu-kôkai(初公開)。
josojososii(よそよそしい)。
nakanaori(仲直り)。
bucuke aqta(ぶつけあった)。
2026-10-21 (3) 13:54:23 +0900
タイ文字が書いてあるのかな。
2026-10-21 (3) 00:48:08 +0900
kjô zuke 毎日 Siñbuñ ni noqta (hazu no) dai 3981 kai. kjô no uci nara neqto no ue de mo jomeru.
(1) 女性社員、部長に、ロマンスグレーの髪ステキですねー♡。 部長、おやそうかね。ハハハ。 (2) その社員、桜田さんって白髪ないですよね。お父さん、あんまりいわれたことないな。 (3) はげ頭に毛が二本だけの男性社員、ワタシはついに白髪が出てきたよ。 その女性社員、え…そうですか? (4) その男性社員、ホラ半分白髪。「こっちが白髪」と書いてある。 その女性社員、5割ですね。
一本でも毛があれば白髪になる可能性はあるわけで、「え…そうですか?」はないんじゃないの。
前半の二コマが、オチに関係していない。
2026-10-21 (3) 00:02:09 +0900
2026-10-21 (3) 00:00:11 +0900
2026-10-20 (2) 22:13:31 +0900
2026-10-20 (2) 22:00:05 +0900
2026-10-20 (2) 18:43:26 +0900
地球と火星の位置の関係で。
2026-10-20 (2) 16:17:39 +0900
2026-10-20 (2) 14:13:15 +0900
AI の回答から。
天皇陛下の長女・愛子さまの「怒涛」というワードは、 主に『女性自身』2026年11月3日号(10月20日発売)の特集見出し、 愛子さま「怒涛の地方公務【本州縦断2千キロ】」孤高の挑戦に由来しています。
2026-10-21 (3) 15:00:41 +0900
ネットの上では (天声人語)首相の「化粧」発言:朝日新聞 で最初のほうだけが読める。
omoi dasu(思い出す)。英語の remember の意味でも、切る。
sihazimeta(し始めた)。si- が一モラなので、切らない。
uke tometa(受け止めた)。
toqpi na(とっぴな)。
atokatazuke(後片付け)。
somosomo, somo-somo, somo somo(そもそも)。どれもありえる。統一の必要はあるが。
zaraq to(ざらっと)。
geñzaici(現在地)。
2026-10-20 (2) 13:42:09 +0900
いま NHK ラジオで内陸国と言っていた。
2026-10-20 (2) 10:05:22 +0900
(天声人語)沼影市民プール | 朝日ウイークリーデジタル(Asahi Weekly DIGITAL)日本語解説付きで読めて聴ける英字新聞 の写真の説明に Shingo Ota とあり。太田信吾氏のこと。
2026-10-20 (2) 09:36:11 +0900
いま、空からは激しい雨。ラジオ NHK AM からはラジオ体操が流れている。
2026-10-20 (2) 06:32:31 +0900
…という夢。本当に目が覚めたら、強い雨が降っている。
2026-10-20 (2) 06:28:46 +0900
AI による概要
理論上は検証可能ですが、2026年現在、Lean の数学ライブラリ(Mathlib)はそこまで到達しておらず、 完全な形式化(コード化)には膨大な未解決の前提定理の構築が必要です。
h-cobordism 定理を Lean で検証(形式化)する上での現状と課題は以下の通りです。
1. 理論上の可否:可能
Lean は依存型理論に基づく強力な定理証明支援系であり、原理的に任意の現代数学を記述・検証できます。 したがって、スティーブ・スメールが証明した h-cobordism 定理も Lean で検証可能です。
2. Mathlib の現状(微分トポロジーの不足)
Lean の標準ライブラリである Mathlib には、 代数トポロジーや微分幾何学の基礎(多様体、境界付き多様体、Bordism の定義など)が少しずつマージされ始めています。 しかし、h-cobordism 定理の証明に必要な道具箱が全く揃っていません。
3. 検証に向けた主な高いハードル
この定理を形式化するには、幾何トポロジーの極めて高度な以下の概念や定理をゼロから Lean 上に構築する必要があります。
- モース理論(Morse Theory)の形式化: 微分可能関数、臨界点、およびそれらを用いたハンドル分解(Handle Decomposition)の定式化。
- ハンドルの操作(Handlebody Calculus): ハンドルのスライド、生成、消去、および鎖複体(Chain Complex)の代数的・幾何学的交差数の制御。
- ホイットニーのトリック(Whitney Trick): 高次元(5次元以上)の多様体において、自己交差や不要な交差を解消するための幾何学的技法。 これの形式化は極めて難解と予想されます。
- 代数的K理論(ホモトピー同値版の場合 / s-cobordism 定理): 一般の基本群を持つ多様体を扱う場合、 ホワイトヘッドねじれ(Whitehead torsion)や代数的K理論の基礎(Wh(π))を構築する必要があります。
結論
現時点の Mathlib では、h-cobordism 定理の前提となる微分位相幾何学の巨大なインフラが不足しています。 もしあなたが形式化に挑戦する場合、まずは「モース関数の存在」や「簡単なハンドル分解の定義」といった、 より小さなステップからライブラリを拡張していく必要があります。
2026-10-20 (2) 02:49:22 +0900
中学生か高校生のとき。 確か都響の無料コンサートで、一番前の席で聞いた。 少し前から顔見知りになっていたおじいさんに「いまのは何という曲だったのでしょう」と尋ねたが 「ピチカートポルカじゃないか」との答え。 コントラバス奏者に尋ねて、正解がわかった。
2026-10-20 (2) 02:44:43 +0900
kjô zuke 毎日 Siñbuñ ni noqta (hazu no) dai 3980 kai. kjô no uci nara neqto no ue de mo jomeru.
(1) おばあさんが、土を前に、フーと息をつき、精神統一して、と気合いをかける。 (2) 土に手をかけた。 (3) ソワソワし始めた。 (4) おばあさん、もう焼けたかね! ウフフフ♡、と駆け寄る。 お母さんとカレンがたき火をしている。カレン、まだだよー。お母さん、 おばあちゃん焦らないの!
明示されてはいないが、焼き芋であることは、過去のこの漫画の内容からして、明らかである。
近くにバケツが用意されている。たき火の位置が、やや、立ち木に近いのが気になる。
おばあさんの作業場は、おばあさんの家にあるのであろう。 広い庭のある家なので、桜田家からは距離があるはずだ。 おばあさんの家の庭で焼き芋を焼いている、ということか。
結局、焼き芋を出して笑いを取ろうとしているだけに思える。
三コマめの「ソワ」「ソワ」の「ソ」の字体がちょっと変。左のは「ン」にも見える。
2026-10-20 (2) 02:00:06 +0900
2026-10-20 (2) 01:59:14 +0900
「一」に
駅夫が屋根をどしどし踏んで、上から灯(ひ)のついたランプをさしこんでゆく
という箇所がある。
半世紀以上前に読んだ本だが、印象に残って覚えていた。
大学に電灯がなかったとしたら、日が落ちたあとは、どうしていたのだろう、とふと思った。
2026-10-20 (2) 01:52:03 +0900
2026-10-20 (2) 00:58:30 +0900
……と尋ねてみた。
2026-10-20 (2) 00:52:17 +0900
英語は Common Era, フランス語は ère commune である。
2026-10-20 (2) 00:25:54 +0900
2026-10-20 (2) 00:22:11 +0900
Google に 「もしも三次元ポアンカレ予想に反例があったら、その連結和はまた別の反例になりますか」 と尋ねてみた。
2026-10-20 (2) 00:01:25 +0900
2026-10-20 (2) 00:00:03 +0900
英語版 Chisel に飛んでから見ると 77 個の他言語版があり、 エスペラント版 Ĉizilo もある。
2026-10-19 (1) 23:49:14 +0900
「(x+sin(x))/x の x を∞にしたときの極限は1ですが分母子を微分してから極限をとると発散します。 ロピタルの定理に反しませんか」。
正しく答えてきた。最後に
「不定形を見たらとりあえずロピタル」と覚えてしまうと、
このような微分後の極限が振動するケースで罠にハマってしまうため注意が必要です
。
2026-10-19 (1) 22:00:47 +0900