石川裕 (@yi0298) profile picture

石川裕

@yi0298

スパコン開発からセキュアシステム開発へ

Joined April 2011
  • Tweets303
  • Following97
  • Followers103
RISC-Vでセキュアシステム作ります。今後、センターから研究開発状況、イベントなどの情報を発信します。拡散お願いします。
Center for R&D on Secure Computer Systems ,CRADSEC (@cradsec) profile pictureCenter for R&D on Secure Computer Systems ,CRADSEC@cradsec8 Nov 2025
セキュアコンピュータシステム研究開発センター（CRADSEC）のアカウント作りました。 本センターは、大学共同利用機関法人 情報・システム研究機構（ROIS）データサイエンス共同支援基盤（DS）傘下の研究センターです。
7
11
1,572
拡散希望。以下の通り、「第2回セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップワークショップ」を開催します。開催案内にまだ記載していませんがリモート参加も可能です。 sc-sys.github.io #セキュリティ #ローレイヤ #RISCV #TEE #形式検証
6
12
1,721
超久しぶりに投稿します。拡散希望。以下の通り、「セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップワークショップ」を開催します。 sc-sys.github.io/ #セキュリティ #ローレイヤ #RISCV #TEE #形式検証

Workshop on Software, Architecture, and Theory for Secure Systems

セキュアシステムのためのソフトウェア、アーキテクチャ、理論に関するワークショップ (SATSS)

sc-sys.github.io
36
1
69
13,191
12月12日（木）～13日（金）に、第19回となるシンポジウムを、秋葉原コンベンションホールで開催します。参加無料、事前登録制。興味のある方はHPをご覧ください。 PCCC19「来たるべきSociety 5.0時代に向けて」 （第19回PCクラスタシンポジウム） pccluster.org/ja/event/2019/… #PCCC #Society5.0
6
2
5
なぜにビールは泡立つのか？ 泡ができるメカニズムからタモリb流ビールの注ぎ方まで一気にご紹介！ data.wingarc.com/all-about-b…

なぜにビールは泡立つのか？ 泡ができるメカニズムからタモリ流ビールの注ぎ方まで一気にご紹介！

どうもこんにちは、ビールは缶よりも瓶派です。 ところで、ビールといえば泡ですが、そもそも泡はビールにとってどんな役割を果たしているのでしょうか？ 実は、泡には見た目や口当たりを良くする以外にもれっきと…

data.wingarc.com
2
んー
突然、女の子(5歳)に「せんせい、おもしろいこと やって！」と、とんでもない無茶ぶりをされたので「いないいない…バーコード！ピッ、100円でーす！」と自分でも全く理解できないことをやったら、「こんなに つまんないの うまれて はじめて！」って。僕も初めて。_HappyBoy
13
20
ゲノム解析なら、例えば東大を支援して効率良いゲノム解析のワークフロー処理を実現できれば、全国の医学部、生物系学科に「ハード」を売るきっかけになって嬉しいはず。
1
2
1
交差点でお母さんらしき人が小さい女の子に「はい、青になったから右見て、左見て…手をあげて渡るのよ」と教えてたら「お母さん、でも皆あげてないよ？」と反論されて「皆はもう極めたのよ」と即答してた。知らぬ間に僕たちは達人になっていくのだ。makkurokuroino
11
19
スパコンの世界今でもバッチジョブバリバリの現役 #ipsjokinawa
1
1
友人が、「お名前をお伺いしてよろしいですか？」と聞いたら、ご老人から「すなおです。変換していただけばマイクを持った火星人に見える漢字がでてきますので、それです」と言われたらしいんだが、 侃 ・・・確かにおっしゃるとおりです。もう火星人にしか見えない。_5ma
30
41
xitter.gq/mhidaka/status/5734981… 「Firefox で Ruby サポートってどういうことだよ！？」と思いながらリンク先読み始めるじゃん？ 導入部の「特に日本からの要望が強く～」ってところで誤解がさらに補強されるじゃん？ で、例を示した画像で爆死するじゃん？
mhidaka@技術書典 (@mhidaka) profile picturemhidaka@技術書典@mhidaka5 Mar 2015
Ruby support in Firefox Developer Edition 38 ✩ Mozilla Hacks – the Web developer blog hacks.mozilla.org/2015/03/ru… おまwwww例がwww
Ruby support in Firefox Developer Edition 38 – Mozilla Hacks - the Web developer blog

Ruby support in Firefox Developer Edition 38 – Mozilla Hacks - the Web developer blog

It was a long-time request from East Asian users, especially Japanese users, to have ruby support in the browser. Formerly, because of the lack of native ruby support in Firefox, ...

hacks.mozilla.org
852
1
352
「歌の音程を外しやすい人＝普段から人の話を聞かない人」という説があるらしい。他の楽器の音に惑わされて自分の音やリズムがわからなくなるタイプがこれに該当するそう。歌唱力を上げる方法の一つとして、とにかく普段から人の話を聞け、それだけで上手くなる、だそうだ。真理たど思った。
45
45
うなぎパイ食べながら娘が「うなぎパイがあるならあなごパイもあるのかな」って言うからGoogle検索したらあなごパイは存在し「じゃあどじょうパイは」って聞くから検索したらどじょうパイも存在し「じゃあじゃあウツボパイは？！」って聞くから検索したらウツボパイまで存在したので母娘で大興奮
25
30
構わん、収納してくれ
Image from 動物おもしろbot (@omosiropopobot)
1
2
「現代の日本は、三人に一人が高齢者なんだってー」「じゃあ少女漫画によくある三角関係だと一人お爺ちゃんじゃん」「その発想はなかった」prukeu
16
14
Replying to @gohobigourmet
“@SiranaiGood_bot: 「洗濯機」は「せんたっき」でも変換できる。” 一瞬何が問題かわからなかったくらい、そう発音してる
Replying to @naki_warai_bot
“@naki_warai_bot: 【そうだ 一限、行こう。】 そろそろダラけてくる人も多くなってくる頃だと思うのでこれを…… xitter.gq/daigaku_aruaru/status/…” 学生必見か？
Load more