豊原備忘録

意味わからん学生が書き物します

2027年(令和9年)度 広島大学 情報科学部 3年次編入(推薦)　合格体験記

はじめに

こんにちは，某関西の高専 情報工学科所属の豊原芭蕉です．
タイトルにもある通り，広島大学 情報科学部 3年次編入の推薦入試に合格したため，体験記を書くことにしました．

広大情報科学部の推薦は2024年実施試験から始まり，インターネットを調べても過去の編入の話が全くなかったので，数はあればあるほど良い．

同じ試験を受けた人のもあるのでそれに併せてこれも読んでくれると嬉しい．
【編入】令和9年度広島大学情報科学部3年次編入(推薦入試) 合格体験記｜Mr.T

※事細かに書きすぎて馬鹿長いです

編入関連

お前のスペック
  • 出身：奈良高専　情報工学科　22s(2022年度入学)
  • 席次：1~3年は7, 8位を上下．4年は9位(後述するが，推薦資格の獲得以外ではクソの役にも立たん)
  • TOEIC：最終 670点
  • 資格：ない
  • 部活：合気道部，電気技術研究会(電子工作とかする)
  • 併願大学：九州工業大 情報工学部 情報・通信工学科(未受験)，広島大学 情報科学部 一般(未受験)
志望理由
  • 推薦が席次25%以内でも受けれたから
  • HPC/FPGAの研究室がある
  • 総合大学だから学際的なことができる
  • 西日本に住みたいから

が主な志望理由．

実際のところは，「とりあえず受けれる大学の数を増やしたい」というなんとも公に言い難い理由で志望・受験した．
一応，当初受けるつもりのなかった情報科学科を気前よく「第一志望です」なんて言えるわけがないので，どういう研究室があるかとかを調べた．自分がやりたいHigh Performance Computing(高性能計算)をやってる研究室があったので，それを表向きの志望理由にした(表向きの理由も本心ではある)．

3年ぐらいまでは電通大を受けようと思っていたが，推薦基準に達するかどうかは怪しいし，一般だと物理も英語もできなさそうだと感じ，諦めた．右往左往して，4年で第一志望を京都工芸繊維にした．工芸繊維の推薦資格を取ろうと奔走したが，4年でクラスメイトが頑張りすぎて，ギリギリ僅差で推薦資格を取れなかった．どないしようもなかったので，席次25%以内で推薦を受けれる大学を探したら，広大がそこにあった．

岡大数学科出身の数学教官が「総合大学に行きなさい，いろいろな属性の人と関われるかどうかはめちゃくちゃ大きい」と言っており，自分はまあそうだな，と賛同していた．この会話で総合大学に行くしかないと決めた．

お前何しててん

高専の1～3年の間何してたかと言えば，部活に集中したり，旅行したり，読書ばかりしてた．あまり勉強の類を日々やっているわけではなかった．
定期テストは1週間前，もしくは前日に一気に詰め込んで臨んでいた．

2年生の時に，『CPUの創りかた』に触発されて同好会でしょぼいCPUを自作した．ここでKiCADとかの使い方を学んだ．
basyoengine.hatenablog.com

4年生

1～3年と同じく，特に目立った勉強はしていない．流石に編入を意識する頃なので，鉄板の「編入数学徹底研究」を買い，前期は3章までをちょっとだけやってた．

4年の夏休みで某研究所にインターンに行った．そこで分散並列計算とか，HPCに興味が出た．自分は割とハードウェア方面が好きだったので，それもあってか「これで食っていこう」と思った．

また，電通大や工芸繊維で線型空間に関する問題が出ており，勉強も兼ねて冬コミで線型空間に関する同人誌を出そうと決意した．夏休みからほんまにちょっとずつ線型空間の勉強をして，執筆も並列しつつ冬までずっとそれをやっていた．秋ぐらいから流石に進まなさ過ぎたので，岡大数学科卒の教官や，数学科志望の友人らとゼミをして理解を深めていた．同人誌はなんとか完成して売ることができた．

冬コミが終わって1月になると，TOEICなんもしてなくて焦る．4年で受けたIPが440点でやばかったので，とりあえず2/15と3/7の試験だけ予約した．今思えばめちゃくちゃ遅い(周りは12月1月くらいで終わってたりする)．
工芸繊維で使えるTOEICも，～2026年4, 5月までに受けたやつだから，早めに受けて高得点を取ろう．

2/15に受けて535点で，TOEICのコツを少しだけ覚えたためIPは超えたものの，使おうにも，周りのレベルを考えるとクソしょぼすぎた．
なので，金フレの1000単語をすべて本気で覚えるつもりで，3週間ずっとAnkiで回してた．リスニングはPodcastでBBCのラジオ聴いたり，6 minutesのやつを聞きながら脳内でディクテーションしていた．問題解くのは，公式問題集を1年分2試験を一周だけやって，リーディングの練習はGeminiに問題作らしてやってた(問題が簡単すぎるので，難しくして良いと思う)．

3/7に受けたやつは，英単語の覚えた分がそのまま乗っかって670点．700は欲しかったが，3週間でゼロからやった身としてはまあ頑張っただろうと思って，このまま併願で受けるところに出すつもりでいた．

とりあえず地獄のTOEICが終わったので，数学に全振りして勉強.....が，2, 3月はあまりに勉強する気が無さ過ぎて，1～3時間しか一日に勉強してなかったし，勉強してない日も全然あった．アークナイツにもハマってしまったので親に「勉強せえや」と怒られた．

６・７章進めるのが難しすぎる
5年生

