参加記録 情報科学若手の会冬の陣2015
情報科学若手の会冬の陣2015 #wakate2015wに参加しました
Togetterまとめ
会場は電源完備＆大きめの机が椅子に着いているという豪華仕様でした
まとめ
-
黒崎優太 (@kuro_m88) ICTトラブルシューティングコンテストの紹介
- http://icttoracon.net/
- ネットワーク版CTFみたいなコンテスト
- Ciscoがスポンサーについているので、高価な機材がいっぱい用意されるみたい
- 大きな規模のネットワークであれこれするのって普通じゃ出来ないし、面白そうです。
-
浅野智之 (@asanon_s) Webの世界に散らばるデータをつなぐ技術
- semantic webやPDFの話
- 人間が読めれば良い形式から、構造化されて機械も読める形式を加えるみたい
- なんとなく理解が深まった気がします
- 完全なsemantic webへの道のりはまだまだ
-
門脇香子 証明プログラミング入門
- http://www.slideshare.net/ussopyon/ss-43846794
- OpenSSLの脆弱性をCoqで見つけた話を聞いてから、証明プログラミング凄そうだけどよくわからない状態だったので、 理解が深まりました。
- 何を証明すれば良いかを補完してくれるのは便利そうでした
-
佐野岳人 コードを書けば複素数が分かる
- http://www.slideshare.net/taketo1024/ss-43853048
- 初めて複素数が何なのかを感覚的に理解できた気がする…
- デモで関数をインタラクティブに可視化しているのが本当に凄かった
- ここから使える
-
辻順平 (@tsujimotter) 日曜数学のススメ
- http://www.slideshare.net/junpeitsuji/2015-43856733
- コンパスと定規で作図可能かどうかを判定するガウスの判定法凄い
- 折り紙だと四次方程式が解けるので、作図できなくても折れる場合があるとか凄い
-
池尻良平 ニュースと類似した歴史を求めるアルゴリズムを考えてみた – 役に立つ歴史教育を目指して
- 現代のニュースと、それに類似する歴史上の出来事を提示するシステムを作っているそうです
- 過去にどんな解決策をとって、どういう結果になったかを考えるのにとても便利そうです
- 早く使ってみたいですね
-
後藤紳 モバイルデータを用いた行動予測
- あんまり書いちゃいけなさそうなので割愛
- GPSの行動ログを蓄積して、次に何をしそうか提示するみたいです
- 同じような日々を送っている人には効果的っぽいです
-
宮代理弘 (@3846masa) Processin.ga – Webで書いてスマホで動かすサイト開発話
- http://processin.ga/
- http://3846masa.hatenablog.jp/entry/2015/01/25/011802
- Processingをブラウザ上で書いて動かし、かつスマホでもリアルタイムに動かせるサイトです
- 無ければ作る、あっても作る
- デザインはパクるもの
-
湯村翼 (@yumu19) 野生の研究について
- http://yumulog.hatenablog.com/entry/2015/01/25/020313
- そもそもアーカイブ形式が動画だと、後から調べるのがとても大変になる気がします
- 今は何とかなってるけど、数年、数十年と続いていくと辛いかと
-
宮下芳明 明治大学宮下研究室の活動とABProの紹介
- Linear vs Circular
懇親会
一晩寝たらだいたい忘れるという…(´･_･`)
-
courseraで英語勉強
- https://www.coursera.org/
- ちょうど機械学習とかやってみたかったのでよさそう(o゜▽゜)
-
自動作曲の話
- 歌詞を入れると自動でお音をつけてくれる
- 日本語の音節？を見て色々やってるらしい？
- ミクと組み合わせて、詩を書ければ曲が書けるとか良さそう
その他
何か発表したい人生だった…(:3 」∠)
