高校分野の解法を使って円周率の新しい求め方を証明した（左から）中山啓太さん、丸尾祐希さん、田中陸人さん、宮本陣弥さんと指導した宮寺良平教諭＝西宮市高座町 西宮市立西宮高校（兵庫県西宮市高座町）３年の４人が「三角比の定理」などを用いて証明した「円周率の新しい求め方」が、オーストラリアの大学が発行する数学雑誌に掲載された。授業の一環で取り組んだ。高校までで学ぶ公式などを使って証明することは困難とされており、新たな証明方法として評価された。大学受験と部活に励む生徒たちは「答えのない研究だったが、成果を出せて安心した」と快挙を喜んでいる。（久保田麻依子） 【写真】史上最年少で「数学検定」１級合格　兵庫の小４、理数系大卒業レベル メンバーは、同校グローバル・サイエンス科の田中陸人さん（１７）▽中山啓太さん（１７）▽丸尾祐希さん（１７）▽宮本陣弥さん（１８）。臨時講師の宮寺良平教諭（６７）が指導した。

今年の頭にうちの会社にやってきたエンジニアの話。 彼は実装がめちゃくちゃ速く、コードもきれい。テストもちゃんと書く。 とてもできるエンジニアなのだが、一つだけ困っていることがある。 実装完了した機能をすぐに本番環境にデプロイできないと、とても不機嫌になるのだ。 うちの会社が開発しているのはtoBのシステムで、実装内容によっては営業やカスタマーサポートからお客さんにアナウンスがされてからでないとデプロイができないものがある。 急にUIが変わったり新機能が追加されるとお客さんが混乱するしカスタマーサポートに問い合わせが殺到するので、デプロイ前に調整が発生するのは致し方ないことなのだが、こうした背景を説明しても彼は納得してくれない。 「とにかく早くデプロイをさせろ」の一点張りで、彼が勝手にPRをリリースブランチにマージして、機能が出てしまったこともある。 それによってカスタマーサポートへの問い合

生成AIの社会実装を推進する一般社団法人「生成AI活用普及協会」は5月22日、資格試験「生成AIパスポート」を開発していることを発表した。生成AIに関する知識やスキルを可視化する試験という。同日に開設した同団体の公式Webサイトで明かした。 開発中の生成AIパスポート試験では、生成AIに関する基礎知識や簡易的な活用スキルの可視化を目指す。AIを使ったコンテンツ生成の方法や事例、企業に求められるコンプライアンス、注意点などを問うという。企業・団体向け試験と、個人向け試験を作成する予定。試験の実施時期などは未定。 生成AI活用普及協会は5月に立ち上がった団体。生成AIを社会で活用していくために、スキルの習得・可視化を推進することが目的という。公式Webサイトでは「生成AI活用スキルの可視化は、企業における適正な人事評価に役立ち、会社員のキャリア形成や学生の就職活動などの一助になると考えている。