産総研 - 採用情報　契約職員募集（つくばセンター） https://unit.aist.go.jp/hrd/keiyaku_koubo/30-itri_0018.html

「IoTの安全性のための検証ツールの研究開発
①定理証明支援系Coqによるプログラムの形式化・形式仕様作成・形式検証
(参考文献: https://staff.aist.go.jp/reynald.affeldt/documents/mona_equa.pdf)
②定理証明支援系CoqによるC言語のコード生成の実験
(参考文献: https://staff.aist.go.jp/tanaka-akira/succinct/)」

修士の学生が対象なので興味がある方は募集要項を読もう

（ここに石柱を振り回す高槻やよいの画像を貼る）

そういえば書いてなかったなと思ったので書きますが、プロフィールに固定している"mi lersse kikud cun fgir fattars es kokolsel villast."はリパライン語を学び始めた頃に書いた文（fattars以外は「初学者のためのリパライン語」に出てくる語彙であることからもわかる）で、その頃はla lexは前の分全体を指すと勘違いしていたので間違っていると分かりつつfgirを使っていたんですが、実際は文の一部も指せるので"mi lersse kikud cun la lex fattars es kokolsel villast."が多分正しい（接続詞て繋がっている文を「前文」と呼べるのかどうか自信がない）です

帰ってからそうします

一晩経ってパネルが真っ白になってたらすべてがおしまいです

今のところ操作はできる

その通りです（UVレジンの場合、割れ目に微量流し込んで一旦硬化させ、表面全体に塗ってすぐ保護フィルムを貼って再度硬化させるそうです）

ア？！ア！！！！