3月下旬に研究室配属が決まった．研究室の本科生10人のうち9人が就職志望で，進学は自分だけだった．自分がいる研究室では異例らしく，毎年誰かしら専攻科に進学していたのが急に途絶えることとなった．自分は死んでも専攻科には行きたくなかったので，そこから新しい専攻科生が生まれることはなかった．

研配属後，成績・席次を見ると9位で，工芸繊維の推薦基準に達しておらず，絶望した．そこから何とか推薦受けれる大学を探して，広大を見つけたのでそこに向けていろいろ頑張ることにした．

4, 5月は広大を受ける準備や，いろいろゴタゴタとしていて勉強できていなかった．

受験準備

広大情報科学部の推薦試験は

  • 成績証明書
  • 面接調書(内容は合否の評価には関わらないが口頭試問で必要)
  • 口頭試問

で決定する．
で，広大の募集要項を見てみると，「面接調書に，受けてる専門科目と卒研の予定書いてちょ」とあった．所属研究室はハードウェア系で，とりあえず手を動かしてみる風潮があり，研配属が遅いのもあってか，研究テーマを具体的に決める素振りが無かった．

学内書類の期限も迫っているので，指導教官に研究テーマは何を書けばいいか仰いだ結果，指導教官が行っている研究についてとりあえず書くことにした*1．専門科目については，情報工学実験や，Active Learningの成果(ゴミ)とそこから得た学びについて書いた．志望理由も，インターンのことを少し併せて書いておいた．

この配布されてる面接調書の形式がめんどくさい．面接調書のテンプレはPDFで配布されているが，PDFに直接文字を書き込む方法は手書き以外にない(有料ならできると思う)．
どうするか考え模索した結果，TeXのパッケージで，テンプレのPDFと，本文のPDFを重ねて出力する手段を取った．

qiita.com

ここで転機があった．新しく入った指導教官のやっている研究が自分が本当にやりたい分野に近かった．その教官といろいろ相談した結果，調書に書いた研究予定と全く違うテーマの研究をすることになった(後述)．

広大の出願書類を出した後も，併願で受ける予定の九工大の書類も準備していた．

指導教官3人に面接練習を2回してもらった．広大推薦の情報が無さ過ぎたので，面接の場慣れや，喋る内容のフィードバックをもらうという気持ちでやっていた．
並列して，仲の良い弊学を卒業した大学院生にも2, 3回練習してもらった．

試験前日

試験が土曜日にあり，自分は大阪に住んでいたので，前乗りが必須だった．幸い金曜日は午前で授業が終わるので，授業を受けてから広島に行くことができた．

あまりに緊張しすぎて，授業開始前に，担当の先生に「試験めっちゃ怖いんですけど，どうしたらいいですか」と訊いてしまった．その先生は優しかったので，困惑しながらも「受かった後のことを想像するといいと思います」と言ってくれた．

家から新大阪，広島から西条が地味に距離があるので，新幹線では大阪-広島が1時間半なのに，全体で3時間もかかった．

西条に着いたら，駅前の東横インにチェックインして荷物を預けた．晩御飯は，試験前日に慣れないものを食べるのもどうかと思ったので，サイゼリヤに食べに行った．

試験当日

朝起きて支度し，ホテルをチェックアウトをしたら，西条のコインロッカーに荷物を預けて広大行きのバスに乗った*2．
バスは学生会館前で降りた，工学部棟がそこに近いので．

降りると，自分と同じように髪をくくった人*3から，「情報科学部受ける人ですか？会場まで一緒に行きませんか」と話しかけられたので，一緒に会場まで行った．ゴツい見た目していたのによく話しかけてきたな，と我ながら思う．

会場に着くと受験番号が張り出されていたのだが，受験者が17人もいた．ここで「あかん，これは落ちる」と少し思った．前年は9人推薦受験して全員受かったから，みんな受かると思って出願したんだろう．

待機会場に入って少し待っていると，試験監督が入ってきて，「受験票だけ机の上に出して，他はカバンにしまって待ってください」と言われた．

口頭試問は1人20分で，2人同時に各部屋で行う．17人も受けているので普通に後ろの番号の人は，何時間もなにもできないまま待つ必要があって可哀そうだと思った．自分は前の方だったので，40分待ったら自分の番が来た．

面接

面接室に入ると，面接官が2人いた．自分が座る椅子と面接官の距離が5m位離れてて「なんか遠ない？」と感じた．

20分の面接では．

  1. 志望理由(2分)
  2. 大学入ってしたいこと，将来何するか(? 分)
  3. 卒研について
  4. 口頭試問(8分)

を話した．

回答

  1. 最初に「2分しかない」と教えられてかなり焦り，「HPCとかFPGAの研究したくて，それやってる研究室があるので志望しました」の10秒ぐらいの志望理由で終ってしまう．さすがに短すぎて，面接官も以上ですか？と訊いてきたものの，なぜか自分はほかにも志望理由があるのに，「はい」と答えてしまい*4，本当に落第を確信した．
  2. これもかなり短かった．OpenMPとかMPIプログラミング，CUDAとか触れる講義があるのでそれ受けたいですね～，あとはやっぱ研究でハードウェアをがっつりしたいです，みたいなことを30秒くらいで言った．
  3. 前二つが短すぎて卒研の話が一番長かった．面接官が調書に書いた内容について質問するが，自分は先述の通りテーマが変わってしまったので，その変わったテーマについて説明していいか訊いた．これは了解をもらえた．大雑把に言えばエッジAI用のCPU命令拡張の話で，なんで命令拡張したいとか，どういう命令追加したいなど，面接官から質問が2, 3個飛んできた．こうこう，こうできたら嬉しいとか，こういうのをしようと思ってますとなんとか返した．調書にインターンのことについて少し書いていたので，それについての質問もあった．面接官が「そのCPUってどこが作ってるんですか」と如何にも知識があるか問うてくる口頭試問っぽい質問をしてきたが，これは難なく即答．研究所インターンでやってた大規模計算と，卒研の小規模計算の差とか関連についての質問もあったがこれもうまい事回答した．前二つがある程度の長さ喋っていたなら，こんなに深ぼられることはなかった．

