Kenji Hisazumi

Software Engineering, Domain-specific Language, Model-Driven Development, COP, Embedded system, Japanese Sake, 酒飲み, 高専人

[Kenji Hisazumi @nelnel]

@esumii まあ私は内申点が取れなかった私怨ですけどね...。

[Kenji Hisazumi @nelnel]

@esumii 元ポストは今時の教育現場におけるインクルーシブ教育という観点からも気になる発言です。学力が高くても、さまざまな事情で内申点を取ることが難しい生徒さんたちはいるわけで、そうした少数の生徒にも進学の機会を確保することに、今回の改革の意義があると思うのですが。

[Kenji Hisazumi @nelnel]

いろいろしすぎたらClaudeのトークンがつきたのでX(笑)

[Kenji Hisazumi @nelnel]

元の話とはかなりそれますが、うちではgithubで研究状況を共有してもらってそれで細かいフィードバックをしてます。それを集約するのも人力だと大変なのでLLMのアシストを借りてダッシュボードを作って管理してます。教員側もLLMをうまく活用できると大切なことに集中できて良いのではと思います。

[Kenji Hisazumi @nelnel]

ご苦労お察しします。いっそ状況ごとのプロンプトや定型作業のテンプレ（論文の体裁チェックなど）を用意し、コピペで使えるように共有するのはいかがでしょう。もちろんプロンプトを渡すだけではなく、その使い方や介入の仕方もセットですが、型を与えてしまうと指導がかなりスリム化してよいです。

[Kenji Hisazumi @nelnel]

ご苦労お察しします。いっそ状況ごとのプロンプトや定型作業のテンプレ（論文の体裁チェックなど）を用意し、コピペで使えるように共有するのはいかがでしょう。もちろんプロンプトを渡すだけではなく、その使い方や介入の仕方もセットですが、型を与えてしまうと指導がかなりスリム化してよいです。

[Ｆラン先生の日常 @FFFFFFFFFranran]

卒論のチェックをしています。今の学生はほぼ全員がAIに丸投げです。上位校の学生との違いは、ばれないように工夫できるかどうか、です。Fランの学生の多くは、AIの出して来たものを自分が書いた風にアレンジすることができません。そのまま出すとなぜばれるかがわかりません。例えばAIの...

[Kenji Hisazumi @nelnel]

Geminiと口頭で議論してたときに、私の発言を「バニー埋め込まれた教育」と書き取っているのを見て、ふふっ、となりました。Geminiも笑ってたw 正確には「状況に埋め込まれた教育」ですね。

[Kenji Hisazumi @nelnel]

@windy_pon また、コード生成の面からも、. (ドット) はアドレスのオフセット計算、* (アスタリスク) はメモリへの間接参照というように、演算子と機械語のアクションを明確に分けた方がコンパイラを実装しやすかった、という背景もありそうな気がします。専門じゃないので想像ですが。

[Kenji Hisazumi @nelnel]

@windy_pon 初期のCは型がゆるくポインタも単なるintだったというのはご存知と思います。そのため今の言語のようにコンパイラが型を見て、ポインタだから自動でデリファレンスしよう、と解釈は難しかったのだろうと思います。なので人間側が -> でこれはアドレスだ！と明示的に教える必要があったのだと思います。

[Kenji Hisazumi @nelnel]

@windy_pon もちろんさらに別の難解な概念で詰まったりもするものなんでしょうけどね。

[Kenji Hisazumi @nelnel]

@windy_pon 100m走を10秒切れないのは発言として受け入れられて、再帰とかもうちょっと上の抽象化できるできないの話を受け入れられないのはなんなんでしょうね。気持ちはわかるのですが。さらに不都合な真実として知的能力の方が積み上げられるのですよね。先に分かってさらにより高みに到達するという。

[中室牧子 @makiko_nakamuro]

皆さん、お待たせしました。お待たせしすぎたかもしれません！

昨年末に怒り狂って投稿しました

年末になると企業からやってくるマイナンバーカードのコピーを送れ問題（時々、コピーしたものを切り貼りして、台紙とかに貼って封筒に入れて郵送するやつ）です。

本日開催されました「デジタル行財政改革会議」（私も委員）で、松本デジタル大臣から、デジタル認証サービスを使って提出することを強力に推進するということが発表されました。

