こんばんは。お酒飲んでないので記憶が鮮明なうちに書いておきます。 （感想込みのものをこっちに書いておきます） 概要 Q.なにそれ A.↓です エイチームライフスタイル技術勉強会 in 名古屋ギークバー (08月31日) #geekbar https://geekbar.doorkeeper.jp/events/30082 以下、メモと感想。 間違っていたりするかもしれない&あとから加筆しているので適当に今度お会いした時とかに補足ください＞＜ あとから補足したり、わからなくなってコメントしたのを->で表記してます タイムテーブル 自動車事業部 SIM クルビア事業部 金融メディア事業部 発表　特別チーム 投票・結果発表 メールアドレスの誤入力検出 ・アドレス入力フォームあるある メールアドレスの入力間違い ピリオドとカンマ入れ間違えるetc. なぜかhttp://とかコピペするひとがいる 何

RESTful な設計って、ってマスタメンテ作るにはいいけどまともなサービス作れるの? という疑問に対して、結構やればアプリケーションできるので安心してください、という話をしました。 「独自研究」セクション以外はだいたいふつうに経験したことです。「独自研究」セクションはたぶん、今流行りのオーケストレイションレイヤをどうするかというところになるのかな、と。APIといいつつ、HTMLを返す話ばかりですが、これはAPIとHTMLをあえて区別せずそれは単にリプレゼンテーションが違うだけです、という意図でした。 転職してから初の社外発表が前職オフィスでやるというのが面白かったです。永和メンバーも結構たくさん会えてよかった。来てくださった方、開催をアレンジしてくださった方、ありがとうございました。

こんにちは。Misoca開発チームのmzpです。 長野で夏の星を見てきましたが、最高でした。 先日、ICSE 2015勉強会に参加してきたので、内容を紹介したいと思います。 ICSE 2015勉強会とは ICSE 2015勉強会は、ソフトウェア工学のトップカンファレンスの1つであるICSE(International Conference on Software Engineering)で発表された論文を紹介していく勉強会です。1つあたりの紹介時間は3分なので、ガンガン進んでいきます。 最新の研究の動向を一日で把握できるので、大学・企業等で研究している人から、ソフトウェア工学に興味を持っている人にいたるまで多くの人が毎年参加しています。今回は全会場あわせて151人の人が参加していたそうです。 参加報告 会場の様子 ICSE 2015勉強会は毎年、東京、大阪、名古屋、九州といった各拠点をTV

http://hal.archives-ouvertes.fr/docs/00/40/77/78/PDF/RT-367.pdf のざっくりした訳 方針 正確な訳にするよりも、意味がつかめる訳に。(時間がないので) パラグラフは崩さない 訳語の統一とかはあとで考える tacticもtacticsもタクティクスと訳してしまってるのは、あとでなんとかします。 イントロダクション ssreflectはCoqをベースにした言語です SSreflectはCoqをベースにした証明を行なうための形式言語です。Coqを定義言語と使いつつ、追加のタクティクス(推論や長い証明を書くのに便利なやつ)を提供します。 また既にこの拡張は非常に効果的であると実証されています。(参考: ssreflectを利用した4色定理の証明) ssreflectの追加したタクティクスはほとんどありません。ただし各タクティクスを組合せ

弥生24シリーズ（デスクトップソフト） 複雑な業務にも対応できる網羅的な機能を、かんたんな使い心地で。 やよいの青色申告 24 +クラウド 弥生会計 24 +クラウド やよいの給与計算 24 +クラウド 弥生給与 24 +クラウド やよいの見積・納品・請求書 24 +クラウド 弥生販売 24 +クラウド 弥生ネットワーク製品

TechLIONプロデューサの馮です。こんにちは。 今朝方の台風はすごかったですね。 ここ数年，自然の脅威を本当に痛感します。 ほどよいくらいの雨風だといいのですが…… さて。今年も残すところ2ヵ月半。あっという間の2013年ですね。 そして，年末と言えば恒例の忘年会！ すでに法林GMから案内があったように，TechLIONでは，どこよりも早い2013年忘年会を11月30日に開催します。 TechLION vol.15 大感謝祭＆大忘年会 http://techlion.doorkeeper.jp/events/6597 今回のTechLIONは忘年会でもあり，これまで14回続けてこられた貢献者でもある参加者の皆様，登壇したLIONの皆様への感謝の気持を込めて，「大感謝祭」と銘打って，その場にいる全員が語らい，酒を呑み，楽しく交流しながら2013年の振り返りと2014年に向けた鋭気を養える