4.の口頭試問は

  1. f(x)がx=aにおいて連続の定義
  2. 線型空間の基底の定義
  3. 集合A = \{1, 2, ... , n\}の冪集合の濃度とそうなる理由

の3つから2つを選んで8分以内に回答する．集合の問題は，冪集合の濃度が怪しくて自信が無かったので，絶対に答えれる1と2を選択．募集要項には「情報科学の基礎を確かめる」みたいなこと書いてたのに全然数学の問題だったので面食らった．
1は「\lim_{x \to a} f(x)がf(a)と一致したら連続」，
2は「(有限のn次元線型空間として)n個の線型独立なベクトルがあって，線型空間中のすべてのベクトルが，それら線型独立なベクトルの線型結合で書けたら，そのn個のベクトルは基底になる」と口頭で答えた．
面接官から「\lim_{x \to a} f(x)ってどういう状況ですか？」と訊かれた．「\lim_{x \to a+0} と\lim_{x \to a-0} で一致しないといけなくて」みたいなことを言うために，黒板で下図のような図を書いて説明した(口頭では+a, -aと，間違えて連呼してた)．この場合はf(x)は連続じゃない．

「この関数に\lim_{x \to a} f(x)(\lim_{x \to a+0} でも\lim_{x \to a-0} でもない)の極限はあるの？」と訊かれ，「うーん，右からと左からで極限一致しないんで無いんじゃないんですかね」と答えた．まあたぶんあってる．

口頭試問が終わると，「何か言い残すことはありますか」と訊かれて戦慄した．とりあえず，高専からの編入生の進路が気になったので，編入生はどのコースを選んでるか訊いた．知能情報が人気ですねと回答をもらったが，「(筆者)さんの場合はもう行くとこ決まってますよね笑」と笑ってくれたので，満足した．

受験後

面接室を出ると，最初の志望理由が完全に詰んでいたので，落ちたとずっと思っていた．仲の良い院生に「やらかした」と連絡もした．
更に，広島に戻っているときに，電車にカバンを置き忘れ，広島駅で3時間待つ災難にも遭った．
それでも，広島で食べたお好み焼きはうまかった．

合否発表までは，死んだ顔をしながら勉強を続けていた．

合否発表当日は補講日で，授業が終わっても発表まで時間があった．発表までは友達とゆるコンの動画を見て気を紛らわしていた．見ている間もソワソワしていた．
www.youtube.com

12時になって，一緒に待ってくれている友達や進学組と結果を見る．合格の文字が見えると，バカでかい声で叫んだ．

「よっしゃぁぁ！！」

勉強関連

席次について

席次に関して言えば，3, 4年生の席次はめちゃくちゃ重要ではあるが，それは推薦入試の出願資格を得るために必要なのであって，それ以外の指標にはまったく関係ない．
席次が高い=頭が良い，ではない．
裏を返せば，編入体験記をいろいろ見，どれも高席次だったとしても，「ああ俺は席次低いから編入は失敗するんだ......」と思わなくていい．そもそも編入体験記の多くは再現性が無い．

筆者の成績平均は4年間，89と90を彷徨う感じだった．これで席次が8位あたりなのがバカバカしく思えるだろう！
本質的に大事なのは席次が高いかどうかではなく，絶対評価である成績点数がどれくらい取れているか．席次は成績に自動で付随する．

数学

色々な教科書・参考書をやったが，一番身に着いて役に立ったのは「線型空間に関する同人誌を作った経験」だった．内発駆動がすべてを解決する．

数学科志望の友達や，他の仲の良い編入勢と線型空間について色々教えてもらったり教え合ったりしたのが良い経験だったと感じている．友達を作り，共に勉強することが一番自分のためになる．

使った参考書は以下に示す．
基本的に，例題は写経して手順を理解し，普通の演習問題はずっと考えて，分からんかったら答え見て写経．

  • 編入数学徹底研究

www.amazon.co.jp

鉄板の参考書．しかし難しい！　高専の教科書の問題を一通りといて基礎を身に着けてからやるべきもの．悪くはないが，問題数が少なくてすぐ飽きる．
自分は内積までの範囲を2周して終わった．

  • 大学編入のための数学問題集 改訂版

www.amazon.co.jp
問題集．たくさん載ってて解説も申し分ない．数学教官から借りて，少しだけ解いた．

  • 弱点克服 大学生の線型代数/微積分

www.amazon.co.jp
www.amazon.co.jp
徹底研究が飽きた時に買った．弱点克服シリーズの「初等力学」がわかりやすかったから，数学もそうだろうと思って解いてみると，めちゃくちゃ難しかった．テクニックの本質問題は多いが，これをやるなら大学編入のための数学問題集をやってる方がいい．単元をつまみ食いしながら解いた．

  • 各務ヶ原空間

yuzhno.booth.pm
拙著．一番役に立ったと言っても過言ではない．これを執筆してなかったら基底の定義を即答できなかった．
色々な線形代数の大学向け教科書のエッセンスをまとめて，rankと線型空間のモチベーションについて書いたので(個人的には)分かりやすいと思う．これを書いた理由は，線型空間勉強するために数学教官から勧められた本(『行列と行列式の基礎: 線型代数入門』)が行間ありすぎてわかりにくすぎたから．

