TIER IV Computing System Workshop 2023
https://tier4.connpass.com/event/277564/

上記に受講URLがあります。

日時：2023年3月13日(月) 13:30～18:30頃まで

目安時間	内容	登壇者
13:30-	ご挨拶	加藤真平 (TIER IV、東京大学准教授)
13:35-	プログラム説明	高野祐輝 (TIER IV、大阪大学招聘准教授)
13:40-	seL4チュートリアル	高野祐輝 (TIER IV、大阪大学招聘准教授)
14:20-	Autowareにおけるリソース競合の定量化	石川貴大 (TIER IV)
15:00-	UPPAALによるAutowareの形式検証	神戸隆太 (TIER IV)
15:40-	Break Time
16:00-	優先度駆動型チェーン考慮スケジューラのAutowareへの適用評価	矢野篤志 (埼玉大学、EMB IV)
16:20-	気合で動かすオペレーティングシステム -xv6の動作から学ぶRISC-V 特権命令-	村上太一 (東京大学、TIER IV)
17:00-	プログラム実行に潜むべき乗則について	佐々木広 (東京工業大学准教授、TIER IV)
17:40-	Application Specific SIMT による電力効率と開発コストの両立	塩谷亮太 (東京大学准教授、TIER IV)
18:20-	ご挨拶	石川裕 (国立情報学研究所教授、TIER IV)

※アジェンダや登壇者は変更になる可能性がございます

<この項は書きかけです。順次追記します。>

登壇者

必ずしも代表的な資料を掲載しているとは限りません。　
朝、目についたものを拾い読みしました。
関係ないものについては、ご指摘くださると幸いです。

加藤真平 Shinpei Kato

個人的な事前感想　
2015年「Autoware」の開発の考え方のお話をお聞きしたことがあります。
OSを専門としているからこそ自動運転に対してソフトウェアができることを提示されていて、ソフトウェア技術者にはすごく分かりやすかった。大事な本質の一つが分かると、他に何を考えばよいかが分かるのが嬉しい。

高野祐輝　Yuuki Takano

高野祐輝「Zeroから学ぶRust」講談社（単著）
https://amzn.to/3DXDroT

高野祐輝「並行プログラミング入門」オライリー・ジャパン（単著）
https://amzn.to/3wMgYoZ

石川貴大

理学部情報科学科システムプログラミング実験 TA
ベアメタルプログラミング演習として, ミニマムなOSを自作する内容のカリキュラムと教材, 実験環境を一から新たに作りました. さらに, 作成した教材を使用してオンライン授業と生徒への個人指導, 採点業務を行いました.
https://github.com/sykwer/utokyo_syspro_baremetal

NEDO: 完全自動運転に向けたシステムオンチップとソフトウェアプラットフォームの研究開発
https://www.pf.is.s.u-tokyo.ac.jp/ja/projects-ja/dom-ja/

RAPLET: Demystifying Publish/Subscribe Latency for ROS Applications
https://ieeexplore.ieee.org/abstract/document/9545285?casa_token=I9T8kZOM2GsAAAAA:suj4pGVjsoUVSAwmNc9Fl1e8ingpw7uRtUefu1blUpdFjK3FRawh27e2Gg35reL7uw54T57V6A

神戸隆太

https://www.wantedly.com/id/veqcc
https://qiita.com/veqcc
https://qiita.com/veqcc/items/a7115601958b02fdfd80
https://qiita.com/veqcc/items/ed9eee9106da77dd824f
https://qiita.com/veqcc/items/ea162b2d5aa03890f70f
https://qiita.com/veqcc/items/3867d4c317fc054d41bf
https://qiita.com/veqcc/items/4d9bfbfa4987eb32fefd
https://qiita.com/veqcc/items/d46761f29cbd5eebdd45

矢野篤志

Atsushi Yano and Takuya Azumi, “Work In Progress: Reinforcement Learning-based DAG Scheduling Algorithm in Clustered Many-Core Platform,” WiP session of the 42th IEEE Real-Time Systems Symposium (RTSS 2021), online, 2021.

