スポーツベットアイオー (Sportsbet.io) ブックメーカー徹底評価

info_outline 重要なお知らせ search search facebook twitter youtube instagram spotify languageEnglish mode_of_travelアクセス forward_to_inboxお問い合わせ diversity_2社会貢献 handshake寄付のご案内 News Press Releases News 受賞・表彰 お知らせ Features 理学部ニュース リガクル YouTube Events サイエンスギャラリー イメージバンク 理学系について 研究科長からのご挨拶 憲章 組織 機構図・役職 窓口一覧(学内限定) 研究者 共有施設 理学図書館 小柴ホール・共通講義室 歴史 ロゴ 理学部概要・パンフレット 会議資料 教授会議事録 会議資料サイト(学内限定) 研究 最新の研究成果 専攻紹介 附属施設紹介 素粒子物理国際研究センター 研究倫理 入学案内 学部 アドミッションポリシー 学士入学 GSC 学部研究生 学部聴講生 奨学金 大学院 アドミッションポリシー 修士課程 博士課程 GSGC 外国人特別選考 外国人研究生 大学院研究生 特別聴講学生 奨学金 教育 学部教育 お知らせ 学科紹介 カリキュラム・ディプロマポリシー 教育プログラム 科目ナンバリング 授業評価アンケート 大学院教育 お知らせ 専攻紹介 カリキュラム・ディプロマポリシー 教育プログラム 産学連携プラットフォーム 科目ナンバリング 国際 ダブルディグリープログラム 受入れプログラム 学生の声 UTRIP GSC GSGC その他プログラム 派遣プログラム 学生の声 SVAP UGRASP GRASP その他プログラム 支援 奨学金・経済的支援 就職情報・キャリア支援 キャンパスライフ 保健センター 学生支援室 育児支援室・休養室 ハラスメント相談体制 ダイバーシティ＆インクルージョン 男女共同参画室 バリアフリー支援室 国際支援 留学生 外国人研究者・教員 在学生向け留学情報 研究者の海外派遣情報 グローバル化支援(学内) ETHZとの戦略的パートナーシップ(SPUR) 研究科支援 研究支援総括室 情報システムチーム 技術部 広報室 環境と安全 環境安全管理室 放射線管理室 研究資金 卒業生・修了生 同窓会 各種証明書交付申請のご案内 person 訪問者別 edit_note受験生 apartment在学生 location_city駒場生 school卒業生 lab_research教職員・研究者 video_camera_frontメディア JP EN person訪問者別 受験生 News 重要なお知らせ Press Releases 受賞・表彰 理学部ニュース リガクル YouTube Events サイエンスギャラリー 理学系について 理学図書館 小柴ホール・共通講義室 理学部概要・パンフレット 研究 最新の研究成果 入学案内（学部） アドミッションポリシー 学士入学 GSC 学部研究生 学部聴講生 奨学金 入学案内（大学院） --> 入学案内（大学院） アドミッションポリシー 修士課程 博士課程 GSGC 外国人特別選考 外国人研究生 大学院研究生 特別聴講学生 奨学金 学部教育 学科紹介 カリキュラム・ディプロマポリシー 教育プログラム 大学院教育 専攻紹介 カリキュラム・ディプロマポリシー 教育プログラム 産学連携プラットフォーム 国際プログラム（受け入れ） 学生の声 UTRIP GSC GSGC その他プログラム 国際プログラム（派遣） 学生の声 SVAP UGRASP GRASP その他プログラム 支援 奨学金・経済的支援 就職情報・キャリア支援 保健センター 学生支援室 育児支援室・休養室 ハラスメント相談体制 男女共同参画室 バリアフリー支援室 留学生 社会貢献 社会貢献 在学生 News 重要なお知らせ Press Releases 受賞・表彰 理学部ニュース リガクル YouTube Events サイエンスギャラリー イメージバンク 理学系について 窓口一覧(学内限定) 理学図書館 小柴ホール・共通講義室 ロゴ 研究 最新の研究成果 入学案内 アドミッションポリシー 学部教育 お知らせ 大学院教育 --> 大学院教育 お知らせ 教育プログラム 産学連携プラットフォーム 国際プログラム 学生の声 SVAP UGRASP GRASP その他プログラム 支援 奨学金・経済的支援 就職情報・キャリア支援 保健センター 学生支援室 育児支援室・休養室 ハラスメント相談体制 男女共同参画室 バリアフリー支援室 留学生 研究支援総括室 情報システムチーム 技術部 放射線管理室 研究資金 社会貢献 社会貢献 卒業生・修了生 同窓会 各種証明書交付申請のご案内 駒場生 News 重要なお知らせ Press Releases 受賞・表彰 理学部ニュース リガクル YouTube Events サイエンスギャラリー イメージバンク 理学系について 理学図書館 小柴ホール・共通講義室 理学部概要・パンフレット 研究 最新の研究成果 入学案内 アドミッションポリシー（学部） 学士入学 奨学金 学部・大学院教育 学科紹介（ガイダンス情報等） カリキュラム・ディプロマポリシー 教育プログラム 国際プログラム 学生の声 SVAP UGRASP その他プログラム 支援 奨学金・経済的支援 就職情報・キャリア支援 保健センター 学生支援室 育児支援室・休養室 ハラスメント相談体制 男女共同参画室 バリアフリー支援室 留学生 社会貢献 卒業生 News 重要なお知らせ Press Releases 受賞・表彰 理学部ニュース リガクル YouTube Events サイエンスギャラリー イメージバンク 理学系について 理学図書館 小柴ホール・共通講義室 研究 最新の研究成果 社会貢献 社会貢献 卒業生・修了生 同窓会 各種証明書交付申請のご案内 寄付のご案内 基金紹介 寄附金の活用事例 寄付者からのコメント 教職員・研究者 News 重要なお知らせ Press Releases 受賞・表彰 理学部ニュース リガクル YouTube Events サイエンスギャラリー 理学系について 窓口一覧(学内限定) 理学図書館 小柴ホール・共通講義室 ロゴ 理学部概要・パンフレット 会議資料サイト(学内限定) 研究 最新の研究成果 支援 奨学金・経済的支援 保健センター 育児支援室・休養室 ハラスメント相談体制 男女共同参画室 バリアフリー支援室 外国人研究者・教員 グローバル化支援(学内) 研究支援総括室 情報システムチーム 技術部 広報室 環境安全管理室 放射線管理室 研究資金 社会貢献 社会貢献 寄付のご案内 基金紹介 寄附金の活用事例 寄付者からのコメント メディアの方 News Press Releases 受賞・表彰 理学部ニュース リガクル YouTube サイエンスギャラリー イメージバンク 研究 最新の研究成果 社会貢献 社会貢献 その他 お問い合わせ list メニュー News Press Releases News 受賞・表彰 お知らせ Features 理学部ニュース リガクル YouTube Events サイエンスギャラリー イメージバンク 理学系について 研究科長からのご挨拶 憲章 組織 機構図・役職 窓口一覧(学内限定) 研究者 共有施設 理学図書館 小柴ホール・共通講義室 歴史 ロゴ 理学部概要・パンフレット 会議資料 教授会議事録 会議資料サイト(学内限定) 研究 最新の研究成果 専攻紹介 附属施設紹介 素粒子物理国際研究センター 研究倫理 入学案内 学部 アドミッションポリシー 学士入学 GSC 学部研究生 学部聴講生 奨学金 大学院 --> 大学院 アドミッションポリシー 修士課程 博士課程 GSGC 外国人特別選考 外国人研究生 大学院研究生 特別聴講学生 奨学金 教育 学部教育 お知らせ 学科紹介 カリキュラム・ディプロマポリシー 教育プログラム 科目ナンバリング 授業評価アンケート 大学院教育 お知らせ 専攻紹介 カリキュラム・ディプロマポリシー 教育プログラム 産学連携プラットフォーム 科目ナンバリング 国際 ダブルディグリープログラム 受入れプログラム 学生の声 UTRIP GSC GSGC その他プログラム 派遣プログラム 学生の声 SVAP UGRASP GRASP その他プログラム 支援 奨学金・経済的支援 就職情報・キャリア支援 キャンパスライフ 保健センター 学生支援室 育児支援室・休養室 ハラスメント相談体制 ダイバーシティ＆インクルージョン 男女共同参画室 バリアフリー支援室 国際支援 留学生 外国人研究者・教員 在学生向け留学情報 研究者の海外派遣情報 グローバル化支援(学内) ETHZとの戦略的パートナーシップ(SPUR) 研究科支援 研究支援総括室 情報システムチーム 技術部 広報室 環境と安全 環境安全管理室 放射線管理室 研究資金 卒業生・修了生 同窓会 各種証明書交付申請のご案内 diversity_2社会貢献 mode_of_travelアクセス forward_to_inboxお問い合わせ handshake寄付のご案内 JP EN JP EN 理学部ニュース ホーム News Features 理学部ニュース 理学のススメ　第7回　ソフトウェアの世界を切り拓く ~ 大学院生からのメッセージ~ソフトウェアの世界を切り拓く   松下 祐介Yusuke Matsushita 情報理工学系研究科 博士課程2年生 出身地大阪府 出身高校私立灘高等学校 出身学部東京大学理学部情報科学科   私たちの暮らしは，たくさんの「ソフトウェア」によって支えられている。まずパソコンやスマホの色々なアプリケーションが思い浮かぶだろうか。その裏側でマウスやタッチパネル，グラフィクス，ネットワークを動かすのもソフトウェアだ。さらには，身の回りの家電，銀行のATM，街を走る自動車，交通を守る信号機，病院のMRI，航空機や人工衛星，それらを制御しているのもソフトウェアだ。 ソフトウェアの開発は人間と機械の共同作業だ。プログラマ達は，欲しいソフトウェアを実現するための具体的な計算方法を，プログラミング言語，すなわち人間と機械の共通語で，プログラムとして表現する。もちろん，意図せぬ挙動，いわゆる「バグ」がないように，注意して工夫して開発する。それでも人間の仕事であるから，しばしばバグが生まれ見逃されてしまう。これを防ぐ手法の一つが，プログラムが意図した仕様を満たすことを論理的に証明する，「検証」だ。 一般にアプリケーションはいくつかの抽象化の階層を重ねて得られるが，そのなかでもハードウェアに近い低層のソフトウェアを，「システムソフトウェア」という。特に，メモリを直接操作することで，高性能の計算を実現できる。一方でこうしたソフトウェアは，エラー検出などによる保護が薄いため，深刻なバグが埋め込まれる危険性が高い。 私は，ソフトウェア科学，特にシステムソフトウェアの検証を研究している。 2015 年，「Rust」という言語が誕生し，システムソフトウェアを堅牢に開発できる言語として，急速に産業で使われ出している。Rust は強い静的な「型システム」により，プログラムのメモリ安全性を自動で検査してくれる。その鍵となるのが，メモリの特定 領域へのアクセス権限，「所有権」。所有権にもとづく型は長らく研究されてきたが，Rust は所有権を一時的に渡す「借用」という仕組みを導入し，実用的なレベルへと高めた。 型の保証を上手く使って，Rust プログラムを効率よく検証できないだろうか？ Rust では事前に期限を決めて所有権を借用できる。所有権があれば自由にメモリ上の値を更新できる。また，借用した所有権は分割でき，自由に捨てられる。そのあと，貸し手が所有権を回復したとき，更新後のメモリ上の値がわかるように，計算をモデル化すること。これが問題だった。 私の主著論文「RustHorn」は，未来のメモリ上の値を先取りする「預言」というアイデアでこれを解決した。概略を図にまとめた。 RustHorn による検証の例   RustHorn では，この手法がさまざまなRust プログラムを厳密にモデル化できることを証明し，自動検証への有用性も実験的に示した。この研究の影響として，これにもとづく本格的なRust の半自動検証器をフランスの学生が作っている。私の別の主著論文「RustHornBelt」では，広いクラスのRust プログラムに対するRustHorn の手法の正当性を，Coqという証明支援システムで証明した。私は今，借用と預言をもちいた，新しいシステムソフトウェア開発の形を探っている。 実際のソフトウェア開発は，とても人間的な営みで，時に泥臭い。だからこそ，理学の尖ったアイデアが現場を切り拓く光となる。そう信じて，私は今日も研究する。     理学部ニュース2022年5月号掲載 理学のススメ> News Press Releases 2024年 2023年 2022年 2021年 News 受賞・表彰 2024年 2023年 2022年 2021年 総長賞・学修奨励賞・研究奨励賞 受賞者一覧 お知らせ Features 理学部ニュース トピックス 2024年 2023年 2022年 2021年 理学エッセイ 理学のタマゴ 理学のススメ 未来へのとびら 理学の研究者図鑑 理学の謎 １+１から∞の理学 学部生に伝える研究最前線 理学の本棚 学生支援室よりみなさんへ・男女共同参画委員会よりみなさんへ 温故知新 英語で伝える科学 理学部見聞録 リガクル YouTubeチャンネル Events 理学部公開講演会 オープンキャンパス 高校生講座 女子中高生イベント 東京大学理学部ホームカミングデイ サイエンスカフェ 臨海実験所 植物園本園・分園 木曽観測所 過去に開催したイベント イベント通知メールの登録 サイエンスギャラリー イメージバンク 全て 建物 人 歴史 設備 教育 研究 物理学専攻 天文学専攻 地球惑星科学専攻 化学専攻 生物化学専攻 生物科学専攻 臨海実験所 植物園 地殻化学実験施設 天文学教育研究センター 数理科学研究科 学務からのお知らせ News Press Releases News 受賞・表彰 お知らせ Features 理学部ニュース リガクル YouTube Events サイエンスギャラリー イメージバンク 理学系について 研究科長からのご挨拶 憲章 組織 機構図・役職 窓口一覧(学内限定) 研究者 共有施設 理学図書館 小柴ホール・共通講義室 歴史 ロゴ 理学部概要・パンフレット 会議資料 教授会議事録 会議資料サイト(学内限定) 研究 最新の研究成果 専攻紹介 附属施設紹介 素粒子物理国際研究センター 研究倫理 入学案内 学部 アドミッションポリシー 学士入学 GSC 学部研究生 学部聴講生 奨学金 大学院 --> 大学院 アドミッションポリシー 修士課程 博士課程 GSGC 外国人特別選考 外国人研究生 大学院研究生 特別聴講学生 奨学金 教育 学部教育 お知らせ 学科紹介 カリキュラム・ディプロマポリシー 教育プログラム 科目ナンバリング 授業評価アンケート 大学院教育 お知らせ 専攻紹介 カリキュラム・ディプロマポリシー 教育プログラム 産学連携プラットフォーム 科目ナンバリング 国際 ダブルディグリープログラム 受入れプログラム 学生の声 UTRIP GSC GSGC その他プログラム 派遣プログラム 学生の声 SVAP UGRASP GRASP その他プログラム 支援 奨学金・経済的支援 就職情報・キャリア支援 キャンパスライフ 保健センター 学生支援室 育児支援室・休養室 ハラスメント相談体制 ダイバーシティ＆インクルージョン 男女共同参画室 バリアフリー支援室 国際支援 留学生 外国人研究者・教員 在学生向け留学情報 研究者の海外派遣情報 グローバル化支援(学内) ETHZとの戦略的パートナーシップ(SPUR) 研究科支援 研究支援総括室 情報システムチーム 技術部 広報室 環境と安全 環境安全管理室 放射線管理室 研究資金 卒業生・修了生 同窓会 各種証明書交付申請のご案内 寄付のご案内 基金紹介 寄付金の活用事例 寄付者からのコメント 社会貢献 --> 社会貢献 公募 アクセス お問い合わせ 撮影・取材について ポリシー サイトマップ facebook twitter YouTube instagram spotify © 2024 東京大学 大学院理学系研究科 広報委員会 ↑