企業の皆さん！！！
下記のデジタル行財政改革会議の資料をご覧になり、支払調書等の記載にマイナンバーを取得する時は、デジタル庁が提供するデジタル認証サービスを使ってください。

フリーランスや個人事業主の皆さん！！！
もし企業が、マイナンバーのコピーの郵送を求めてきたら、デジタル庁が提供するデジタル認証サービスを使うよう、企業に求めてください。やり方がわからないと言われたら、デジタル庁に聞くように言ってください！

これは、資料にもあります通り、支払う側もその相手側も両方大きな費用と手間暇の削減になります。

デジタル認証サービスを使って、マイナンバーのコピーを郵送でおくるという前時代的な年末の作業を撲滅しましょう！！！

皆さん、じゃんじゃん拡散お願い致します。

私が昨年の年末にXでこれについてつぶやいたとき、河野太郎元デジタル大臣がこの話を拾ってくださり、関係各所に様々な働きかけをして下さいました。
松本デジタル大臣、デジタル庁の皆さん、本当にありがとうございます。
#デジタル庁 #デジタル行財政改革会議

[Kenji Hisazumi @nelnel]

@windy_pon @embedded_ch @ciniml そういう精神性のお年寄りって意外の多いのかもしれず...。君子危うきに近寄らず？ いやでも近くにいたら戦いたくなっちゃいますよねぇ。

[Kenji Hisazumi @nelnel]

@windy_pon 同感ですw SNSはあまり書いてないのですが、対面だと私に対しても絡むお年を召されたかたって、たまにいらっしゃいます笑。できそうな時は全力で撃墜してみますが。

[Kenji Hisazumi @nelnel]

@windy_pon 某技術士の人もなんでそんなに自信満々で発言できるんでしょうか、と、思ってしまいます...。

[Kenji Hisazumi @nelnel]

@windy_pon CS勉強するだけで視界が広がることは多いと思いますので大学人としてはぜひ浅くてもいいから包括的に勉強してほしいです。ソフトウェア工学もぜひという感じではあります。あと、この業界自分の知らない製品・技術ドメインへのリスペクトが足りないと思います。舐めてる。これも同根かもなと思います。

[Kenji Hisazumi @nelnel]

元ネタ(？)は安浦先生が昔から仰ってる、コンピュータが社会にビルドインされると不安定化するという話です。

[Kenji Hisazumi @nelnel]

去年、学科横断講義のパネルディスカッションで使った資料を供養します。もう使わないだろうし。LLM時代の工学は人間の精神力がボトルネックになるという話です。みんな言っていることのような気もするし、ソフトによる自動化と相似系かなとも思います。激しいけど。
https://t.co/LL5OGbdC3B

[SWEST28は無事に閉会しました @SWEST_JP]

#SWEST28 のプログラムを公開し、参加申込を開始しました！
今回も魅力的なセッションを取りそろえました
参加申込の締め切りは7月31日(金)です
プログラムは https://t.co/6a9mJ1YeWP から
お申込みはこちらのURLからどうぞ！
https://t.co/P9EgKjdohW

[windy @windy_pon]

さあ、皆の衆
申込むのだ
8月末に有休取るのを忘れないでね！

[Kenji Hisazumi @nelnel]

@kuboaki ただ今年の事例だと本当に環境要因のトラブルは0になったので、それはありがたかったです。今までだとパスに日本語が含まれてしまってmavenが動かないとか、しょうもないことで結構疲弊してたので...。

[Kenji Hisazumi @nelnel]

トラブルが減るのがわかってて長年環境のコンテナ化に踏み切れなかったのは、元の方がおっしゃっているように環境構築から学べることが多いと思っていたからです。コンテナ化に踏み切ったのは、もう開発環境構築は分業するよね、と、考えるようになったからです。

[Kenji Hisazumi @nelnel]

いい話。個人的には共感します。とはいえ大学教育において学生さんたちのPCのサポートは結構大変なのです。今年から私の講義の演習はcodespacesというかコンテナ環境でやることにしました。PCの環境依存のトラブルはゼロになりました（当たり前）。

[Kenji Hisazumi @nelnel]

@kuboaki codespacesがある程度無料で使えるので安心してやれるというのはありますね。今でもdockerとかを学生PCにインストールしてもらうのはちょっと気が引けます。
トラブルは原因がわかりにくくなることもありますし、枠使い切ったとかそういう別のトラブルが導入されたりもしますね。