最先端分野を学ぶ授業推進事業
12月16日
演題 「推論のしくみ~0と1で計算してみよう~」
講師 廣川 直 氏
北陸先端科学技術大学院大学情報科学系准教授
最先端分野を学ぶ授業の第3弾として、数学的な論理式で問題を記述すれば、その論理式
をコンピューターで解いて解決できることを学びました。
“数独”の問題を例にとり、パズルのルールと盤面を論理式で表し、SATソルバーと呼
ばれるプログラムで処理することにより瞬時に解が求められることを示していただきました。
また、より効率的に解を導くためのDPLLアルゴリズムやバックトラック・バックジャン
プといった手法について説明を受けました。
この方法がソフトウェアやハードウェアの自動検証に実用されている例や、情報科学の先
端的な課題についても教えていただきました。
<外部専門家等を活用した最先端分野を学ぶ授業推進事業>
授業の発展的内容として外部専門家を活用し、最先端な科学技術に触れたり、専門分野に
ついて深く学ぶことを通して、学習意欲を高め主体的に思考する人材を育成することを目的
とした石川県教育委員会の指定事業です。
【入学志願者用】
・令和6年度入学志願者心得R6.1.24更新
地震等で、今後、志願者心得が変更になる場合があります。最新の志願者心得は適宜、HPで確認して下さい。
【在校生用】
【一般の方用】
学校評価について以下の通り掲載しました。
・令和4年度最終評価報告書
・令和5年度学校経営計画書
・令和5年度自己評価計画書
・令和5年度中間評価報告書
令和5年度学校案内について掲載しました。
2023年3S歩行地図を掲載します。(PDF版)
・全体(MAP①~⑧)
いしかわ性暴力被害者支援センター
「パープルサポートいしかわ」
https://www.pref.ishikawa.lg.jp/josou/purplesupport.html