script day.log

大学生がなんとなく始めた、趣味やら生活のことを記録していく。

元100万人都市北九州へ

だいぶ前にはなりますが、実家へ帰省した際に
福岡県は北九州市へお散歩に行きました。
北九州市というと怖い方が沢山いらっしゃる所や、
榴弾などが転がっている場所だという認識をお持ちの方が
少しはいるのではないでしょうか。

今回はそういう要素は全くなく、
元100万人都市の北九州市の散歩の写真を載せたいと思います。




































セキュリティ・キャンプ2018に参加してきた話

セキュリティキャンプを知らない方へ

セキュリティ・キャンプとはIPAが主催するセキュリティをベースとした
講義を合宿形式で4泊5日で行うものです.

www.ipa.go.jp

事の始まり…

とりあえず研究室のドアにポスター貼ってたから応募したら,
通ってしまったところから始まります.


キャンプが始まるまで…

院試などやゼミなどの対応をしているといつの間にか
8月13日が目の前に来ていました.
学生LT大会 at LINE福岡オフィスに参加したり


一応,院試には合格しました.


FPGA買ったらクレカの支払い合計20万きたりしました




キャンプ0日目

私は前泊だったので普通の参加者より1日多いキャンプでした.
とりあえず愛媛より移動です.
当日に荷物をまとめてました…


松山空港



事前学習の本を読んでた



羽田空港に着き,いざゆかん秋葉原





秋葉原を脱出し,府中へ向かっていると雨が…



キャンプ1日目

とりあえず起床



セキュリティ・キャンプ?なにそれ怪しいっていう両親がいらっしゃる方へ