これら以外で数学の問題集等はやっていない(同人誌を書くのにいくらか線形代数の本は見たが，線型空間のところしか見ていない)．編入数学の黄色いやつとかも買ってすらない．

英語

先述の通り，金フレを1000単語気合で覚えたのと，公式問題集を一冊1周だけ．
あとはBBCのPodcastを聞きながら脳内ディクテーション．ディクテーションをすることで，リンキングとか発音の違いを認識できた，気がする．
www.youtube.com
www.youtube.com

振り返り

正直，自分の編入体験は運がよかったに尽きる．ダメなところが多すぎるので，良い参考にせず反面教師にしてほしい(TOEIC遅かったり数学の勉強疎かだったり，物理の勉強やる気なかったり．そもそも出願書類の準備も後回しにしすぎている)．

成績は取っておくに越したことはない．推薦基準には必要だし，研究室配属にも使うから．体感，1年の時の席次がずっと続くことが多いと思っている．特別発破をかけて勉強しない限り上がらない．

そして，勉強について．体験記ではよく「1日10時間勉強しました」とかがあるが，ひたすら問題を解く工程を10時間しても面白くないし，普通の人間はまず10時間も続かない．
(全然勉強してない自分が言うのもアレだが)例題や演習問題を時間をかけてでもいいので，味わい深く解くことが重要だと思う．その問題がある理由は必ずあるので，分からなくなった時に解説を見て，使われてる解法・エッセンスをスルメを食べるかの如く味わい尽くして身に着ける．そのうえで少しずつ場数を積んでいくのが重要だと思う．

みんながやってるから，と徹底研究から入って難しくて挫折したら本当に終わりだ．上位勢ではない編入したい学生には，背伸びする前に高専の教科書の簡単な問題をサラッと解いてみてほしい．解ける楽しみを経験してから挑戦すると続く．意外と高専の教科書も基礎的なエッセンスが詰まってる(証明はカスやけど)

*1:全員が進学希望の研究室では，調書や面接で説明する用に研究テーマを決めるミーティングがあったらしい．羨ましい．

*2:若いスーツの格好をした明らかに受験生っぽい人がバスターミナルに3人くらいいた．

*3:さっき上げた編入体験記書いた人らしい

*4:研究室の理由以外は「自己都合やからあまり先に出すな」と指導教官から釘刺されたのが頭に残って言えなかった．

含意命題(ならば)の定義の仕方と，仮定が偽の場合における処理について考える

はじめに

含意命題(命題と命題を⇒(ならば)で連結したやつ)でしばしば，仮定が偽なら帰結の真偽に関わらず含意命題は真，が一般に受け入れられない(特に高校数学が苦手な自分含めた人間にとって)ので，含意命題の定義の経緯を，(数学的な)集合論理をできるだけ回避しつつ自然言語で納得させたい*1．数学ど素人が書いている．

参考

[1] Wikipedia，``空虚な真''，https://ja.wikipedia.org/wiki/%E7%A9%BA%E8%99%9A%E3%81%AA%E7%9C%9F，閲覧2026-5-30
[2] 内藤 康正，``嘘をつけなかった悪魔''，https://www.chart.co.jp/subject/sugaku/suken_tsushin/86/86-4.pdf，閲覧2026-5-30

含意命題の処理

(この辺はそこら辺の記事と同じことを書いている．飛ばしてもいい)
命題 P, Qを用意して含意命題「P \implies Q」の真偽を議論する．
結論から言えば， P, Qの真偽に対して，「P \implies Q」の真偽は以下の真理値表のように定義される．

P Q P \implies Q
T T T
T F F
F T T
F F T

書き換えるなら，「P \implies Q \iff \neg P \lor Q 」と簡単な論理記号で定義できる．
数学・論理学者は含意命題の真偽判定が上の真理値表の通り動作するように定義した．恐ろしい．定義なのだから，そうなった経緯や理由は述べてくれない．あまりに悲しい．
(TCP/IPがとりあえず実装した後に仕様定義したみたいな感じか？)

ここで，我々の考えている自然言語的な「ならば」と数理論理における「ならば」は異なる．漠然と言うなら，前者の方が「強い」意味になる．
自然言語の「ならば」は，「雨が降らなかったならば，遊園地に行く」のような場面で使われる．降らなかったら行くことは決まっていて，実際行く．これを「含意命題として真」と言おう．
雨が降らなかったのに，遊園地に行かない．これは約束を破っているのだから良くない．これを「含意命題として偽」と自然に言えそうだ．

しかし，雨が降った場合，遊園地に行かないのが自然だが，遊園地に行っても「含意命題として真」と，数理論理的にはなる．自然言語的と言うか，コンテクスト的には雨が降ったら遊園地に行かないでほしい(筆者としては，そもそも後述のiffが要求される例えを持ってくるのが悪いと思う)．
こういう自然言語の「ならば」は，「if and only if(その時かつその時に限り)」の意味で使われる[2]．含意命題が真かどうかは，少なくとも仮定が真の場合のみしか考えない．

留意すべきこと

自分のような数学に慣れていない通常の人類は，なんでも自然言語や備え付けのコンテクストを使いこなして考える．

