2016年12月の記事一覧

                                                                      １２月１６日

　演題　「推論のしくみ～0と1で計算してみよう～」
　講師　廣川　直　氏　
　　　　北陸先端科学技術大学院大学情報科学系准教授
 

　最先端分野を学ぶ授業の第３弾として、数学的な論理式で問題を記述すれば、その論理式
をコンピューターで解いて解決できることを学びました。
　“数独”の問題を例にとり、パズルのルールと盤面を論理式で表し、ＳＡＴソルバーと呼
ばれるプログラムで処理することにより瞬時に解が求められることを示していただきました。
また、より効率的に解を導くためのＤＰＬＬアルゴリズムやバックトラック・バックジャン
プといった手法について説明を受けました。
　この方法がソフトウェアやハードウェアの自動検証に実用されている例や、情報科学の先
端的な課題についても教えていただきました。

＜外部専門家等を活用した最先端分野を学ぶ授業推進事業＞
　授業の発展的内容として外部専門家を活用し、最先端な科学技術に触れたり、専門分野に
ついて深く学ぶことを通して、学習意欲を高め主体的に思考する人材を育成することを目的
とした石川県教育委員会の指定事業です。

                                                                    １２月１３日

　２年人文科学コースでは、6月から課題研究を続けてきました。本日はその研究成果を
ポスター発表し、互いに評価しあいました。また、研究の改善点・今後の研究方針につい
て協議を行いました。
　相互評価により選ばれた研究は、県内の５校による「NSH課題研究合同発表会」（1月
３１日）で発表されます。

  
《研究テーマ》
・1980’s リバイバル！
・Differences between Japanese idols and other countries idols
・Why Are Disney Movies So Popular?
・ディズニーの秘密
・平安と平成の恋愛観
・Are beautiful Japanese beautiful all over the world?

空手道部の１２月練習予定表を掲載しました。
部活動からご覧ください。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　【部活動】更新