著者

中山 泰一 中野 由章 久野 靖 和田 勉 角田 博保 萩谷 昌己 筧 捷彦 Yasuichi Nakayama Yoshiaki Nakano Yasushi Kuno Ben Tsutom Wada Hiroyasu Kakuda Masami Hagiya Katsuhiko Kakehi

出版者

IOI, Vilnius University

雑誌

Olympiads in Informatics (ISSN:18227732)

巻号頁・発行日

no.12, pp.177-185, 2018

被引用文献数

2

---

In March 2018, the Japanese Ministry of Education, Culture, Sports, Science and Technology revised the curriculum guidelines for high school, which will be applied in 2022. The subject of Informatics has been drastically changed; ‘Informatics I’ and ‘Informatics II’ have a predominantly scientifc approach. This could be problematic given that a lot of ‘temporary teachers’ and ‘teachers without a proper license’ teach Informatics, and more than half of the teachers that teach Informatics are in charge of multiple subjects. So, it may be diffcult to implement new curriculum in the dozens of prefectures that have few teachers who specialize in Informatics. We report on the problems our investigation revealed.

著者

中山 泰一 中野 由章 角田 博保 久野 靖 鈴木 貢 和田 勉 萩谷 昌己 筧 捷彦 Yasuichi Nakayama Yoshiaki Nakano Hiroyasu Kakuda Yasushi Kuno Mitsugu Suzuki Tsutomu Wada Masami Hagiya Katsuhiko Kakehi

出版者

情報処理学会

雑誌

情報処理学会研究報告. コンピュータと教育 (CE)

巻号頁・発行日

vol.2015-CE-131, no.11, pp.1-9, 2015-10-03 (Released:2016-07-25)

---

本論文では、高等学校情報科の教科担任の現状を明らかにするため、都道府県教育委員会における臨時免許状の授与と、免許外教科担任の許可の状況を調査した。その調査結果を報告するとともに、わが国の情報教育のありかたについて考察する。

著者

中山 泰一 中野 由章 角田 博保 久野 靖 鈴木 貢 和田 勉 萩谷 昌己 筧 捷彦 Yasuichi Nakayama Yoshiaki Nakano Hiroyasu Kakuda Yasushi Kuno Mitsugu Suzuki Tsutomu Wada Masami Hagiya Katsuhiko Kakehi

出版者

情報処理学会

雑誌

情報処理学会研究報告. コンピュータと教育 (CE)

巻号頁・発行日

vol.2015-CE-131, no.11, pp.1-9, 2015-10-03

---

本論文では、高等学校情報科の教科担任の現状を明らかにするため、都道府県教育委員会における臨時免許状の授与と、免許外教科担任の許可の状況を調査した。その調査結果を報告するとともに、わが国の情報教育のありかたについて考察する。

著者

湯浅 太一 萩谷 昌己 Taiichi Yuasa Masami Hagiya 京都大学数理解析研究所 京都大学数理解析研究所

雑誌

コンピュータソフトウェア = Computer software (ISSN:02896540)

巻号頁・発行日

vol.1, no.2, pp.175-178, 1984-07-13

被引用文献数

1

著者

中山 泰一 中野 由章 久野 靖 和田 勉 角田 博保 萩谷 昌己 筧 捷彦

雑誌

研究報告コンピュータと教育(CE) (ISSN:21888930)

巻号頁・発行日

vol.2016-CE-135, no.9, pp.1-7, 2016-06-25

---

情報科の教科担任の現状を明らかにするため,筆者らは臨時免許状の授与と免許外教科担任の許可の状況を調査してきた.情報科では,臨時免許状や免許外教科担任が多用されている.また,普通免許状の保有者でも半数以上の教員が他の教科を担当している状況である.

著者

萩谷 昌己 中山 泰一 Masami HAGIYA Yasuichi NAKAYAMA

出版者

情報処理学会

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.61, no.8, pp.847-851, 2020-07-15

著者

萩谷 昌己

雑誌

情報処理

巻号頁・発行日

vol.43, no.3, pp.311, 2002-03-15

著者

萩谷 昌己

雑誌

情報処理

巻号頁・発行日

vol.32, no.1, 1991-01-15

著者

中野 由章 中山 泰一 筧 捷彦 萩谷 昌己 久野 靖 角田 博保 辰己 丈夫 Yoshiaki Nakano Yasuichi Nakayama Katsuhiko Kakehi Masami Hagiya Yasushi Kuno Hiroyasu Kakuda Takeo Tatsumi