まず，(演繹で論証を進める以上)含意命題で用いる仮定と帰結の命題が一定の関連性はあるが，基本的には全く関係のない独立した命題として考える必要がある．また，含意命題を構築したら，それもまたある程度は独立した命題となる(かなり雑な言い回しをしている)*2．
そして，(含意)命題は「その命題に入れれる全てのパターンにおいて，命題の結論が真か偽に分類できる」ことを考えている．そのうえで，含意命題は「全てのパターンで真を返してほしい」と思っている[2]．ここがiffの「その時だけの処理について考える」ことと乖離がある．というか，「P \implies Q」の見た目自体，「Pが真」の場合しか考えていなさそうな見た目である．数学では，存在記号や全称記号を使って議論するが，(定義域内の)すべてのパターンについて処理したがっているな～と，肌で少し感じることがあるだろう．関数とはそういうものだ．

数理論理や，デジタル回路をやった人間なら少しわかると思うが，「入力11の時は出力1」といったとき，「ああこれがANDね」と勝手に推察する．この時は，明記していないが実際には「それ以外のパターンは出力0」と処理定義に含まれる．でなければ，ついでに「入力10の時は出力1」となってもいいわけだ．あくまで入出力例の一例を取り上げているだけで，排他的にそれ以外は逆の動作するとは説明していない．iffというコンテクストが脳内にデフォルトで組み込まれているのか？

命題関数

先述のように(定義域内の)すべてのパターンについて，関数等は処理を行う．命題についても同様である．変数としてnを持つ命題関数P(n), Q(n)を考えよう．「nは偶数である」とかだ．
含意命題「P(n) \implies Q(n)」が(定義されている)すべてのnで真か偽の結論を持たなければならない．

iffのコンテクストとこの命題の見た目から推察するに，P(n)が真，つまりそういうのが成り立つようなnがあるとき*3，そのようなnすべては，Q(n)について真である必要があり現にそうである(と思われる)，と命題は言わんとしている．だから，P(n)が真で，Q(n)が偽であれば，あり得ないことが起きていると容易にわかる．P(n)が真なら，Q(n)も真である必要があるのだから，それが偽なら，含意命題としては偽になる．

では，P(n)が偽の場合はどうか．P(n)が偽というのは，そのnではそれが成り立ってない，そうではないということだ．
一つの説明の仕方として，P(n)が真でQ(n)が絶対的に真であってほしいのであって，そうでないときは別に議論していないし，別に問題も発生しないので含意命題として真とする，と言うことがある．
筆者としては，「じゃあ別に偽でもいいのでは？」と思った．が，先述のよう，「全てのパターンで真を返してほしい」とある．なぜだろうか？
含意命題が偽と言うのは，その命題が成り立っていないということだ．P(n)が真でQ(n)が絶対的に真なら，含意命題として真であることは認めるとしよう．ではP(n)が偽の場合は，Q(n)は真か偽のどちらかを取る．ここがキモで，P(n)が偽は，イレギュラーな場合を考えているのだから，当然，Q(n)が真を取るような変なnが存在できると考えられる．また，Q(n)が偽を取るような妥当なnも存在することは，想像できる．P(n)が偽の場合，きれいに常にQ(n)は偽になる二分な場合もあるだろう．具体例については[2]を見てみてほしい．

今，「P(n)が偽のイレギュラーなnを考えた場合，Q(n)は真か偽のどちらも取り得る」ことが分かった．では，どちらかのパターンが絶対取れるということは，含意命題としては真ではないだろうか？なぜなら，Q(n)が真または偽になるようなパターンのnを取れているのだから．
P(n)が真なら，Q(n)も真である必要が～～と述べた．言い換えるならば，「P(n)が真になるnがあんねん，そしたらな，Q(n)が真になるnがあんねん」と独立した二つの命題を連結してるように見える．
実際置き換えて考えてみると，
「P(n)が偽になるnがあんねん，そしたらな，Q(n)が真になるnがあんねん」←実際ある場合がある．
「P(n)が偽になるnがあんねん，そしたらな，Q(n)が偽になるnがあんねん」←実際ある場合がある．

帰着におけるnの存在可能性が十分(確定で)あるので，含意命題としては真になることは分かっただろう．
そもそも，P(n)が偽ならQ(n)は，とりあえず真か偽どちらかさえとればいいというOR的解釈をするなら，含意命題としては真になると言える．

そういうこったで，仮定が偽なら，含意命題は絶対に真なのだ．

変数nを導入した命題関数に話がすり替わっている気がするが，先の「雨が降らなかったならば，遊園地に行く」で，「雨が降らない日n」と「日nに遊園地に行く」みたいな命題に，意味を維持するように変換すれば話は変わっていない，はずである．

*1:補集合や空集合で置き換えて議論しているのもあるが，自然言語の命題から逸れて議論していて，その時点で直感や例えと実装の乖離がある．

*2:シルヴァーマン代数学とか読んだらよかった

*3:今のところ，いまそういう場合についてしか考えません

写像，ただの部分集合

参考

[1]石村園子，『やさしく学べる離散数学』，共立出版，2022-1-25

どういう

直積集合 A\times Bというものを次のように定義
A \times B := \{(a, b) | a \in A, b \in B\}
ここで， (a, b)は順序対というもので，我々の想像する一般的な「組」に順番が備え付けられたもの．だから， (a, b)と (b, a)が一致するとは限らない．
(確か，定義としては (a, b) = \{a, \{a, b\}\}だったような気がする．(直積集合で，先にかける集合の)元aを先頭に取るように定義してあげる．)

そして，直積集合 A\times Bの部分集合として Rをとる．これを今回は特に関係と呼ぶことにする．
Rは順序対の集合なのだから， Aの元a_1に対して Bの元b_1が「対応(関係)」していて.....みたいなことが言える．そういう元同士の関係を集めたRを俯瞰して見てみると， Aと Bの間にある関係と言えそう．

写像ってなんすか

