diary
2016年12月の記事一覧
最先端分野を学ぶ授業推進事業
12月16日
演題 「推論のしくみ~0と1で計算してみよう~」
講師 廣川 直 氏
北陸先端科学技術大学院大学情報科学系准教授
最先端分野を学ぶ授業の第3弾として、数学的な論理式で問題を記述すれば、その論理式
をコンピューターで解いて解決できることを学びました。
“数独”の問題を例にとり、パズルのルールと盤面を論理式で表し、SATソルバーと呼
ばれるプログラムで処理することにより瞬時に解が求められることを示していただきました。
また、より効率的に解を導くためのDPLLアルゴリズムやバックトラック・バックジャン
プといった手法について説明を受けました。
この方法がソフトウェアやハードウェアの自動検証に実用されている例や、情報科学の先
端的な課題についても教えていただきました。
<外部専門家等を活用した最先端分野を学ぶ授業推進事業>
授業の発展的内容として外部専門家を活用し、最先端な科学技術に触れたり、専門分野に
ついて深く学ぶことを通して、学習意欲を高め主体的に思考する人材を育成することを目的
とした石川県教育委員会の指定事業です。
2020年 創立100周年
お知らせ
【2024年3S歩行地図】
・全体(MAP①~⑧)
【体験入学関連】
・体験入学実施要項
・参加する中学生のみなさんへ
・中学校のご担当の先生用
(○○中学校)体験入学申込書.xls
【在校生用】
【一般の方用】
いしかわ性暴力被害者支援センター
「パープルサポートいしかわ」
https://www.pref.ishikawa.lg.jp/josou/purplesupport.html
COUNTER (Since 2019/6/26)
2
1
2
6
2
8
4