確か昼食で@uint256_tさんと一緒になって名刺を交換して,自作ブラウザや自作JSエンジンの話を聞いた(訳:セキュリティ・キャンプの洗礼を受ける
学生LT大会とグループワーク中の私
kamueeについて@slankdevさんのLTを見てた(その裏でFPGAベンチャー頑張ってる話も聞いてた



LT大会の一つでwiiはスタイリッシュデスクトップ計算機と気付かされた


他のLTだと,おのかちおさんのブロックチェーン技術に関する話やりねあさんの高速VPNの話を聞いてた
私は選択Dトラックでmrubyの話を聞けなかった


セキュリティ・キャンプ中にruiさんとhikaliumさんが会話しているところを目撃して,#tcfmかなと思ってしまった


普段あまり人と話さないのでとても疲れました…


翌日からの専門講義の内容で死んでる


プロデューサーの方から聞きました


セキュリティ・キャンプ→チューター→未踏といった流れの講師の方(本当にわかる Spectre と Meltdown:川田さん)とも話が出来た.
ということで来年のセキュリティ・キャンプに愛媛大学から1人送り込めるように頑張ります.
何人か目星がついている


キャンプ2日目

キャンプ実質1日目,専門講義の始まり
推奨起床時刻が6:30ぐらいだった


会場のWiFiでspeedtest


トラック内でLT大会が行われることに…


intel SGXで脆弱性が発見される

実際に見つかった脆弱性について(Foreshadow)
Foreshadow: Breaking the Virtual Memory Abstraction with Transient Out-of-Order Execution
www.itmedia.co.jp

D3チップレベルでカスタマイズができることで見える世界の体験での講義内でMakeLSIが紹介される




キャンプ3日目

この日からはA~Eのコースの専門講義を選択できる
朝食頃のわたしの頭の中(TLのように会話が流れている…


たしかどこかでhikaliumステッカーを見た(後日無事@hikaliumさんにいただきに行けました



C4車載LANの仕組みとメッセージの取得・解析を受けました.

CANを流れる情報をいじいじしました.
講義中に流れた動画でレヴォーグ1.6Lが出演


昼食でNERVの中の人(ゲヒルンの@isidaiさん


D5JTAG(ジェイタグ)の原理と活用を受ける.

FPGAやってるから余裕だろうと思っていたが,とても苦労した.
ちなみにはんだで直さないとどちらかのFPGAは使えないっぽい?


会社説明会でLINEの話を聞いた

E2EEなどの話が聞けたのだが,時間が短かった.

グループワークではたくさんの人に話を聞いた

坂井さんと話して,研究所系のインターンに行ってみるというアドバイスを頂いた.
Dトラックホームルーム時間中にLT発表をした
実は後ろで未踏PMの竹迫さんが聞いてて驚いた.そのあと名刺を交換できました.
そのあと未踏で採択されるには?といった話を直接PMと出来たので,これは将来のためになったと思う.


LT大会で聞いたkamueeについて気になるってツイートすると@slankdevさんから説明いただけるとのリプが来た.(これぞキャンプの醍醐味



これが噂のセキュリティに強くなれる水です


Cコンパイラを自作している頃にEmacs Lisp JIT Compilerがメーリングリストで話題に


キャンプ4日目

C6パターン認識とセキュリティではある識別機をどうやって騙すかといった事を行った

NNの向き,不向きについて考えさせられました.認識として固いのはif/else
チューターのりねあさんが100%の画像の生成に成功してて,やはりチューターはすごいってなってた

E7シリアル通信から学ぶBadUSB自作演習を受ける

竹迫さんによるBadUSB自作演習.みんな結構悪意のあるUSBを作成していた.Windowsを強制シャットダウンに導き,Windows Updateを誘発する凶悪?なUSBが生まれていた.
最後の夕食ということもあり,かなり豪華


会社紹介でさくらインターネットとゲヒルンについて聞く

さくらインターネットでどういうことをしているか聞けた.今回は火消しなど何でもやってる人の話で面白かった.
ヒルンの@isidaiさんの話はゲヒルン設立から今までやってきた事を話してもらえた.とても面白かった.これも時間が短かった.

グループワークで考え中


グループワークでNICTの佐藤さんにPhDの相談をする
そしてキャンプからのプレゼントへ



ホームルーム終了後,急いで@slankdevさんの(治安が悪い?)Zトラックへ
kamueeの基本原理と現状のハードウェアアーキテクチャFPGAを利用するならどういう場所に適用するかなどを解説してもらえた!


解散後,偶然@hikaliumさんに会い,ステッカーをいただく


※hikaliumステッカーですが,イベント時,事前に連絡いただければ渡せます

グループワーク時にひばりさんに@slankdevさんと@hikaliumさんと話してみたいと相談していた(これはひばりさんにかなり失礼.
ちなみにwiiの話も聞けたので,楽しかった.
ひばりさん,本当にありがとうございました!


就寝前に

Zトラックの教室で@slankdevさんから解説を受けているときに,名刺もらっていて,名刺を返せていなかったのでリプしたら少しお話することになった.
するとその方は@slankdevさんの後輩で,DPDKを研究されていて,サイボウズ・ラボユースの方で非常に強い方だった.

講義全体を通して

Dトラックの方へ


キャンプ最終日

すべての日程で起床チャレンジに成功した


ホテルのホールでの大きなお風呂


SeckHack365について考えていた


エディタ戦争中


スポンサー'様'を告知


成果発表でDトラック受講生として,講義の感想を語る(私はE7と締めの言葉をした
自作ブラウザ上で成果発表をした@uint256_tさんやday0セルフホストしたあんこうさんなどの発表を午前中に聞いた.
キャンプの修了書をいただく


成果発表時の宣言通りに


羽田空港に着く
その前に新宿へ行ったのだが,行くところも思いつかず,新宿御苑
緑を見に行ったつもりが,人ばかり見ていた(人疲れした


月見とろろそば


さて現実へ



事後アンケートの最後に1200文字以上の感想文があり,一度リセットされた



キャンプ全体を通して

たくさんの方(参加者,チューター,講師,企業)と会えて,話せて,とても良いネットワークが構成出来たと思う.
おそらくこの瞬間だけはTwitterを超えたネットワークだったと思う.
会社説明会に行くよりも充実した会社説明会だったのではないか(まだ就職しません)?
色んな分野に精通している方々が居て,自分の技術の分野の狭さや浅さにも気が付かされました.
毎日朝から晩まで技術の話が出来たこの環境は最高だった…


さて,これからの予定

まずは8/24~8/26に大阪へ行く


EnPitのために,名古屋へ

@unit256_tさんとまた会えると嬉しい




この記事が来年以降のセキュリティ・キャンプ参加者の応募のきっかけなどになれば幸いです.

MRLDのITCCSCC2018採択論文を読んだ

paperはgithub

github.com

MRLD頑張っていきますので,皆さま楽しみにしててください!!!

ここ最近やってたこと

どうもご無沙汰しております.
最近までは大学のゼミに出席したり,論文サーベイなどしてましたね.

プライベート的なことで言うと,人生初の合コンなるものに参加しました.
結果としては誰1人とも連絡先を交換できずに終わったので,これを失敗と言うのでしょう.

あとセキュリティキャンプ2018に参加するので,晒せるような応募用紙はありませんが,
体験日記は書こうと思います.

さてさて,メインに行なっていた論文サーベイのまとめスライドを3本作ったのでここで公開しようと思います.

FPGA上に推論用CNNアクセラレータを実装する話

GoogleによるTPU実装

Memory Based Reconfigurable Logic Device(MRLD)について

あとは大学の研究室課題として挙げられていた論理&故障シミュレータの実装したときのスライドも置いておきます.
研究室的には4~7月末までで実装するらしいのですが,約9時間で実装できてしまったので,これに関しては非常に虚無.
スライド発表を教授の前で行った後に夏休みらしいので,早く発表して夏休みに入りたいなあというお気持ちです(発表は8月予定)

まあ他にもいろいろしていたのですが,まだ成果には結びつけていないので,
成果が出次第発表します(早く進捗を出せ)

で,教授の前で論文サーベイの発表をしていたら,唐突に卒論が決まってしまいました.
テーマはFPGA上に推論用CNNアクセラレータを実装するって話なのですが,
このままだとサーベイと同じになってしまうので,一応新規性のある部分を追加しています.
ただ弊大学はRaspberry PiにTensorFlowをインストールして,
動作させるだけで卒論として認めてしまう大学なので,レベルの差が激しいのだなあと思いました.

そして7月6日には院試がありました.
推薦入試だったのでほぼ合格だと思います.
結果は18日に出ます,楽しみ.
ちなみに6日はとても強い雨の日でした.

tenki.jp

で,最後になりますが7月13日には福岡に帰省するので,
九州学生エンジニアLT大会 at LINE Fukuokaに参加します.
student-kyushu.connpass.com

それではまた次の機会に

いつかは本当の恋愛がしたい

アニメを見ていた.ダーリン・イン・ザ・フランキス
その中でイチゴちゃんがヒロに告白するシーンがあった.
どんなアニメだって告白シーンはあるのに,
イチゴちゃんの告白には力があったように感じる.

私は誰かの恋愛を見るのが好きらしい.
それは2次元でも3次元でも構わない.
恋愛漫画やアニメを見たりするし,
街に出て,誰かがしている恋愛を見て妄想していたりもする.
さらに性別も問わない.
だから男性同士や女性同士でも構わない.

しかし私は自分の恋愛は経験がない.
21年間生きてきているけれども,1度も恋人ができたことがない.
告白をしたことが無いわけではない.
ただ,本当の恋愛というものが分からないのだ.

少し昔の話をしよう.
僕が中学生になった頃,まわりは思春期ということもあって,
付き合い始める人達が増えた.
中学生の頃の私は部活に入るわけでも無く,熱心に勉強するわけでもなく,
なんとなくアニメを見て,ゲームして,
インターネットの世界で暇を潰しているオタク中学生だった.
オタクにも思春期は平等にやってくるし,
アニメで見たような恋愛をしてみたいと思っていた.
確か涼宮ハルヒの憂鬱だった.

その中で私も恋人が欲しいと思ったことがあった.
’恋人が欲しい’というだけで,恋人としたいことが明確にあるわけでもなかった.
これは今でも続いている.
何のために恋人が欲しいのか,今でもわからない.
でも出来たら何かが分かるような気もしている.
きっとそう信じている.

恋人が欲しいと思った自分はメールで告白をした.
涼宮ハルヒを見ていたのに,メールで告白をしてしまったのだ.
恋人が欲しいという感情に任せて告白をしたが,
本当に相手を好きだったかどうかは怪しい.
おそらく価値観は違うだろうと容易に想像できる相手だったし,
相手が私に全く興味が無いこともわかっていた.
とりあえず恋人が欲しかったのだと思う.
これが中学1年の夏ぐらいの話.

2年生になると,ある程度のグループも形成され,
いつも決まったメンバーとしか話さないようになっていた.
オタクのネットワークはいつもインターネットに形成されていた.
ただ少ないオタク友達は非常に大事にした.
いつものグループには2~3人の女の子が居た.
私はその中の1人のことが好きになった.
気を使うこと無く,話すことが出来た.
インターネットで会話するように彼女とは話すことが出来た.
私にはとてもそれが幸せだった.
彼女のことが好きだった私は告白したいと思っていたが,
この関係性が崩れてしまうのでは無いかと思い,
卒業するまで告白することはなかった.

そして高校生になると,
進学校に進んだ私は中学生の頃の同級生とはほぼ別れた.
ただ方向が一緒の電車ではあったので,たまに会う瞬間が嬉しかった.
新たな出会いを期待した高校生だったが,クラスは3年間同じで,
ほぼ男子クラスのような状態だった.
オタクのコミュニケーション能力はほぼ0に等しく,
他のクラスにお邪魔するなんてことは不可能だった.
部活にも参加したが,気の合うような相手は居なかった.
クラスの中で唯一気軽に話せる女子が居たが,
相手には好印象は持たれて居なかっただろう.イキっていたからね.
結果,高校生は勉強して,部活して卒業しただけだった.

気がつくと大学生になっていた.
総合大学ということもあって,教養科目では沢山の女性が居た.
残念ながら学科は情報工学科だったので,期待はできなかった.
しかしアルバイト先で小学生の頃の同級生と再会するという機会もあった.
転校の多かった私からするとかなり珍しい.
20歳になった私はそろそろ恋人が居ないのは不味いと思い,
恋人を作ろうと思い始めた.
失敗から何も学ばない私は,1度ご飯に行っただけの相手にLINEで
告白をしたのである.
面と向かって言える機会は合ったのに,どうしてか画面越しに告白をした.
もちろん失敗するのは見えている.
そもそも1度ご飯に行っただけで,告白するのもどうかしていると
今になって思う.

そして冒頭に話は戻る.
ダーリン・イン・ザ・フランキスを見た私は自分の恋愛について考えた.
雨の降る夜の街を歩きながら,考えていた.

そして気づいたのだ.

いつも私は恋人が欲しいという感情に従い,告白してきた.
相手のことが好きだったかどうかも怪しい.
むしろ恋人になるかもしれない人だから,好きでないといけないと思い,
好きになろうとしていたようにも思う.
ただ中学2年生のときに好きになったあの子だけは本当に好きだったのだと思う.
だったというより今も好きであるのだが.
成人式で会えたのだが,その時は勇気がなくて告白することが出来なかった.

だから次に会えたときには面と向かって告白したいと思う.
失敗を怖いと思う告白は初めてだし,これが本当の恋愛なのかなとも思う.
とにかく,次に会えたら「君が好きだ」と伝えたい.

そしていつかは本当の恋愛がしたい.

人工知能プログラミングのための数学がわかる本を読みました。

最近実家に帰省してまして、出来る事が少ないので本を買いまして読んでいました。
買ったのは「人工知能プログラミングのための数学がわかる本」です。

人工知能プログラミングのための数学がわかる本

人工知能プログラミングのための数学がわかる本

大体の読んだ感じからすると、あくまで基本的な数学がわかる本であって、
人工知能プログラミングをする本では無いということですね。
これを前提として読むと、普通に面白い本でした。
大体7章あるので,1週間もあれば余裕で読了出来ると思います.
だいたい高校から大学レベルの数学で、
情報系の大学生だと授業で取り上げられているような内容ですね。
ところどころコラムに人工知能ではこう使われているといった内容が紹介されていて、
初めて人工知能に関する数学をする方には身近に感じるかもしれません。
また、普通に機械学習などをしている方からすると、復習的なものになると思います。
知っている事ばかりだと思いますが、誰かに説明するときに役に立つ?かもしれません。
本の帯には可愛い女の子のイラストがありまして、中身はカラフルに説明していて、
カラフルさに耐性がある人であれば、読みやすく分かりやすいものになっているのではないでしょうか。

ついでに「試して理解Linuxのしくみ」という本も買ったので、
大学の実験と比較しつつ読みたいと思います。

[試して理解]Linuxのしくみ ~実験と図解で学ぶOSとハードウェアの基礎知識

[試して理解]Linuxのしくみ ~実験と図解で学ぶOSとハードウェアの基礎知識

あと最近デスクに寂しさがあるので観葉植物を買いまして、
緑に癒される生活を始めました。

f:id:makose3p1229:20180302232825j:plain
ホンコンという観葉植物

都会を感じへ

突然ですが,都会を感じるために先月の下旬より
私は実家のある福岡県に帰省しているわけです.

さて,都会の定義とはなんでしょうか?
田んぼがないことや人口が多いことなど,人それぞれだと思います.
ここで,都会の定義をWikipediaで確認してみました.
以下のように定義されていました.

都市的地域(としてきちいき、英語:urban area)は、
その周辺に比して高い人口密度をもち、
多数の人工構築物などが特徴となっている地域

個人的には人口密度,人工構築物よりも,
ワークスタイルが発展している点を優先して,都会と呼びたいと思っています.
個人的な妄想なのですが,最近のIT企業(あまりこの表現は正しくない)は
ワーキングスタイルが多様だと聞きます.
1月,2月の大雪でリモート出社や早期退社などの対応の良さ,
シェアオフィスなどでお互いを刺激するなど,
向上を図ったワークスタイルがよく見受けられます.
これらを見ていると,ワークライフバランスよりも
ワークアズライフの方が向いている気もしますね.
ワークライフバランスとワークアズライフの関係には以下を参照してもらいたい.

超AI時代の生存戦略 ―― シンギュラリティ<2040年代>に備える34のリスト

超AI時代の生存戦略 ―― シンギュラリティ<2040年代>に備える34のリスト

ということで,私の地元福岡県は割りと有名IT企業のオフィスがあるので,
ワークスタイルは他の県に比べて多様になっているのではないでしょうか.
そう考え,私は福岡県へ帰省しました.

出発は愛媛県松山市です.
今回のルートは三津浜港より山口県柳井港に進み,
JRで下関へ進み,門司,小倉に進みました.

出発時間はAM3:00でした.
送ってくれた友人に感謝です.

f:id:makose3p1229:20180301235056j:plainf:id:makose3p1229:20180301235534j:plain
AM3:00の三津浜港

柳井港に着いたのはAM6:00ぐらいで,とても寒かった.
寒くて暖を求めて,彷徨っていると,港の隣にセブンイレブンがあり,
オアシスに見えた.そこでコーヒーと肉まんを買って,暖を得たが
下関行きがAM7:00ぐらい発だったので,かなり待った.結局冷えた.

f:id:makose3p1229:20180301235628j:plainf:id:makose3p1229:20180301235712j:plain
山口県のオアシス

私が乗り始めたJRの駅は柳井港駅だったのですが,
下関駅までの料金分の切符が券売機に存在せず,非常に困りました.
車内で足りない料金分を追加することで解決しましたが……
この辺りが山口県らしいですよね.

f:id:makose3p1229:20180301235727j:plainf:id:makose3p1229:20180301235738j:plain
かなり待った柳井港駅

柳井港から下関だとほぼ山口県を横断するわけで,
だいぶ長かったですね.
下関についた頃には8割死んでました.
下関から小倉に渡ると,もう帰ってきた感あります.

f:id:makose3p1229:20180301235749j:plainf:id:makose3p1229:20180301235758j:plain
下関,小倉間で見た電車

小倉駅に着くともう昼で,観光しようと思いましたが,
疲れてて諦めました.

f:id:makose3p1229:20180301235831j:plainf:id:makose3p1229:20180301235813j:plainf:id:makose3p1229:20180301235821j:plain
小倉駅にて

直方駅という筑豊地区の駅で下車したのですが,
駅には魁皇という力士の銅像があるのですが,
とても大きいです.とてもです.

f:id:makose3p1229:20180301235839j:plain
直方駅のシンボル

さて,別日に都会を感じに福岡市へ参ります.
まずは博多駅へ参りました.
博多駅だけで松山市駅と大街道,銀天街分ぐらい活気づいていました.
夜だとイルミネーションがあるみたいです.

f:id:makose3p1229:20180301235849j:plainf:id:makose3p1229:20180302000623j:plain
博多駅にて

都会を感じるために行ったので,とりあえず散歩します.
まずはヨドバシカメラへ行きます(オタク).
地下へ行き,PCパーツを眺めました.
相変わらず1080Tiを置いている店には出会わない.
そのあとMouseComputerのお店にも行きました.

そして観光へ.
キャナルシティ天神駅,パルコなどを通って,大濠公園の方まで歩きました.

キャナルシティの方へ行って,トイレ難民をして,
その後近くにPixivの福岡オフィスがあったので,眺めに行きました.
写真は無いです(撮ればよかったと思っている).

f:id:makose3p1229:20180301235859j:plain
ここはキャナルシティ

通った道で気になったところを適当に撮った.
f:id:makose3p1229:20180302000357j:plainf:id:makose3p1229:20180302000409j:plainf:id:makose3p1229:20180302000420j:plainf:id:makose3p1229:20180302000427j:plainf:id:makose3p1229:20180302000432j:plain

パルコでは今期のくそアニメのイベントをやってました.

f:id:makose3p1229:20180302000437j:plainf:id:makose3p1229:20180302000441j:plain
パルコにて

大濠公園の手前に舞鶴公園があって,どうして合併しないのかと思いました.
舞鶴公園大濠公園のプライドから怒られそうですね.

f:id:makose3p1229:20180302000500j:plain
舞鶴公園の入り口?

その後,大濠公園に着いて,1周したのですが約2kmあるそうで,とても疲れました.
まあ博多駅から大濠公園まで5km位あるので,1周後は7kmぐらいは歩いている.
この日はとても風が強く,池が波打ってました.
白鳥もランデブーしてました.

2018年3月1日の天気
tenki.jp

f:id:makose3p1229:20180302000503j:plainf:id:makose3p1229:20180302000507j:plainf:id:makose3p1229:20180302000511j:plainf:id:makose3p1229:20180302000515j:plainf:id:makose3p1229:20180302000533j:plainf:id:makose3p1229:20180302000534j:plainf:id:makose3p1229:20180302000539j:plainf:id:makose3p1229:20180302000555j:plainf:id:makose3p1229:20180302000600j:plainf:id:makose3p1229:20180302000608j:plainf:id:makose3p1229:20180302000613j:plain
大濠公園にて

博多駅までの帰路の途中にてオープンカーバス?を見かけました.
もしかしてここはロンドンかと思いました(すっとぼけ

f:id:makose3p1229:20180302000619j:plain
もしかしてロンドン???

博多駅について,ご飯を探す頃にはPM3:00でした.
とりあえずご飯と思い,OIOI(おいおい)に行きました.
10Fまで登って,和食を食べることに.

今回行ったお店
24-seasons.net

そして食べたのは親子丼です.
PM3:00ということもあり,お店は空いていて,
窓際を確保することができました.
10Fから見た博多駅は良い(高島屋から見る景色も好きだが).
お店のお姉さんがとても良くしてくれて,
普段女性と会話すらしないので,余計緊張していたのですが,
それでも優しく接してくれたので幸せでした.
さすが割烹って感じ.
ところで博多駅は亀梨くんを推しているのでしょうか?

f:id:makose3p1229:20180302000635j:plainf:id:makose3p1229:20180302000627j:plainf:id:makose3p1229:20180302000631j:plain
お昼ごはん♪

食後には勉強をしましょうということで,
博多バスターミナル内にある紀伊國屋書店へ行き,
専門書を眺め,帰路に着いたわけです.
眺めた本のうち気に入った本をAmazonで購入しました.
Amazonポイント付くので!

よく歩いたので,とても疲れまして,
電車内では座席をキープすることに専念しました.
3月1日ということで,卒業式と合同就職説明会があり,
学生が沢山いたように感じました.
まあ合同就職説明会には冷やかしに行ったのですが,
皆さん同じような格好をしていて,面白かったです.
私以外はほぼ皆様スーツでした(私服が数人?).
つまり何が言いたいというと,電車内で疲れた女子大学生が
こちらに寝かかって来たので,セクハラにならないかとヒヤヒヤしました.
無事に帰り着いて良かったです.

近いうちにもう1回行こうかと思います.
住むには悪くないと思いました.