写像は，さっきの関係(直積集合 A\times Bの部分集合)の特別な場合で， Aから Bに対応をとる時 Aのある元が対応している， Bの元の数は，1個しかとらない(0個でもダメ)．つまり，a_1が写像として対応をとるには，b_1,...,b_mのうちどれか最低一つしか選べない．
また，写像は，飛ばす前の集合(ここではA)の「すべての元」がBの元への対応を持っている．ここで，Bの同じ元を指しててもいい．
[1]では次のように書いている．
「写像は右下図のようにAのすべての要素から1本の矢印のみ出ている関係のことである。」
写像に関しては，Aを定義域，Bを終域とか値域(本によっては値域は値域で別の意味を持つこともある)という．

ということで，写像というのは，直積集合の部分集合「関係」の特別な場合であるというのがわかった．19世紀の集合論誕生のせいで，それっぽく扱ってた(?)関数というのが集合で定義することができてしまった．ただ，記号が指し示す動作の定義が集合として書ける，というのも，「人間は細かい細胞の動きで動いているんです」ぐらいにそうだけどそうじゃないやん，という感じだ．
(順序対の集合による記述も，「こうこうこう動くという細かい動作」を定義してるというより，動作前の状態と，「動作した結果」だけ見せられてこういう動作ですと言われているようなもの．)

TeX組版による同人誌執筆の注意事項メモと対処法

はじめに

初めて同人誌を出した際，原稿をTeX/LaTeXで作成していた．普通，レポート等をTeXで作成するとき，A4やB5に原稿サイズを合わせ，PDFビューワーで実際の印刷時の見た目もわかるからそれを見ながら見た目が事故らないように作成する．同人誌の作成に於いても同じ要領でできると思って，なにも知らないままやってしまう．

しかし，そう簡単に進む話でもないので，躓いたところをまとめていく．

トンボ・塗り足し

トンボというのは，簡単に言うと，印刷所が印刷した原稿を裁断するときに用いる目安線のことである．L字の記号や十字のものが，本文の外側の方についているものを見たことがあるだろう．
塗り足しは，実際の原稿サイズ(A4とかB5)に対して上下左右に付け加える余白分のことである．余白の大きさは3mmや5mmであることが多い．
印刷所に入稿するとき，この2つをきちんと把握しておかないと事故る．

まず，塗り足しは何に使うかと言うと，印刷のズレをカバーするために付け加える．例えば絵を描いて印刷するときに，最終的な原稿サイズギリギリで作ると，印刷のズレが許されなくなる．すると裁断時に白い余白が生まれてしまう．だから実際は一回り大きいサイズで作成し，その上にトンボを載せて，本文からはみ出て塗り足しに書いてないかとか確認しながら原稿を書くことになる．

www.eikou.com

さて，トンボをどうやって原稿に載せるかだが，TeXのgentombowパッケージを使う．使う方法は以下の公式ドキュメントを見て頑張ってほしい．(見れば意外とわかる)
https://ctan.math.utah.edu/ctan/tex-archive/macros/latex/contrib/gentombow/gentombow-ja.pdf
このトンボ線は無理やり記号を貼り付けたようなものではなくて，論理的に機械側で大きさや配置を調整してくれる．塗り足しの設定もここでできる．
yamaimo.hatenablog.jp
konoyonohana.blog.fc2.com

フォントの埋め込み

フォントを埋め込まないと，自分のPC以外の環境でPDFを開くと，フォントが読み込まれていないために，他のフォントで勝手に表示されたり，文字化けを引き起こす．一応TeXであれば標準でフォントを埋め込む(はず)．だから問題はない．
しかし，フォントのエンコーディングがビルトイン状態になっていると印刷所は受け取ってくれない．


まず，フォントのエンコーディングと言うのは，超雑に言えば，使っているフォントで表示されている文字を文字コードに対応させることである．フォントは所詮表示の問題ではあるものの，文字コードになると話が変わる．組版系の人間は，凝ったフォントと言うか，独自の文字コードを作って，異体字などは別の文字コードとして割り当てる．その上でフォントを別で作って対応させたりする．印刷所での文字コードがUTF-8とは限らないため，UTF-8と独自規格の文字コードでの間で，印刷時ズレが起きて，文字化けする．ゆる言語学ラジオの書籍でそういった事件が起きている．
www.youtube.com

ビルトインは，フォントの文字データやエンコーディング情報をPDFファイルに埋め込んでいる状態のことなのだが，なぜかエンコーディングがうまくできないことがあるので推奨されないらしい．だからエンコーディング情報はビルトインとカスタム「以外」にしなければならない．
www.informe.co.jp

今回印刷所はサンライズを使ったが，そこでも注意されている．
www.sunrisep.co.jp

note.com

フォントのビルトイン解消だが，TeXのフォントを使っていると，(AMSフォントみたいな数式系とか特に)まあビルトインになりがち．(Adobeのビューワーで確認するか，PDFのあるディレクトリでターミナルを開いて，pdffontsを実行するとフォントの埋め込み状態を確認できる)

対処法は以下の記事を参考にした．これで大体のフォント，多くは和文・欧文フォントがビルトインから解放される．LuaLaTeXでもどうにかなる．
blog.miz-ar.info

で，数式で使われるAMSフォント(amsfontsとかams系のパッケージを使ってる場合)，unicode-mathパッケージを使うと解消できるらしい．で，\mathbbの字体が変わったりしたが，\mathbfを使ったり，ChatGPTに聞くなりパワーで解決した．

ブルアカ二次創作感想『君とわたしの今日と明日』

はじめに

C107で頒布された聖那由他さんの『君とわたしと今日と明日』の感想を書いていく．

装丁