Atsushi Yano, Shingo Igarashi, and Takuya Azumi, “Contention-Free Scheduling Algorithm Using LET Paradigm for Clustered Many-core Processor” In Proceedings of the 25th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2021), Valencia, Spain, Sep. 2021.

村上太一

http://intl.civil.t.u-tokyo.ac.jp/murakami-taichi/
https://github.com/harihitode

佐々木広

[MICRO'19] Practical Byte-Granular Memory Blacklisting using Califorms.
https://hiroshi-sasaki.github.io/files/pdfs/sasaki-micro19.pdf

IEEE Micro Top Picks Honorable Mention

[IISWC'17] Why Do Programs Have Heavy Tails?
https://hiroshi-sasaki.github.io/files/pdfs/sasaki-iiswc17.pdf

[PACT'13] Coordinated Power-Performance Optimization in Manycores.
https://hiroshi-sasaki.github.io/files/pdfs/sasaki-pact13.pdf

IEEE Computer Society Japan Chapter Young Author Award 2013

[PACT'12] Scalability-Based Manycore Partitioning.
https://hiroshi-sasaki.github.io/files/pdfs/sasaki-pact12.pdf

塩谷亮太

第34回回路とシステムワークショップ招待講演「RISC-V の特徴と研究・開発への利用」(2021)
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/slides/Shioya-KWS'21.pdf

電子情報通信学会 2015年総合大会チュートリアル
若手による高性能コンピュータシステムの最新動向解説「プロセッサ・アーキテクチャ研究の最新動向」(2015)
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/slides/Shioya-IEICE'15.pptx

Susumu Mashimo, Akifumi Fujita, Reoma Matsuo, Seiya Akaki, Akifumi Fukuda, Toru Koizumi, Junichiro Kadomoto, Hidetsugu Irie, Masahiro Goshima, Koji Inoue, and Ryota Shioya:
An Open Source FPGA-Optimized Out-of-Order RISC-V Soft Processor,
IEEE International Conference on Field-Programmable Technology (FPT), pp. 63—71 (2019). (Best Paper Candidate)
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/pdfs/Mashimo-FPT'19.pdf

Hidetsugu Irie, Toru Koizumi, Akifumi Fukuda, Seiya Akaki, Satoshi Nakae, Yutaro Bessho, Ryota Shioya, Takahiro Notsu, Katsuhiro Yoda, Teruo Ishihara, and Shuichi Sakai:
STRAIGHT: Hazardless Processor Architecture without Register Renaming,
IEEE/ACM International Symposium on Microarchitecture (MICRO 51), pp. 121—133 (2018).
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/pdfs/Irie-MICRO'18.pdf

Ryota Shioya, Masahiro Goshima, and Hideki Ando:
A Front-end Execution Architecture for High Energy Efficiency,
IEEE/ACM International Symposium on Microarchitecture (MICRO 47), pp. 419—431 (2014).
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/pdfs/Shioya-MICRO'14.pdf

Ryota Shioya, Kazuo Horio, Masahiro Goshima, and Shuichi Sakai:
Register Cache System not for Latency Reduction Purpose,
IEEE/ACM International Symposium on Microarchitecture (MICRO 43), pp. 301—312 (2010). (IEEE Computer Society Japan Chapter Young Author Award)
https://www.rsg.ci.i.u-tokyo.ac.jp/members/shioya/pdfs/Shioya-MICRO'10.pdf

石川裕

https://www.nii.ac.jp/faculty/architecture/ishikawa_yutaka/
https://researchmap.jp/yutaka_ishikawa

On the Difference between Shared Memory and Shared Address Space in HPC Communication
Atsushi Hori, Kaiming Ouyang, Balazs Gerofi, Yutaka Ishikawa
Supercomputing Asia 2022 2022年3月
https://dl.acm.org/doi/abs/10.1007/978-3-031-10419-0_5

Pattern-based Prefetching with Adaptive Cache Management Inside of Solid-State Drives
Jun Li, Xiaofei Xu, Zhigang Cai, Jianwei Liao, Kenli Li, Balazs Gerofi, Yutaka Ishikawa
ACM Transactions on Storage 2022年2月
https://dl.acm.org/doi/10.1145/3474393

Communication-Computation Overlapping for Preconditioned Parallel Iterative Solvers with Dynamic Loop Scheduling.
Kengo Nakajima, Balazs Gerofi, Masashi Horikoshi, Yutaka Ishikawa
HPC Asia Workshops 60-71 2022年1月
https://ieeexplore.ieee.org/document/8026087

Exploring Communication-Computation Overlap in Parallel Iterative Solvers on Manycore CPUs using Asynchronous Progress Control.
Masashi Horikoshi, Balazs Gerofi, Yutaka Ishikawa, Kengo Nakajima
HPC Asia Workshops 29-39 2022年1月

組織

TIER IV

EMB IV

東京大学

大阪大学

埼玉大学

東京工業大学

国立情報学研究所

技術

必ずしも今回の講演と直接関係がある資料だけではありません。
ネットで該当する語をどう使っているかの予習です。

Autoware

リソース競合の定量化

優先度駆動型チェーン考慮スケジューラ

べき乗則

Application Specific SIMT

seL4

UPPAAL

形式検証

JAXA/IPA クリティカルソフトウェアワークショップ WOCS言語関連発表(改定版)
https://qiita.com/kaizen_nagoya/items/4789832baf494cb74626
https://www.ipa.go.jp/files/000005327.pdf
https://www.jstage.jst.go.jp/article/jssstconference/21/0/21_0_8/_pdf/-char/ja

RISC-V

参考資料　

TIER IV Computing System Workshop 2023　参加記録
https://qiita.com/kaizen_nagoya/items/f14540edcd3187193f54

自己資料

Autosar Countdown Calendar 2022
https://qiita.com/advent-calendar/2022/autosar

関連資料

' @kazuo_reve 私が効果を確認した「小川メソッド」
https://qiita.com/kazuo_reve/items/a3ea1d9171deeccc04da

' @kazuo_reve 新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

' @kazuo_reve Vモデルについて勘違いしていたと思ったこと
https://qiita.com/kazuo_reve/items/46fddb094563bd9b2e1e

Engineering Festa 2024前に必読記事一覧

登壇直後版色使い(JIS安全色) Qiita Engineer Festa 2023〜私しか得しないニッチな技術でLT〜スライド編 0.15
https://qiita.com/kaizen_nagoya/items/f0d3070d839f4f735b2b

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

逆も真：社会人が最初に確かめるとよいこと。OSEK(69)、Ethernet(59)
https://qiita.com/kaizen_nagoya/items/39afe4a728a31b903ddc

統計の嘘。仮説（127）
https://qiita.com/kaizen_nagoya/items/63b48ecf258a3471c51b

自分の言葉だけで論理展開できるのが天才なら、文章の引用だけで論理展開できるのが秀才だ。仮説（136）
https://qiita.com/kaizen_nagoya/items/97cf07b9e24f860624dd

参考文献駆動執筆(references driven writing)・デンソークリエイト編
https://qiita.com/kaizen_nagoya/items/b27b3f58b8bf265a5cd1

「何を」よりも「誰を」。１０年後のために今見習いたい人たち
https://qiita.com/kaizen_nagoya/items/8045978b16eb49d572b2

Qiitaの記事に３段階または５段階で到達するための方法
https://qiita.com/kaizen_nagoya/items/6e9298296852325adc5e

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

あなたは「勘違いまとめ」から、勘違いだと言っていることが勘違いだといくつ見つけられますか。人間の間違い(human error(125))の種類と対策
https://qiita.com/kaizen_nagoya/items/ae391b77fffb098b8fb4

プログラマの「プログラムが書ける」思い込みは強みだ。３つの理由。仮説（168）統計と確率(17) , OSEK(79)
https://qiita.com/kaizen_nagoya/items/bc5dd86e414de402ec29

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

これからの情報伝達手段の在り方について考えてみよう。炎上と便乗。
https://qiita.com/kaizen_nagoya/items/71a09077ac195214f0db

ISO/IEC JTC1 SC7 Software and System Engineering
https://qiita.com/kaizen_nagoya/items/48b43f0f6976a078d907

アクセシビリティの知見を発信しよう！（再び）
https://qiita.com/kaizen_nagoya/items/03457eb9ee74105ee618

統計論及確率論輪講（再び）
https://qiita.com/kaizen_nagoya/items/590874ccfca988e85ea3

読者の心をグッと惹き寄せる7つの魔法
https://qiita.com/kaizen_nagoya/items/b1b5e89bd5c0a211d862

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

ソースコードで議論しよう。日本語で議論するの止めましょう（あるプログラミング技術の議論報告）
https://qiita.com/kaizen_nagoya/items/8b9811c80f3338c6c0b0

脳内コンパイラの3つの危険
https://qiita.com/kaizen_nagoya/items/7025cf2d7bd9f276e382

心理学の本を読むよりはコンパイラ書いた方がよくね。仮説（34）
https://qiita.com/kaizen_nagoya/items/fa715732cc148e48880e

NASAを超えるつもりがあれば読んでください。
https://qiita.com/kaizen_nagoya/items/e81669f9cb53109157f6

データサイエンティストの気づき!「勉強して仕事に役立てない人。大嫌い!!」『それ自分かも?』ってなった!!!
https://qiita.com/kaizen_nagoya/items/d85830d58d8dd7f71d07

「ぼくの好きな先生」「人がやらないことをやれ」プログラマになるまで。仮説（37）　
https://qiita.com/kaizen_nagoya/items/53e4bded9fe5f724b3c4

なぜ経済学徒を辞め、計算機屋になったか（経済学部入学前・入学後・卒業後対応）転職(1)
https://qiita.com/kaizen_nagoya/items/06335a1d24c099733f64

プログラミング言語教育のXYZ。仮説（52）
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4

【24卒向け】9ヶ月後に年収１０００万円を目指す。二つの関門と三つの道。
https://qiita.com/kaizen_nagoya/items/fb5bff147193f726ad25

「【25卒向け】Qiita Career Meetup for STUDENT」予習の勧め
https://qiita.com/kaizen_nagoya/items/00eadb8a6e738cb6336f

大学入試不合格でも筆記試験のない大学に入って卒業できる。卒業しなくても博士になれる。
https://qiita.com/kaizen_nagoya/items/74adec99f396d64b5fd5

全世界の不登校の子供たち「博士論文」を書こう。世界子供博士論文遠隔実践中心安全(99)
https://qiita.com/kaizen_nagoya/items/912d69032c012bcc84f2

小川メソッド　覚え（書きかけ）
https://qiita.com/kaizen_nagoya/items/3593d72eca551742df68

DoCAP（ドゥーキャップ）って何ですか？
https://qiita.com/kaizen_nagoya/items/47e0e6509ab792c43327

views 20,000越え自己記事一覧
https://qiita.com/kaizen_nagoya/items/58e8bd6450957cdecd81

Views１万越え、もうすぐ１万記事一覧最近いいねをいただいた213記事
https://qiita.com/kaizen_nagoya/items/d2b805717a92459ce853

自己記事一覧

Qiitaで逆リンクを表示しなくなったような気がする。時々、スマフォで表示するとあらわっることがあり、完全に削除したのではなさそう。

４月以降、せっせとリンクリストを作り、統計を取って確率を説明しようとしている。
2025年２月末を目標にしている。

物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事１００
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

品質一覧
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事　１００
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

自動車　記事　１００
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事１００
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語（０）一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

仮説（0）一覧（目標100現在40）
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

音楽　一覧(0)
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

「@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

Qiita(0)Qiita関連記事一覧（自分）
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/26bda595f341a27901a0

安全（0）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

Ethernet 記事一覧　Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網（Wi-Fi）空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎　OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

C++ Support(0)　
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

なぜdockerで機械学習するか書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え（0）一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

官公庁・学校・公的団体（NPOを含む）システムの課題、官（０）
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ　ベクタージャパン　
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧　
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧　
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

小川清最終講義、最終講義（再）計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.

文書履歴(document history)

ver. 0.01 初稿　20230313 #tieriv_meetup

最後までおよみいただきありがとうございました。

いいね　💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚　and follow me for your happy life.