Seiichi Tani retweeted
My occasional reminder that the solution to P v NP is not around the corner. The claimed refutation to ETH doesn't reduce the running times of NP problems in general, such as 3-coloring or CNF-SAT with no bounds on the clause size. We still have no approach to settling P v NP.
Seiichi Tani retweeted
「NP \neq EXP も言える」と誤解しているツイートを見かけたのでそのあたりも追記.
github.com/ono-work/sat-algo…
Seiichi Tani retweeted
ETHの否定というと何だかネガティブなニュースのようにも聞こえるけれど,(結果が正しいなら)アルゴリズムがもっと速くなる余地があるということで喜ばしいということで,簡単にわかることをAIにまとめさせてみました.
github.com/ono-work/sat-algo…
こういう取り組みがとてもありがたい。
情報処理学会、「情報科全教科書用語リスト第2版」を公開 - こどもとIT
edu.watch.impress.co.jp/docs…
Seiichi Tani retweeted
情報処理学会、「情報科全教科書用語リスト第2版」を公開 - こどもとIT
教科書改版における用語の掲載状況を表す属性(継続的に掲載されている、新たに掲載された、削除されたなど)も明記しており、高校での授業や大学における入試問題作成に活用できるという。
edu.watch.impress.co.jp/docs…
Seiichi Tani retweeted
【情報処理学会】「情報科全教科書用語リスト第2版」を公開
dreamnews.jp/press/000036601… @dreamnews_press
Seiichi Tani retweeted
第88回全国大会イベント企画:新課程「情報入試」-2年目の共通テストと広がる個別入試-,
情報処理, Vol.67, No.11, pp.487-492 (2026).
jnsg.jp/?p=7612
谷聖一先生(日本大学文理学部)@sei1taniが解説します。
Seiichi Tani retweeted
2026年10月22日(木)
高校情報科教員と大学情報学科教員との情報交換会・研究協議会 が開催されました。
谷聖一先生(日本大学)@sei1tani
文理融合学部で情報入試に期待すること ― 日本大学文理学部の場合 ―
di-council.sakura.ne.jp/docs…
講演資料が掲載されています。
Seiichi Tani retweeted
ipsj.or.jp/magazine/peta-gog…
2026年2月に開催した「高校教員向けワークショップ:情報教育や情報技術を活用した問題解決・探究学習推進のヒント」の報告を掲載していただきました!
Seiichi Tani retweeted
大学入試を中心とした情報分野の学力評価手法の検討シンポジウム2026
10月31日(土)13:30〜17:00
慶應義塾大学 三田キャンパス 北別館
招待講演:情報 Ⅰ 模擬試験を作る苦しさと楽しさ 竹内 郁雄(東大名誉教授)
EMIU全体説明
各グループからの説明
討論「良問はいかにして生まれるか:作題を探る」
Seiichi Tani retweeted
情報処理学会誌教育コーナー「ぺた語義」
2月に実施したワークショップの報告記事が掲載されております。よろしければご覧ください!
2026年 11月号(10/15発行)
情報教育課程の設計指針の改訂とAI 利活用の潮流(徳山 豪)
「高校教員向けワークショップ:情報教育や情報技術を活用した問題解決・探究学習推進のヒント」開催報告(遠山紗矢香・田﨑丈晴・井手広康)
第88回全国大会イベント企画:新課程「情報入試」─ 2年目の共通テストと広がる個別入試─(谷 聖一)
ipsj.or.jp/magazine/peta-gog…
Seiichi Tani retweeted
【一問一答インタビュー】
2026情報オリンピアンに聞いてみた!
#国際情報オリンピック に出場したオリンピアンの素顔に、さらに迫ります🔥
今回も、普段なかなか聞けない質問に答えてもらったので、ぜひ最後までチェックしてね😀
国内予選参加締切は、10月22日(木)15時‼️
申込お待ちしています🎶
Seiichi Tani retweeted
第88回全国大会イベント企画:新課程「情報入試」-2年目の共通テストと広がる個別入試-,
情報処理, Vol.67, No.11, pp.487-492 (2026).
jnsg.jp/?p=7612
谷聖一先生(日本大学文理学部)@sei1taniが解説します。
Seiichi Tani retweeted
【一問一答インタビュー】
2026情報オリンピアンに聞いてみた!
#国際情報オリンピック に出場した、オリンピアンにインタビュー🎙️
※昨日の投稿仕様ではYouTubeのURLしか表示されなかったので、再投稿しました💦
Seiichi Tani retweeted
情報処理学会 高校教科「情報」シンポジウム2026秋
日時:10月18日(日)10:00-16:00
場所:工学院大学 新宿キャンパス
参加費:無料
講演:須藤祥代氏、中山泰一氏、登本洋子氏、亀田香利氏、鎌田高徳氏、蓮池隆氏
パネルディスカッション:井手広康氏(コーディネータ)
実行委員長:伊藤大貴氏
プログラミングで非常に重要な「アルゴリズム」。中学生・高校生向けに図解のわかりやすい記事を書きましたので、皆さんぜひお読みください!
teapawt.org/mirapub_2021/status/21…
【100 年かかる問題を 0.01 秒で解く「アルゴリズム」】
ICPC世界大会2位の競技プログラマーであるE869120さんに、アルゴリズムの奥深さが学べる記事を寄稿していただきました。
記事後半では、プログラミング的思考力を鍛えられるパズルもお楽しみいただけます。
mirapub.or.jp/2026/10/02/alg…
Seiichi Tani retweeted
【100 年かかる問題を 0.01 秒で解く「アルゴリズム」】
ICPC世界大会2位の競技プログラマーであるE869120さんに、アルゴリズムの奥深さが学べる記事を寄稿していただきました。
記事後半では、プログラミング的思考力を鍛えられるパズルもお楽しみいただけます。
mirapub.or.jp/2026/10/02/alg…
Seiichi Tani retweeted
第15回情報科教員を目指す学生さんに向けてのガイダンス会2026
ipsj.or.jp/sig/ssr/20261004/
日時
2026年10月4日(日)14:00~17:00
場所
オンライン
*Zoomを予定
対象
高等学校の情報科教員を目指す学部学生または修士学生
大学/高校/中学教員の皆様
高等学校の情報科教員を目指す社会人の皆様
Seiichi Tani retweeted
パソコン甲子園2026プログラミング部門の本選出場チームが決定いたしました!! 詳細は下記をご覧ください。
#パソコン甲子園 #プログラミング部門
pckoshien.u-aizu.ac.jp/final…
Seiichi Tani retweeted
JAG 夏合宿 2026 の解説を公開しました。
jag-icpc.org/?2026%2FPractic…