9/28(土) 京セラドームで、参加者600人以上（終盤数えられてない）、懇親会200人以上となった JAWS FESTA Kansai 2013 を開催しました。 記録の意味で「実行委員長が見てた舞台裏」を書いておきます。 コミュニティ主体のイベントをやろう 2013.6 堀内さんと会う機会があり、帰りに飲み屋で少し話をしました。 僕から話したのは以下のような話。 3月のJAWS DAYS、ADSJさんが主体になって作ってたけど（これは当然）、少しコミュニティに任せても面白いのではないか。 ADSJさんからJAWS-UGの発展に貢献した人にre:Inventツアー進呈してくれる話が出たが、そういえば機会がない。 5.25 JAWS-UG大阪でアンカンファレンスやったが、とても面白かったし、ああいうインタラクティブなコンテンツを全国規模で行いたい。 そこからre:Invent前の秋に「秋の

起業家が、 東京だけでなく、岐阜でも起業しやすい環境を作ること。 岐阜の起業家が集まり、経済を活性化し、日本を、 そして世界を盛り上げていくのが、岐阜ベンチャーサミットのミッションです。 誰でも成功のチャンスを手に入れられる、 そんな環境を作るための起爆剤として、 岐阜の起業家を応援するイベントを、岐阜県スマートフォンアプリ開発の聖地、 大垣ソフトピア内ドリームコアにて行います！ <＜タイムスケジュール＞> 1）12時～13時 受付開始・パネル展示会場オープン ------------------------------------------------------------------ 2）13時15分～13時15分基調講演 ------------------------------------

dmmは世の中のオトコノコにとっていろいろと言及するのに躊躇いつつ誰でも知っているアレなわけです。で、それなりの規模のWebサービスの裏側を見たことがある人なら誰でも、dmmの裏側はきっと物凄いことになっているに違いない、ということが想像がつくわけですね。 簡単に思い付く範囲でも以下のようなものがあります。 膨大な画像(サムネイル)および実コンテンツ(画像、動画、ソフトウェア圧縮ファイル)を配信するトラフィック しかもトップ数パーセントだけではなく、おそらくかなり裾野が広いトラフィック 膨大な商品の高速な列挙・表示 膨大な商品に関するタグつけ 膨大な商品に関する自然言語による全文検索 全トラフィックにおける膨大な量の課金・決済トランザクション 実物の通信販売に決済結果を載せる流通関連の問題 大勢のユーザに対して膨大な商品から適切に行うためのレコメンデーション これだけのことをやっているから

おいしいドイツビールを飲みながら、 わいわいRubyなどの話をしようじゃないかというイベントです。 起業の話なども多くありますので、Rubyist以外の方も大歓迎です。 食事は軽食のみとなりますので、お昼はすませてきてください。 料金は主にドイツビール代に充当されます。 もちろんノンアルコールの飲み物もあります！ メインスピーカーとして全国各地から ・RubyコミッタであるHerokuの相澤さん(@ayumin) ・「スタートアップRuby」の著者である万葉の五十嵐邦明さん(@igaiga555) ・仙台でRubyによる自社サービスYouOKを運営している藤岡岳之さん(@xibbar) ・名古屋でRubyによりMisocaという請求書管理サービスを運営しているマツモトサトシさん(@dominion525) をお迎えしてお送りします。 福岡からは ・「mrubyでゴールドラッシュに参加！！」

To Great Hackers, この度Qiitaは、12月8日（土）にハッカソンを開催します！ 当日デザイナー+プログラマでチームを組み、最後にチームごとに成果を発表をしていただきます。 今回のハッカソンのテーマは、Androidを活用し、「複数の端末・画面で動くアプリやサービス」の開発です。普段触れない技術やガジェット、ツールを使って、楽しくチームで開発をしませんか？さらに、優秀な作品は、スペイン・バルセロナで開催されるMobile World Congress(MWC)2013にも参加できるかもしれません。 当日は軽食・懇親会付きです。豪華賞品も準備していますので奮ってご参加ください！ ＜開催概要＞ 主催：Increments株式会社 共催：Multi-Screen UX Competition特別協力：アライドアーキテクツ株式会社協力：DeployGate（株式会社ミクシィ） 日