彷徨っている情報系教員

学生に「この研究の面白いポイントはここ、というのが伝えられたら勝ち」とよく言っているのですが。その分野に興味を持っている人が集まっている年次大会は、その最初の障壁が異様に低いので、学生にとってやっぱり良い発表機会なんですよねえ。

とりあえず、学生のポスター発表は無事に終了。聞きに来てくださった皆様、ありがとうございました。前向きな質問をもらえて楽しかったようです。
（これまで学科内で発表する機会はあったのですが、「これなにが面白いの？なにがやりたいの？」という後向きな質問が多数で、凹んでたんですよね）

にゃーん（かなりつらいことがあったので、学会とか行かずに家で布団かぶって寝てたい。学生の発表があるから無理だけど）

個人的には、これで Python みたいな動的型付け言語に代わって、静的な解析で安全性を保証できる Rust みたいな言語が主流になるんじゃないかなあと思ったりしますが。ただ、現時点では、そういう静的安全なコードの事前学習データが少ないのがネックですけど。

まだAIコードをレビューするか、しないかで言い争ってるの？

「コードレビュワーの育成方法として、コードを書いて経験を積む以外の道は、いまだ確立されていません」「今後コードレビュワーは育てられない」 zenn.dev/nuits_jp/art...
身も蓋もない指摘だなあ。ただ、某大学CS系学科の学部生を見ていると、半数は生成AIが生成したコードを読解できていない気がする（レビューできていない以前）。せめて読解できるレベルに教育する必要性があるんじゃないかな。

朝からやる気の爆下がりイベントがあったのに、今日は会議が目白押し。会議でブチ切れないように気をつけないと。

その内、JRの境界をまたいだら通算されません、連絡切符のみ発売します、という時代が来そうな。

往復割引の対象にはならないけど、往復切符にはしてみました。この切符が、私にとって最後の往復切符になりそう。

サポート付き券売機を試してみたのですけど敗退。比較的長距離の切符だけ購入（特急券は別途購入）する方法が分からず。切符を購入というボタンを押すとそのまま、新幹線、特急、新幹線+特急の3択になるんですよ。勘弁して。

「テストの点数でやりたいことを決めるんじゃなくて、やりたいことのために必要なだけ点数を取れば良いのよ」
大人になると通じないことが増えるきれいごとだけど。子供はまだ通じるはず。

最近、広告を消すボタンが表示されないウェブサイト（使っているスマホの画面サイズが小さ目なので、消すボタンが表示範囲外になってしまう）が増えましたね。広告ブロッカー入れるしかないか…

宇都宮楽しそうだなあ

NLP2026に出張するための切符の運賃計算してみると、EX-ICと新幹線eチケットを合算した場合（つまり東京駅で完全に分割されているパターン）と、発駅から着駅まで通算の乗車券と新幹線特急券を個別購入した場合で、xx円しか安くならなかった。もう少し遠くないと距離逓減が効かないのか。さてどうしたものかな。でもまあ、子供が切符を欲しがるから、めんどくさい方で行くかなあ。

NLP2026は、諸事情により本会議3日間のみ現地参加になりそう。やれやれ。

この使い方は、将棋のプロ棋士が将棋AIを使って研究しているのと同じ使い方に見えるので、そんな「負けた」イメージはないんだけどなあ。
（生成と推論の非対称性は、私の予想とは若干違って、それなりに根深い問題みたいなので、証明部分も生成AIができるようになるにはちょっと時間がかかるんじゃないかな。とは言え、いつなんどき、ブレークスルーが出てくるかわからないご時世なんですけど）

大規模言語モデルに、文脈自由文法（CFG）の規則にしたがって生成された単語列のサンプルを幾つか与えると、元のCFGを推測・生成することができる。なのに、CFGと単語列を入力して、その単語列がCFGを満たすか？と聞くと回答できないよ、という論文 arxiv.org/abs/2310.08559
こういうのを見てると、なんで Agentic Coding があんなに成功しているのか分からなくなってくるのですけど。

しかし、最近のカメラ事情をサーベイする根気もなかったり（サーベイを省略して、景気良くぽんとお金が出せるなら、今日まで古いカメラをひきずっていないんだよなあ）

自分の写真の下手さに愛想が尽きたので、ここはやはり、最近のカメラに助けてもらわなければダメなのでは、という気持ち（子供行事ってほとんどが一発勝負なので、失敗すると精神的ダメージがつらい）

「（対戦型SNSには）デマやフェイクニュースは存在しない。よって、対戦型SNSにおけるデマやフェイクニュースについて研究発表するというのは、対戦型SNSに対する誹謗中傷である」というのが、対戦型SNS運営の立場。という噂が聞こえてきて、目が点。

某事務室に出入りするための電子錠、昨日までは職員証内臓のFeLiCaチップだったのですけど、今日から入室許可者全員に共通の4桁暗証番号に退化してしまった。万が一、盗難その他の事故が起こった場合、誰が（少なくとも誰のカードで）入室したかも分からなくなるのに、それで良いのか（世の中、利便性のことしか考えていない人が多過ぎて、まじで困る）

他の人の意見を聞く気がないのだったら、私は降りるから貴方一人で決めなよ、とものすごく言いたくなるのだけど。だけど、そういうわけにもいかんのだろうなあ。

うむ、久しぶりに話の通じない人と話をした。めんどくさー。

今年も↓の方法で確定申告 done（書類の記載内容に納得がいかなくて調査に時間がかかったけど、最終的には納得。毎年こうして、税金と家計状況に関する知識が強制的にアップデートされるのは、教育効果（どちら方面の教育かはさておき）が高いんじゃないかなあ）

年末調整を廃止して、全員が確定申告するようになったら、税金に対する意識がもっと高まるだろうか（なにか見たらしい）

ゆうゆう窓口 - Wikipedia

ふと気になって調べたら、最近は集配局も時間外窓口を24時間営業していないのか。怖や怖や。
ja.wikipedia.org/wiki/%E3%82%...

『人とのつながりが少ない人ほど、AIに「仲間」を求めやすい』
ふむふむ、と言いたくなるけど、「つながり」をどう定量化してるの？（論文読め > 自分） #CSSJ2026

しかし、天気予報は雨なんだよなあ

働かなくても良い歳になったら、放送大学で興味のあることだけ摘み食いの勉強をして、学割で旅行する、と言うのが理想的な老後じゃないかなあ（その前に片付けねばならんことが山のようにあるから、当分無理。まずは、頭と身体の体力の維持に努めるのみやな）

システム異常を見かけた時に「そういうもんよね」「なんの考慮漏れをやらかしたんかな」と、思わず優しくなってしまうのはシステム開発経験者。

卒業式の式辞とか、生成AIの独壇場じゃないかなあ（校長と理事長の式辞、ネタがかぶってて笑う。事前調整大事）