出版者

情報処理学会

雑誌

情報教育シンポジウム論文集

巻号頁・発行日

no.2021, pp.100-105, 2021-08-21

---

高等学校共通教科情報科は,2025 年度大学入学共通テストから出題されることが大学入試センターと文部科学省から発表されている.しかし,その検討素材としては,大学入試センターが 2020 年に示した試作問題(検討用イメージ)と 2021 年に公開したサンプル問題しかない.そこで,2022 年度から高等学校で始まる「情報Ⅰ」の授業内容の構築に資するべく,1997 年度大学入試センター試験から出題されている「情報関係基礎」の問題を分類し,高等学校共通教科情報科との対応を試みた.

著者

萩谷 昌己

雑誌

情報処理

巻号頁・発行日

vol.62, no.11, pp.e62-e66, 2021-10-15

---

2021年7月30日,文部科学省は2025年の大学入学共通テストに「情報」を出題教 科として,「情報I」をその科目として定めることを正式に発表した.これに呼応して本会では2021年8月4日に以下の意見を会長名で表明した.本稿では,この意見の背景を説明するとともに,多くの大学が入試に「情報」を採用すべき理由を述べる.すなわち,情報分野の素養は「情報社会に生きる市民」が共通して身につけておくべきものであり,すべての大学学部学科において,それぞれの学習および研究はその基礎の上に展開されていることを鑑みるならば,その定着を大学入試で測ることは高等教育にとってまったく適切である.

著者

中野 由章 中山 泰一 筧 捷彦 萩谷 昌己 久野 靖 角田 博保 辰己 丈夫

雑誌

情報教育シンポジウム論文集

巻号頁・発行日

no.2021, pp.100-105, 2021-08-21

著者

萩谷 昌己 久野 靖

雑誌

研究報告コンピュータと教育(CE) (ISSN:21888930)

巻号頁・発行日

vol.2021-CE-158, no.12, pp.1, 2021-02-06

著者

香西 省治 角谷 良彦 西田 知博 植原 啓介 萩谷 昌己 萩原 兼一

雑誌

研究報告コンピュータと教育(CE) (ISSN:21888930)

巻号頁・発行日

vol.2020-CE-153, no.24, pp.1-10, 2020-02-08

---

文部科学省の大学入学者選抜改革推進委託事業(情報分野)で研究開発した CBT (Computer Based Testing) システムを実装面から概説する.本事業の目的は,思考力・判断力・表現力を評価する「情報科」の試験問題を研究することである.この評価のためには,紙による出題よりプログラミング能力などを効果的に評価しやすい CBT による出題の方が試験問題の幅を広げることができると考えた.この CBT システムは,「CBTならでは」の試験問題を受験者に出題することを重視して,実際に作成された「CBTならでは」の模擬試験問題を一般化・仕様化し,その後発生する仕様変更にも柔軟に対応できるブラウザ型の専用システムとして開発した.この CBT システムは,出題する試験問題を確認する作問機能部,受験者が受験するための機能を持つ試験機能部,試験結果を採点・集計する採点・集計機能部の 3 論理サブシステムから構成される.CBT システムによる試験実施運用シーケンスに基づく各論理サブシステムの動作と,プログラミング問題,ゲームブック型問題等の特徴的な 5 形態の試験問題の処理を示すことを通して,開発した CBT システムがこの事業で研究した「CBTならでは」の試験問題を出題できることを示す.尚,2017 年と 2018 年に実施した実証実験では,主にサーバ負荷の面で問題は発生していない.

著者

大谷浩司 角野 宏司 児島 彰 萩谷 昌己 服部 隆志 劉 樹苓 Koji Otani Hiroshi Kakuno Akira Kojima Masami Hagiya Takashi Hatori Shuling Liu ASTEC 立石電機 京都大学 京都大学 慶応大学 京都大学

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.7, no.1, pp.45-60, 1990

被引用文献数

2

---