表紙は上記のツイートの通り，眠夢さんの素晴らしい制服エプロン姿のアイリ．ポニーテールは正義だ．
裏表紙も，制服エプロンと私服の可愛らしいアイリが飾っている．私服のセンスが良すぎる．PP加工あり

本文を開くと，ちょうどいいサイズのフォント．読みやすい．余白も十分．意外とページ全体が埋まっていて文字が多い．

本題

あまり読まない現パロラブコメだったが，結構面白かった．
ざっくり言うと，アイリと鏑木学生のドタバタ短期間ラブコメ．起承転結の起でかなりラブコメあるあるの事象が発生する．パンを咥えて遅刻したり放課後のカフェで再会したり隣が鏑木学生だったり転校生だったり......詰め込み過ぎだ．
文体はアイリの口調で進む．地の文に!!が使われていたり，セリフの遮りも二重で鉤括弧を使っていたりと不思議で新鮮な読書体験だった．
鏑木学生がごくたまに関西弁を話すので，そのイントネーションが脳内にちらつく．ラブコメに関西弁はノイズ過ぎる．煩い府民性がラブコメに入ってくるのはダメだ！

鏑木学生の見た目や，起承転結の締めくくり方が，どう考えても米澤作品や『氷菓』に影響を受けすぎていると思った．アイリと鏑木学生の関係性はもろ『氷菓』の奉えるである．アイリが「私，気になります！」といつ発言しても不思議ではない．
米澤穂信作品は『さよなら妖精』しか読んでいないが，p59の

受け取った紙袋は、見た目よりもほんの少しだけ、重く感じた。

から代表されるように，情景描写をよく使うのは『さよなら妖精』であったスキームで，米澤作品らしい．

食レポの部分は素直に「おおすげえ」と思った．アイリらしいレビューだし，ここで作者の表現の力量が現れている．素晴らしい．

アイリの動き・仕草といった事象を事細かに記述している．三人称的な記述ではなく，アイリの視点で．

登場するキャラクター全員に一切の不快感がない．それがラブコメだ，とははっきり言いきれないが，チラムネと比較すると100億倍，断然読みやすい(あれは地獄だった......アニメ1話で断念)．ラブよりコメディに比重を割いていると，読みながら最初は思った．しかし，少しずつアイリの鏑木学生への好意の自覚や，それを否定したがる疑念が増えてくる．そういう意味で，最初はコメディ，後半が，ちょい甘なラブという感じである．

後半の締めくくり，鏑木学生とアイリが料理をする．そこで話が終わってしまった．良い終わり方だが，あまりに歯切れが悪いし，もっと続きを読ませて楽しませてほしい．続きを書いてもらうために投書したい．

現パロ世界線でのスイーツ部で出てくるのはヨシミだけである．ここでカズサやナツが出てくればもっと面白いものになると思し，確信している．

アイリはある意味で純粋かつ純粋ではない女子高生だ．純粋でないというのは，一癖あるという意味である．鏑木学生が指摘しているように，不用心で，最初の距離感を詰めすぎているわけではないが初対面にしては近い．タメ口をよく使う．一人暮らしを許した両親の存在から，さぞ可愛がられて大切に育てられていると想像できる．(作中時間が短いが)アイリは，よくある実家で恋の自覚に悩んで布団でぐるぐるする展開ではなく，意外と切り替えが早い．思い悩むことはあるが，少し気になっている自分って......という風である．現パロアイリの解釈としてかなり良いものだと思う．スイーツ部の一癖二癖ある学生を束ねるものとしてふさわしい風格(コスプレのあの衣装を思い出す）.

鏑木学生とアイリの不器用でTHE思春期の高校生，という感じの関わりが面白かった．つい「甘いね～」と声に出る．どちらの反応も初々しくて後方腕組をすることとなっている．鏑木学生の「バカ」とかつまんだりのスキンシップが彼なりの愛情表現で，アイリも反論したりすぐ弱気になったりするのが可愛らしい．甘い．

押し入るとは違うが，それなりの理由を携えて高校生男子の家に上がり込んだり，面倒を見たり，それっぽく匂わしてしまう鏑木学生の弁当作成に軽々応じてしまうアイリはやはり気を付けたほうが良いと思う．寝取られとかはイライラするBSSは見たくないが．


物理的な行間の長さが，彼女の自覚に徐々に気づいたり，はっきり言葉にできないモヤが出ていることを表現している．使い方がうまい．

ラブコメ初心者でも楽しいめる，コメディ寄りの甘い高校生ラブコメ小説だった．現パロアイリの濃い幻覚が本当に脳内で完璧に再生できた．
絶対に続きを書くべき，いや書け，と言いたい．歯切れが悪すぎる，余韻をより楽しむには続きが必要だ，例えばデート編など．裏表紙の私服を着て，遊園地に行ったりとか，ウィンドウショッピングしたりとか．
ここで終わってしまったのは作者からの「ここから先は読者の皆様のご想像にお任せします」の要請あろうか．なんとも難しい注文である．

最後に，傑作をありがとうございます．

ブルアカ二次創作感想『ハード・デイズ・ブラックスワン』

はじめに

C107で頒布されたえふさんの『ハード・デイズ・ブラックスワン』の感想を書いていく．

装丁

表紙は上記のツイートの通り．表紙にPP加工はない．素晴らしい．
本文を開くと，細いフォントに小さくてちょっと読みづらいなと思った．でも案外こんなものかもしれない．

本題

かなり面白かった．自分が好きな3つの要素である「キャラクターが気骨ある」「妥協に着地」「ハートフル」がすべて詰まってる．良い作品．
ミステリっぽく引きのある始まりをしててすぐに絶対に面白いと確信した．

サオリの視点を通して，文章全体がわかる語彙で書かれてる。まず意味がわかって読めるという時点でかなり良いのだが、書く側の気持ちとして、「わかる語彙で」「意味が通って」「適切に単語を頭から出力して配置する」がめちゃくちゃすごい。普段自分は何も考えていないし，単語も意味も正しく覚えていないから，こういうちゃんとした文章書けることは素晴らしいと思う．それと，事象の記述がちゃんとなされているから展開が把握しやすい．
文章力自体も，地の文や泉の上部だけの薄っぺらなセリフの書き方からわかる．しかしp46とかの「耳障りの良い」だけは看過できなかった．


実際，「身勝手な大人たちに騙され、地獄に落ちた少女マリー。(中略)」はその通りなのだが，「これで全年齢は厳しいだろ......」というものだった．せめてPG12ぐらい(割と直接的な表現もある．生々しいクライムアクション小説だから読むのは高校生からがいいだろう)
ブルアカが韓国で開発されたゲームであることと，人身売買とか盗撮等による違法性的コンテンツの作成・販売という下劣な内容から「n番部屋事件」が想起される．(おそらくAIによる)合成で，あらぬ写真・動画が流布するようなところも，タイムリーな問題攻めてて良い，面白い．
マリーがそんな事件に巻き込まれるまでは自然だし，ロジックもしっかり通っているのだからこんな結果になるのは当たり前では？と思ったが，マリーが可哀想な被害を受けること自体に批判(？)があるらしい．(これはネタなんだけど，キャラクターが多少物語による補正を受けさせられていると，当たり前な展開のロジックがあったとしても受け入れられないものなんだ，という世間の認識がわかった．)


パニックになって，もう金をおとなしく払おうとするシーンなど，マリーの自責や贖罪の言葉がとにかく長く綴られるのだが、彼女なら言いそうな違和感のないセリフで楽しめた．それも一つの彼女の特質だけど，余すことなく使っていっている．
p69で冒頭で「わあああああああああ！！！」と叫んでいて，笑ってしまった．文字が叫んでるだけで面白い．
p70の

地面に貼り付き、泣き腫らす汚れた少女とそれを見下ろす不良の姿。朝食を食べ損ねた社会人が、私たちの方を怪訝そうに見ながらコンビニへと吸い込まれていく。

は，発達した現代文化社会の中での不条理さとか不均衡さ，無責任さというのを表しているように思えた．ただの深読み．

p72の

それと同時に成功への確信が、まるで祝砲のように頭の中へと鳴り響く。

なんかは，絶対コケる，過言や，無理と確信していた．(ためならおじさんの)八木に電流が走るくらいに信用ないわと読んでいるときは思った．でも実際読み進めるとうまいこといってくれたので安心した．

改めて，マリーの善性と生真面目さを気骨をよく書いてる。こういうのは好き。サオリもそして、先生から学んで、自分ができることは何でもしている．
これは，真面目な者たちが，真面目に生きていても不利益を被らないような社会を作るための復讐劇なんだ，と気づかされた．

p74では，100%完璧なものはないし純粋な善人であり続けるのは難しい．嘘をつかなければならないが、それでも、サオリに諭されて妥協ポイントを彼女なりに飲み込むシーンだった。シスターとしては救えるものから救いたい，でも，自己犠牲で終わるのは良いのか，シスターが制裁を科すというのはどうなのかと苦悶する．ここも気骨が現れている．というか後半全部気骨．
こういった妥協と気骨が合わさった内容をブルアカに欲してた．

泉へ制裁するために行うサオリの詐欺の手口，現代日本で平然と行われてる常套手段すぎる．泉の詐欺もごく普通なものだから全然現実では注意喚起されているから多分書いても大丈夫だ．詐欺するやつは自分らへの詐欺へのガードは甘いという弱みを書いてておもろポイントだと思う．

クライマックスへの行きつき方が段階的で美しい．すっと飲み込める．

マリーは、どんなにサオリに(仕方がなくとも)鬼になれる悪魔になれと言われても(シスター補正はあるだろうが)本質が優しすぎるし、自己犠牲の精神がある。誰かに犠牲を払わせるスケープゴートの文化があるから無理はないのかもしれない．

銃口を向けるシーンを見たとき，アイドルイベントの序盤のバイク奪う時に銃を構える描写，ここに使うべきでは？と思った．

p131の唐突のvaginaで中学生みたく笑ってしまう．アホ過ぎ．

そして最後，極悪性犯罪者にも祈るし，根底が優しいから自分が被害を受けていようが，救ってあげたいと思う，聖母の慈悲深さ．下劣な犯罪とマリーの精神のコントラストがすごい．
p150,151はそれが書かれている．良かった．新規情報を出して小手先でちゃちゃっと解決するキャラクターストーリーではなく，本筋からは逸れないあるべきキャラクターストーリーだった．内容的にムリだけどブルアカのイベントストーリーでやってほしい．

最初はサオリの気骨で始まり，妥協に着地し，マリーの気骨で終わる．ロジックも穴がなく，順当に物語がシームレスに進んでくれていた．何もかも完璧だった．

Adrenaline Editionがすぐ落ちてしまう問題

技術日誌
問題

RadeonのドライバについてくるGPUユーティリティソフトのAdrenaline Edtionが、ある時から起動して数秒したら落ちるようになった。

Radeon 7600 XTを使用。バージョンは25.3.1

対策

アンインストールしたリ、ドライバを消したり、アップデートしてもダメだった。
再ダウンロードするときに、工場リセットをオンにしてインストールするとうまくいった。