並列オブジェクト指向パラダイムに従って実現されたウィンドウ・システムであるGMWと,GMW上でのアプリケーション構築法について述べる.UIMSの一般論に基づいて,ウィンドウ・システム上のアプリケーション構築における並列オブジェクト指向パラダイムの重要性,仮想機械サーバ方式の利点等について議論した後,GMWウィンドウ・システムとそのツールキットについて概観する.GMWは,次のような特徴を持った仮想機械サーバ型のウィンドウ・システムである.アプリケーションのユーザ・インターフェース部を実現するために,新たに設計された並列オブジェクト指向言語Gのコンパイラと仮想機械をサーバ内に持っていること.アプリケーション本体とユーザ・インターフェース部の通信を支援するために,並列オブジェクト指向パラダイムに従ったスタブ生成系を提供していること.G言語によって実現されたユーザ・インターフェース開発環境によって,アプリケーション実行時にもユーザ・インターフェースの編集が可能であること.

著者

萩谷 昌己

雑誌

新学術領域研究(研究領域提案型)

巻号頁・発行日

2012-06-28

著者

今井 健男 酒井 政裕 萩谷 昌己

出版者

日本ソフトウェア科学会

雑誌

コンピュータ ソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.30, no.2, pp.2_207-2_226, 2013-04-25 (Released:2013-08-25)

---

本稿では,プログラムの事前条件推定を行う新たな手法を提案する.本手法では,プログラムのテキストから生成した述語の集合とプログラムに相当する論理式,および事後条件の否定の連言を作り,そのMinimal Unsatisfiable Core(MUC)から事前条件を求める.MUCは一般的に複数存在するが,本手法ではまずMUCを列挙し,その中から事前条件として適格で,かつ最も弱い条件を選択する.こうして得られる事前条件は理想的な最弱条件ではないが,与えられた述語群の組み合わせの中で最も弱いという点で,我々はこれを「準最弱」な事前条件と呼ぶ.我々は,C言語向け有界検査ツールCForgeを援用し,上記手法を実現するツールSMUCEを試作した.その上で,教科書的なアルゴリズムを実装するC言語関数9個に,2種類の事後条件と共に適用し,人手で求めた事前条件との比較による評価を行った.結果,延べ18個中10個において,人手で求めた事前条件と同等か,より弱い条件が推定され,提案手法が原理上,実用的な事前条件を推定できることが確認できた.

著者

萩谷 昌己

雑誌

情報処理

巻号頁・発行日

vol.44, no.2, pp.210, 2003-02-15

著者

萩谷 昌己

雑誌

第57回プログラミング・シンポジウム予稿集

巻号頁・発行日

vol.2016, pp.171-177, 2016-01-08

---

本稿の前半では情報学分野の参照基準について紹介し,参照基準に関連してJ17について簡単に触れる.参照基準の要点は,文系と理系に広がる情報学を定義していることと,情報学をメタサイエンスと捉えていることの二つにまとめられる.二つの要点に関連して,情報学に固有の知識の体系の中から,情報一般の原理と,情報を扱う人間と社会に関する理解(社会情報学)について簡単に説明する.本稿の後半では情報教育改革について議論する.まず,情報教育改革は社会イノベーションであり,情報教育改革を目標とする活動は情報学の研究であると主張する.次に,情報教育の目標として求められる人材像について述べ,そのための教育体系について簡単に触れる.最後に,情報教育改革を達成するためには,理想とする社会像を描き,その中に情報教育を位置付けるべきことを述べ,文系と理系に広がる情報学がそれらの課題へ挑戦する期待を本稿全体の結論とする.

著者

西田 知博 植原 啓介 角谷 良彦 鈴木 貢 中山 泰一 香西 省治 高橋 尚子 中西 通雄 松浦 敏雄 増澤 利光 萩谷 昌己 萩原 兼一

雑誌

情報教育シンポジウム論文集

巻号頁・発行日

vol.2017, no.28, pp.182-187, 2017-08-10

---

我々は,文部科学省委託事業 「情報学的アプローチによる 「情報科」 大学入学者選抜における評価手法の研究開発」 の中で,これまで情報入試研究会として実施してきた大学情報入試全国模擬試験を出発点とし,「思考力 ・ 判断力 ・ 表現力」 を評価するという視点も加えて 「情報科」 大学入学者選抜を CBT システム化するためにはどのような機能が必要かを検討している.ここではその検討経過と,今年度実施する試行試験用システムおよび,新しい出題フレームワークなど現在検討している出題方式を紹介する.

著者

萩谷 昌己 Masami Hagiya 東京大学大学院情報理工学系研究科 Graduate School of Information Science and Technology The University of Tokyo

雑誌

人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence (ISSN:09128085)

巻号頁・発行日

vol.23, no.3, pp.404-414, 2008-05-01