よんた(転職活動しよう) (@keita44_f4)


参加する勉強会



過去の勉強会

10/5 (土)

6738d4d4e8d9da1206288bf0cd575e73 名古屋初心者LT大会
LT(ライトニングトーク)初心者が大勢集まってLTをしたり、聞いたりする会です。 「LTしてみたいけど、レベルの高いの中でやるのはちょっと…」 経験者だって誰しも最初は初心者でした。 初めての方、ぜひ最初の1回を乗り越えてみませんか。 「初めてやったときにヘタこいて、また失敗しないかコワイ…」 場数を踏んでいても、もっとああしていれば…と思うときはよくあります。 そうした反省を活かして、もう一度やってみませんか。 初心者LT枠 レギュレーション LTの経験が3回以下であること。全員の真偽確認は困難なので自己申告とします。 LTはITコミュニティで生まれ、広く行われていますが、題材はITに限定しません。良識の範囲内でご自由にどうぞ。 持ち時間は1人5分です。5分経過するとドラが鳴り、そこで終了です。早く終わってもドラが鳴るまで放置されます。 セールス、求人、その他の営業行為は禁じます。スポンサーLT枠を用意しますのでご連絡ください。 会場のご案内 ヤフー名古屋さまにて行います! JR名古屋駅構内にある高島屋横のエレベータからセントラルタワー15Fへ行き、タワーズオフィスの高層階用エレベータに乗り換えます。 最寄りの「ゲートタワーオフィス」ではありませんのでご注意ください。 プロジェクター仕様: 画面は4x3, HDMI, Mini-DisplayPort, VGA, (会場の関係で白背景のほうが見やすいです) 飲食:飲料、スナックなどに限り可です。LT発表や聴講をさまたげないようご配慮ください。 Wi-Fi:提供いただいておりますが、大人数のため接続が芳しくない状況もあります。発表資料でオンラインを使う場合、オフラインの代替コンテンツを用意しておくなどご検討ください。 タイムテーブル 適宜休憩をはさみながら、LT30本+スポンサーLT数本を予定しています。 会場は12:00から開放し、予定です。 セッション 発表者 タイトル OP: 13:30 - 13:40 @exoego 開始の挨拶、諸注意など 1: 13:40 - 14:10 戸ヶ里 健晟 yamuuuuuun Ya-san HayaUp ueponx YukiAmakawa 休憩 14:10 - 14:20 - - 2: 14:20 - 14:50 momocus iyo_27 nao_mu warumonogakari I_am_sawada yuji_teshima おやつ休憩 14:50 - 15:10 - - 3: 15:10 - 15:45 来栖川電算 LT x6 + おやつスポンサーLT yutaroud namiita tsubokoh ex_SOUL umesour kyntk 休憩 15:45 - 15:55 - - 4: 15:55 - 16:30 Yahoo LT x6 + 会場スポンサーLT uttne yamaryu labocho sawadango だゐ U_Serendipper_S 休憩 16:30 - 16:40 - - 5: 16:40 - 17:10 mnaruse SAKURAI, Atsushi icy ED: 17:10 - 17:30 - 終了の挨拶、片付けなど アンチハラスメントポリシー 名古屋初心者LT大会は、LT登壇の機会提供、LTを通じた様々な情報の共有、参加者同士の交流を目的としています。 わたしたちは誰もがハラスメントを受けずに参加できるコミュニティを目指しています。いかなる形であれハラスメントは許容できません。このルールを破る人は誰であろうと、主催者やスタッフの裁量で制裁措置を加えたり、当コミュニティから出入禁止とすること、また会場およびWeb上でのコンテンツについて掲載を取りやめることもありえます。 私たちが掲げるポリシーは、皆さんが安心して集える場の維持や、ナレッジ共有の促進のためにあります。 参加者皆さんが発表・発言された内容は、皆さんだけでなく、不特定多数の方の目に留まる可能性があります。 困難な内容をお願いしているわけではないと思いますので、参加されるすべての方は、 以下ポリシーを順守いただきますよう、ご協力をお願いいたします。 ハラスメントには以下のようなものを含み、また、これに限りません。 ジェンダー、性自認やジェンダー表現、性的指向、障碍、容貌、体型、人種、民族、年齢、宗教あるいは無宗教についての攻撃的なコメント。 公共のスペースで性的な画像や類する表現。 脅迫、ストーキング、つきまとい、または、それら計画すること。 いやがらせ目的の撮影や録音。 発表や他のイベントを継続的に妨害すること。 不適切な身体的接触。 過度な営業行為。 以上のような行為を推奨したり、擁護したりすること。 ハラスメントをやめるように要請された参加者は、直ちに従ってください。 従わない場合、私たちは、適切と思われる範囲で警告・強制的な退席・コミュニティからの追放などの手段を行使します。 ハラスメントを見聞きした・被害にあわれた方は、運営までご連絡ください。 全ての方が安心してイベントに参加でき、このような場を維持していけるよう、ご協力をお願い致します。 (このポリシーは NFUG のポリシーを参考にしています) スポンサー 会場提供:ヤフー名古屋さま おやつ提供:有限会社来栖川電算さま

5/10 (金)

『イヌもカイヌシさんもシアワセになる講座』を2019年より開講し 受講生の方達に、『イヌたちとストレスなくシアワセに暮らす方法』 を詳しくお伝えしています。 『イヌのトレーニング』 『しつけ教室』 ではないの? と聞かれることがとても多いです。 カイヌシさんが学ぶという文化は 今まで日本にはあまり浸透していませんでした。 けれど、私は『カイヌシさんが学ぶ』ということの 重要性について自ら経験しました。 私の無知から 本当はイヌたちが望んでいないことを 一生懸命に良かれと思ってしていたり 過保護、過干渉になってしまって 最終的にはうちのイヌたちは ストレスで壊れそうになりました。 あのまま放っておいたら 今頃生きているかどうかすら わからないくらいでした。 イヌの問題行動が起きたとき イヌだけが原因ではありません 群れ(パック)で暮らすことが基本のイヌたちにとって それぞれのすれ違いや勘違い、誤解などが生じて イヌに問題行動が起きる場合がほとんどです。 カイヌシさん家族全体で 問題を解決していくことで 『イヌもカイヌシさんもシアワセになる』 のです。 この講座では ◆イヌは毎日どうしていたいの? ◆イヌたちは何をしてもらったら嬉しいの? ◆本当のイヌとのコミュニケーションって? ◆理想のカイヌシさん家族とは? について詳しく学んでいきます。 犬が生まれてきてからどんな成長過程があり 犬たちはどんな生活環境を望み 犬たちのそれぞれの犬種の特性、体の特性があるのか など、本当に手厚くイヌたちを育てている ブリーダーさんレベルのイヌの専門家と呼ばれる人たちしか 知らない情報をカイヌシさんが知ることで イヌたちともっとストレスがなく 今より何十倍もシアワセに暮らすことが できるようになる講座を たくさんの人や講座から私自身が学び集大成として 私小園恵子がこの講座を作りました。 私だけでなく 受講された方のところのワンちゃんが どんどん笑顔になっていき カイヌシさんも笑顔になっていき 理想のワンライフを手に入れられる方が 日に日に増えています。

5/7 (火)

F73397e079bfdc49b7dc91384fcbcebd 継続勉強会
今度こそCPS
継続について勉強する会です。 前回は主催者都合により開催できなかったため、前回やろうとしていたことをやります。 浅井先生のshift/resetプログラミング入門( http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf )の2章がとりあえず終わったので、限定継続関連の論文を読むために必要となるCPSについて勉強します。 CPSとは CPS変換 call/ccとCPS shift/resetとCPS 2CPS(Meta Continuation Passing Style) あたりをやる予定です。全部はできないと思います。 CPSは多くの言語で考えられる概念なので、とても実践的です(少なくともshift/resetよりも実践的)。 この機会にCPSに慣れてみませんか。

4/9 (火)

F73397e079bfdc49b7dc91384fcbcebd 継続勉強会
継続について勉強する会です。 浅井先生のshift/resetプログラミング入門( http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf )の2章がとりあえず終わったので、3章を読めるようになる勉強と、control/promptという別の限定継続オペレーターについてをします。 前回の疑問点解決 control/promptに触れてみる

3/26 (火)

F73397e079bfdc49b7dc91384fcbcebd 継続勉強会
継続について勉強する会です。 浅井先生のshift/resetプログラミング入門( http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf )の2章がとりあえず終わったので、3章を読めるようになる勉強をします。 BNFが読めるようになる 評価文脈付きの簡約規則が読めるようになる が目標の回です。

3/12 (火)

F73397e079bfdc49b7dc91384fcbcebd 継続勉強会
継続について勉強する会です。 当面は、浅井先生のshift/resetプログラミング入門( http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf )を丁寧に理解しながら読んでいきます。 今回でひとまず一区切りの予定です。 なので、次回以降の予定も決めたいと思います。

2/26 (火)

F73397e079bfdc49b7dc91384fcbcebd 継続勉強会
状態モナド編
継続について勉強する会です。 当面は、浅井先生のshift/resetプログラミング入門( http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf )を丁寧に理解しながら読んでいきます。 今回は、shift/resetによる状態モナドを読む前準備として、状態モナド自体についてをやります。 第6回: 3/12(火)

2/12 (火)

F73397e079bfdc49b7dc91384fcbcebd 継続勉強会
継続について勉強する会です。 当面は、浅井先生のshift/resetプログラミング入門( http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-j.pdf )を丁寧に理解しながら読んでいきます。 今回は、型安全なprintfを中心にやる予定です。 第5回: 2/26(火) 第6回: 3/12(火)

2/2 (土)

1c45836181307ef29338a1e3f6902df3 JuliaTokai
概要 Julia は、技術計算を得意とする新しい汎用プログラミング言語です。 動的言語の柔軟性をもちつつ、LLVMをベースにしたJITコンパイラを備えており、C言語などにも匹敵する実行速度を誇ります。 JuliaTokai は Julia言語 の普及と情報共有を目的とした、東海地方のユーザグループです。企業・アカデミアを問わず皆さまの参加を歓迎します。 イベント内容 Julia に関すること、ということ以外に 特にテーマは決めません(重要)。 当日最初に、自己紹介と「今日やりたいこと」を聞く予定です。 もくもくと Julia プログラムを書いたり、Julia のことで分からないことを質問・相談したり、何か「Julia でやってみた」等発表したいことがあればそれも大歓迎です(大画面モニタあります)。 後はその場の流れでその日の内容を決めていきます(何もなければもくもく会になります)。 行動規範 ゆるーいイベントではありますが、参加者には Julia の コミュニティ規範 は尊重していただきます。 特に、個人の属性や嗜好に関するハラスメントは一切認められません。 持ち物 Julia が実行できるPC、もしくは無線LAN接続が可能なPC(必須) 発表したい人は、発表資料等 会場 有限会社 来栖川電算 会議室(+ラウンジ) 名古屋市中区新栄1-29-23 アーバンドエル新栄2階 電源・Wi-Fiあり 大画面モニタあり(50インチ/70インチ、HDMI接続) 懇親会等 イベント後に有志で懇親会も考えています(未定)。 駅前のファミレスか会場付近の飲食店で食事をしながら歓談しましょう。 当日参加確認をします。

12/22 (土)

432c798de26f5eab91131b619de4a109 NGK2018B
昼の部(LT大会)の参加募集ページです。 夜の部(大忘年会・懇親会)のお申込みは→ https://ngk2018b.connpass.com/event/105836/ イベントの詳細については NGK2018Bトップページをご覧ください。 タイムテーブル / LT発表タイトル 全日のタイムテーブルはこちらを御覧ください。 発表順は当日発表者の希望を考慮し、近日中に決定いたします。 セッション 発表者 タイトル OP 13:45-13:55 1. 13:55-14:30 terurou (デンキヤギ) Computation Exressions for Haxe antimon2 JuliaTokai始めました 77web 最近のPHP事情とNagoya.phpへのお誘い girigiribauer 沖縄のバスがつらすぎて自分でバスアプリ作った話 KageShiron (未定) IsuyaKuga (未定) 休憩 14:30-14:40 2. 14:40-15:15 堤 浩一朗 (ヤフー) Yahoo!地図の災害時の取り組みについて (仮) take_the_next (未定) Ryuichirou 僕が小規模なコミュニティを続けられなくなったときに考えたこと sqm8 YouTube生配信の機材紹介 Kuxumarin (未定) tss_ontap DNS 第1フラグメント便乗攻撃(当日飛び入り) 休憩 15:15-15:30 3. 15:30-16:10 yugapanda プログラマのための作曲入門 kotashan 病気がちでもみんなと美味しく食べたい! niwasawa 時短勤務で LeSS Huge スクラムマスターしたときの話(仮) aritaku03 もしも突然セキュリティ担当になったら takashiski 最近のキーボードの話 youhei_yamaguchi (来栖川電算) 毎朝体操杯 in NGK2018B aua2008 ??? 休憩 16:10-16:30 4. 16:30-17:05 福岡 久長 (シェルパ) 一人開発・運営で工夫していること yuji38kwmt IE/Edgeへの恨みつらみ kawaji_scratch 2018年発表の気になるAWSサービス!! A_Wilhelm お城Python hirokundayon DNSブロッキングで余計な広告を表示させないようにしよう weblog_tech (未定) 休憩 17:05-17:15 5. 17:15-17:55 新田知稔 (スマテン) バンコクIT事情 Dominion525 (未定) amay077 ハムスター検出器を1日で作ってみた miura (未定) ysugimoto LuaでWebAssemblyを書く話 j_levia (未定) (欠員) (欠員) 休憩 17:55-18:05 6. 18:05-18:40 KazuoAsano マルチプラットフォームQtと、コミュニティ 日本 Qt ユーザー会 の紹介 katzueno CoderDojo: 子ども向けコミュニティ運営のチャレンジ (仮) sh-ogawa 今年はある種の当たり年だった!という一年振り返り nori2takanori SORACOM LTE-M Buttonで子供に帰宅時刻を通知させる仕組みを作った話 kazuki_kachi (未定) dabits 平成のエンジニアを駆け抜けた総括(仮) ED 18:40-19:00 1人最大30秒程度のイベント・コミュニティ告知タイムを設けます。事前登録不要です。 会場利用上の注意 10時開場です。イベント開始までの間は会場をご自由に利用いただけます(もくもく会等を行っていただいても結構です)。 飲食可です。 会場にドリンク自販機があります(4F, 5F) 会場にゴミ箱はありますが、人数が多いため、持ち帰りを前提で考えてください。 ネット回線ありません。人数が多いのでモバイル回線がひっ迫する可能性あります。 電源ありますが、コンセント数は限られます。実行委員で電源タップは用意しないので、参加者間でシェアしてください。 全館禁煙です。建物外に喫煙所があります。 スポンサーLT枠希望の方へ 例年どおり、求人案内や製品紹介などが可能なスポンサーLT枠は別途もうけております。 NGK2018Bトップページにあるスポンサー募集要綱をご覧いただき、お問い合わせください。 おかげさまで、予定のスポンサーLT枠がいっぱいになりましたので、募集を締め切りました。

8/29 (水)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は「11.2 結合可能両端キュー」から読みます 今回で終わりましょう 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:50ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @c0hama までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

7/25 (水)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は「11 暗黙再帰減速」から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:50ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @c0hama までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

6/29 (金)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は「10.2 構造的抽象」から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

5/24 (木)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は「第10章 データ構造ブートストラップ」から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

4/27 (金)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は「9.2.4 区分表現」から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

2/26 (月)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は「8.4.3 実時間両端キュー」から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

2/1 (木)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は「第8章 遅延再構築」から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

1/17 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Seminars & Workshops
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 今回 今回は3章から 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

12/20 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Seminars & Workshops
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 今回 今回は§§2.2.6から 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) *NEW* ギフト交換用のプレゼントを持ってきましょう〜 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

12/5 (火)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は「第7章 償却の除去」から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

065d9c3a04fcc72e941b60c63551da0e NGK2017B
昼の部(LT大会)の参加募集ページです。 イベントの詳細については NGK2017Bトップページをご覧ください。 LTタイムテーブル 全日のタイムテーブルはこちらを御覧ください。 発表順は当日発表者の希望を考慮し、11/25(土)に決定いたします。 →発表者の希望を考慮した上で、こちらのコードで生成しました。 時間 発表者 タイトル 13:00- 開場 14:00-14:10 オープニング LT#1 14:10-14:40 kazuki_kachi プロトコル的な話 ysk-tngc Mobile Act の紹介 terurou Vue.jsをHaxeで yoshihiro503 yusuke_kokubo 名古屋に住みながら毎週京都や東京や福岡に通う生活 休憩 14:40-14:55 LT#2 14:55-15:25 youku_s ElmでWebサービスを作るふわっとしたお話 y_taka_23 LiquidHaskell で普通の型システムの上を行け tinymouse_jp Ryuichirou 僕が小規模なコミュニティを運営し続けるときに考えたこと eitoball 休憩 15:25-15:45 LT#3 15:45-16:15 youhei_yamaguchi 毎朝体操杯 in NGK2017B maeda_ (欠員) niwasawa コードを1行も書かずに iOS アプリをリリースできるのか? totomo1217 ヤフー名古屋オフィスの紹介 休憩 16:15-16:40 LT#4 16:40-17:10 kawaji_scratch AWS最大のイベント re:Invent2017を参加せずに語る sqm8 ぜったい当たる宝くじの買い方 kaizen_nagoya bleis-tift PCさえあればいい。 sh-ogawa 受託、SES、WEBと経験したので 振返って比較してみた 休憩 17:10-17:30 LT#5 17:30-18:00 MasakiOhta 藤井智康 キミは小宇宙(コスモ)を感じたことがあるか! Kuxumarin いんたーんしっぷゆるふわ所感 mzp Inside InputMethod katzueno 2020年小学校英語 & プログラミング必修化記念。GitHub で使える英会話講座 休憩 18:00-18:20 LT#5 18:20-18:50 aua2008 mituhiromatuura GR-PEACH & TOPPERS/ASP で電子工作 noob Haskell × Elm × Kotlin で Android アプリ作った話 smogami STRANGER TYPINGS garriguejej 名大プログラミングコンテストの宣伝 18:50-19:05 クロージング、告知等 19:05-19:25 夜の部会場へ移動(Googleマップ) 一般LT枠希望の方へ 10年目の節目を迎える今回は、IT系コミュニティで交流し、名古屋のIT系コミュニティを盛り上げたい という初心に立ち返り、より様々な方の発表が聞けることを目指しています。 これまで発表してくださった熱心な方々の多くが、.netや関数型プログラミングなどの比較的近しいコミュニティに所属していることもあってか、発表者や参加者がややかたよってきました。ですが、NGK2016Bではモバイル、IoT、クラウド、機械学習など、名古屋の多様なITコミュニティの方が発表してくださいました。 そこで、これまで以上に幅広い発表が聞けるように、LT枠は早い者勝ちではなく 抽選 とします。できるだけバラエティに富むように、近い内容(例:あるプログラミング言語の紹介が2人かさなった、など)のLTはどちらかのみ残すなど、抽選に一部かたよりをつける場合がございます。恣意的な選別は行わず、できるだけLT枠を増やす方向で検討しています。 スポンサーLT枠希望の方へ 例年どおり、求人案内や製品紹介などが可能なスポンサーLT枠は別途もうけておりますので、ご希望の方は管理者までお問い合わせください。

11/22 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Seminars & Workshops
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 今回 2章数学的準備から 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

11/15 (水)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は「6.3.3 負債の継承」から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

10/10 (火)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は6章から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

9/17 (日)

台風18号について 台風18号の接近に伴い、17日15時以降名古屋が暴風域に入る可能性があります。 したがって開催時間をはやめ、11:00から14:00くらいに変更します。 作って食べる料理は夕食ではなく昼食となります。 Talkの時間割も変更になると思いますが、現地で決定します。 概要 お茶と料理を楽しみながら関数プログラミングの話とかしましょう。 TOC(台風による予定変更前の内容) 14:00-15:00 Talk 1 依存型の話 (@t6s) 15:00-16:00 お茶 & Talk 2 数学者のいう美しさってなんじゃらほい (@tannakaken) 16:00-17:00 Talk 3 OCaml で線形型を使ったプログラミングの話 (@keigoi) 17:30-20:30 料理と夕食 & Talk 4 分割数の話 (@wasajifu1) お茶 台湾茶 (@GregWeng) 抹茶 (@t6s) 料理 沙茶料理 (@GregWeng) その他 淹れたいお茶などの持ち込み歓迎します

9/8 (金)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は25章から読みます どの程度進むか見通せていません 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 事前に読み進め、疑問点・不明点を持ってきてくれると嬉しいです。 各自、課題をトライしてみてください(解けなくてもよいです)。 タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は食事禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

8/10 (木)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は2.2章から4章くらいまでを読みます どの程度進むか見通せていません おそらく3章くらいで時間になるかも? 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います おもしろそうな問があれば解いていきます 道草先の要望をぜひください。お願いします。 事前準備 3.2「二項ヒープ」から事前に読み、疑問点・不明点を持ってきてください 各自、課題をトライしてみてください(解けなくてもよいです) タイムスケジュール 18:45ころ 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は飲食禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート よんたの演習回答

7/26 (水)

296b2164278476aab6af688fe488197e 『FP in Scala』読書会@名古屋
目的 『Scala関数型デザイン&プログラミング』(FP in Scala)を読み、練習問題を解くことで、関数型プログラミングの考えやScala言語を楽しく学ぶ。 今回の範囲 13.2.2節 単純なIO型の長所と短所 からです。事前にしっかりExerciseを解いておくのをオススメします。 進め方 参加者でさらっと読み合わせる Exerciseも解く みんなで疑問点を質問、解消していく Scala有識者から解説もらってハッピーになる 今回から参加でも大丈夫 対象者 最近話題のScalaを独学してみたけど、挫折しちゃった方 なごやかScalaに参加したかったけど、もう終わってて悔しかった方 名古屋に住んでおきながら関数型プログラミングを知らない事に負い目を感じている方 関数型プログラミングの勉強会に行ったけど、みんなが何言ってるか分からず挫折した方 関数型プログラミングとかよく分からないけど、みんなとプログラミングの勉強を楽しみたい方 持ち物 『Scala関数型デザイン&プログラミング』 ノートPC(任意)。Exerciseを解くのに使います Scalaをみんなと一緒に楽しく学ぼうという気持ち 場所 来栖川電算 会議室 名古屋市中区新栄1丁目29-23 アーバンドエル新栄2階 地下鉄鶴舞線 鶴舞駅から徒歩11分 JR中央本 鶴舞駅から徒歩11分

7/10 (月)

No image 108x72 g SML名古屋
純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 純粋関数型データ構造 電子書籍版 内容 今回は2.2章から4章くらいまでを読みます どの程度進むか見通せていません おそらく3章くらいで時間になるかも? 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 あれこれ試行錯誤中 名古屋の読書会らしく、1節ぐらいごとに交代で読みます よんたが節ごとのまとめを展開いたします 各節ごとに、疑問点・質問があれば適宜議論して道草を食います 事前準備 2.2章から4章を事前に読み、疑問点・不明点を持ってきてください 各自、課題をトライしてみてください(解けなくてもよいです) タイムスケジュール 18:30 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 事前準備した心(対象章を読む、課題を解く) 注意事項 会場は飲食禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート

7/5 (水)

なごやこわいとはこういうことだ?
dico_lequeさんがオンザロードにやってきた! なごやのワイルドカードことdico_lequeさんがオンザロードにジョインしてくれました。 これを機会にみんなで仲良くなりましょう。 dico_lequeさんにおめでとうを言いたい人はぜひ参加してください! 発表者を募集中です! 発表枠 でこれきとは! by dico_leque 江戸時代のソフトウェアづくり(仮) by すのとら ねこでもわかる Lens, Prism by its_out_of_tune センセーショナルな法律の話 by りょかさん 未定 by bleis スターバックスのマーケティングについて by tazzy 音楽のバージョン管理 by neno

6/20 (火)

1474 normal 1468219410 01 Misoca
RustとWebAssemblyについて勉強します。 Rust 1.14でWebAssemblyがサポートされたことにより、RustおよびWebAssemblyへの期待感が高まっています(ボクの中で)。 ので、みなさまと一緒にイチから学んでいきたいと考えています。 ✅進め方 (案) 適当に話しながら決めていきたい。今はこんなことをやろうと思っている。 Rustの環境を構築する プログラミング言語Rust を読む WebAssemblyで遊ぶ 📚今回の範囲(予定) 文字列 WebAssemblyで何か吐いてみる 💼持ち物 Rustが実行できる環境 プログラミング言語Rust が読める環境 📅タイムテーブル 18:45 開場 19:00 開始 21:00 終了 ⚠️注意事項 会場は飲食禁止ですのでご注意ください 当日、場所がわからない等ありましたら @mzpまでご連絡ください (業務連絡) Misoca社員の方も本ページから申し込んでください

6/19 (月)

純粋関数型データ構造とは
概要 Chris Okasaki氏の「Purely Functional Data Structures」の訳書である、 「純粋関数型データ構造」が発売されました。 自分も過去に読みましたが、そろそろ復習したい気持ちになってまいりました。 そこで、読書会を名古屋でも行おうと思います。 内容 純粋関数型データ構造を輪読します。 電子書籍版もあります。 参加者の疑問点などを議論しながら優しく進めましょう。 進め方 名古屋の読書会らしく、1節ぐらいごとに交代で読みます 疑問点・質問があれば適宜議論して道草を食います タイムスケジュール 18:30 開場 19:00 開始 20:00 5分休憩 21:00 終了 持ち物 純粋関数型データ構造が読める環境 注意事項 会場は飲食禁止ですのでご注意ください 会場への行き方は https://teachme.jp/contents/178310 を参考にしてください 当日、場所がわからない等ありましたら @keita44_f4 または @mzp までご連絡ください 参考 『純粋関数型データ構造』のためだけの超いい加減な Standard ML 入門 SMLチートシート

5/31 (水)

296b2164278476aab6af688fe488197e 『FP in Scala』読書会@名古屋
目的 『Scala関数型デザイン&プログラミング』(FP in Scala)を読み、練習問題を解くことで、関数型プログラミングの考えやScala言語を楽しく学ぶ。 今回の範囲 第12章 6節 トラバーサブルファンクター からです。事前にしっかりExerciseを解いておくのをオススメします。 進め方 参加者でさらっと読み合わせる Exerciseも解く みんなで疑問点を質問、解消していく Scala有識者から解説もらってハッピーになる 今回から参加でも大丈夫 対象者 最近話題のScalaを独学してみたけど、挫折しちゃった方 なごやかScalaに参加したかったけど、もう終わってて悔しかった方 名古屋に住んでおきながら関数型プログラミングを知らない事に負い目を感じている方 関数型プログラミングの勉強会に行ったけど、みんなが何言ってるか分からず挫折した方 関数型プログラミングとかよく分からないけど、みんなとプログラミングの勉強を楽しみたい方 持ち物 『Scala関数型デザイン&プログラミング』 ノートPC(任意)。Exerciseを解くのに使います Scalaをみんなと一緒に楽しく学ぼうという気持ち 場所 来栖川電算 会議室 名古屋市中区新栄1丁目29-23 アーバンドエル新栄2階 地下鉄鶴舞線 鶴舞駅から徒歩11分 JR中央本 鶴舞駅から徒歩11分

5/28 (日)

3c9b1f9fcb22d2f44afec2c4fa5b7939 Metasepi
ARMマイコン上で動作するアプリケーションをVeriFastで検証しましょう!
静的コード解析とこの勉強会について 静的コード解析をご存知でしょうか。静的コード解析とは、コンピュータのソフトウェアの解析手法の一種で、ソフトウェアを実行することなく解析を行うことです。このような手法には以下のように様々な実装があります: ATS, CBMC, Coq, Coverity Scan, CSP, Dafny, F*, Frama-C, FreeSafeTy, Infer, Isabelle, SATABS, Spin, Uppaal, VeriFast, Why3, boogie, cogent, corral, seL4, vcc, その他 しかしこれらの手法は特性が異なります。メモリの安全性しか検査できないものや、実行バイナリを数学的に証明できるものまで幅があるのです。実際の製品に応用する際には「どの手法が製品のどの部分に適しているのか」知っておく必要があります。 また、実際の製品の安全性は単に設計すれば済む問題ではありません。お客様が製品を入手する際に、その製品はどのような検証をなされていて、どの程度の安全性なのか納得していただいた上で、安心して使用していただかねばなりません。そのためにはこれらの手法をわかりやすく初学者に解説できる必要があるのです。 この勉強会は上記のような静的コード解析についての意見交換を目的としています。 発表スタイルと発表者の募集 この勉強会では発表者を毎回募集しています。基本的に発表者は「自分の話したい内容」を「自分の話したい形式」で「自分の意図したレベル」にて発表できます。無理に高度な話をする必要もありませんし、無理に初心者にわかりやすくする必要もありません。 ただし、初心者はわからないところを(ある程度)質問できるものとします。おそらく初学者からは、この勉強会で発表者が宇宙語を話しているように見えるでしょう。ただし、主催者はあまりにも初歩的な質問内容であった場合には任意のタイミングでその質問を打ち切ることができることとします。 発表者は可能であれば当日の発表資料を後日公開してください。勉強会に参加できなかった方々にも知見を共有したいためです。公にしたくない内容を発表する発表者は、事前にその旨を主催者に申告してください。 持ち物 Windows/MacOS/LinuxいずれかのOSがインストールされ、無線LANに接続可能なノートPC 当日のスケジュール 以下のようなスケジュールを想定しています。 12:30-13:00 開場 13:00-14:00 「自己紹介と今日話せるネタ出し」 by 全員 せっかく勉強会に集まったので、交流を深めるために自己紹介をしましょう。持ち時間は一人5分以内です。またもし勉強会当日に話せるネタがある場合には「XXXの発表をしたいです」と発言してください。予定を調整します。 # 自己紹介 ## 岡部 @masterq * 誰?: 昔NetBSDでコピー機を作ってました。今は仕事でSecure-OSを作っています。検証ツールが仕事に生かせたらいいなぁと考えて色々手を出しては手を焼いています。 * 話せるネタ: VeriFast検証器の紹介とRTOSに適用してみた話、ATS言語入門 ## つづきたかし @TakashiTsuzuki * 誰?: 社内SE。SIerのSEからキャリア。品質の向上に役立つ情報が欲しいな。 * 話せるネタ: ないよ! ## おおたまささき @Masaki_Ota * 誰?: 組み込みC言語エンジニアからはじめた。そのころ静的コード解析してた。R8Cマイコンを使ってた。今はWebアプリケーション。C#やRubyを使う。C++をたまに使う。Rubyは実行時のコード解析の方が重要。C++だと静的コード解析は大事かなと。 * 話せるネタ: ないよ! ## くぅ - kuxu * 誰?: 大学生だぜ!静的コード解析は言葉を聞いたことがあるぐらい。Coqは名前だけは聞いてた。いつかどちらもやらないと。普段はC#で。コグニティブサービスもさわっている。 * 話せるネタ: ないよ! ## @lumin * 誰?: 情報セキュリティ。納品されたバイナリの仕様を満たしているかどうか検索。対象:x86バイナリ,ARMバイナリ,Androidアプリ,iOSアプリ。idaproというツール。 * 話せるネタ: 今話したよ! ## よんた @keita44_f4 * 誰?: そもそも管理者に登録されたぞ。大学で関数型言語をやってた。Coqを触ってた。趣味として静的コード解析は趣味で。Qt/C++でアプリを仕事で書いている。 * 話せるネタ: ないよ! ## 黒曜 * 誰?: 会場係。RoR使い。Isabelleをさわった大学時代。 * 話せるネタ: ないよ! 14:00-15:00 「ChibiOS/RT開発環境の構築」 by @masterq メジャーなRTOSの1つであるChibiOS/RTを紹介し、参加者のPCにそのビルド環境を構築します。ビルド構築について詳しくはchibios-verifastリポジトリを参照してください。また本発表資料はGitHubから入手できます。 15:00-15:10 休憩 15:10-16:10 「STマイクロ製マイコンボード上におけるChibiOS/RTアプリケーションの実行」 by @masterq メジャーなマイコンメーカの1つであるSTマイクロ製のボードを使って、前タームで構築したChibiOS/RTのアプリケーションを動作させます。 # 反省 会場でハンズオンをして以下のような気付きが得られました。次回に向けて改善しましょう! * ケーブル不良品多し * GCCのツールチェーンのダウンロードが遅い(USBスティックで配布すべき) * GNU makeをインストールしていないcygwinユーザのことを考えろ * stlinkはハマるのでWindowsとmacOSはバイナリして環境構築した方がいい * stlinkの公式ドライバがWindowsには必要かも * Windowsではファームウェアライトは純正ツールの方がマシ * ツールチェーンにPATHを通す * 統合開発環境 * Dockerでイメージ配布 * mbed方式のファームウェアライトする方式の方がいいかも * MSYS/MinGW上ではst-utilが凍る * make gdbwriteからmake allに依存をはる 16:10-16:20 休憩 16:20-17:20 「VeriFastによるChibiOS/RTアプリケーションの検証」 by @masterq 前タームで使用したChibiOS/RTアプリケーションのコードに対してVeriFastを使って簡単な検証を行ないます。 17:20-18:00 「未定」 当日までに予定が決まらなければ、各自もくもく会になります。参加者が「こんな検証をしてみたい」と提案して、それに対して検証可能かどうか皆で調べるのも面白いかもしれません。また希望があれば来年の計画を立てたいと思います。 しかし会場からの活発な議論があった場合などは柔軟に対応しようと考えています。 会場について Misoca様に会議室を提供していただきました。ありがとうございます! 当日は森さん(@kokuyouwind)が会場を担当してくれます。 12:30頃には利用可能な状態にしておきますが、ビル自体のシャッターが降りているため、ビル入り口についたら主催者もしくは森さんご連絡ください。 その他会場詳細についてはこちらをご覧ください。 またこの勉強会において困ったことがありましたら 090-3524-7064 まで電話をください。主催者が対応いたします。 アクセス 場所 : 名古屋市中村区名駅2-35-22 メビウス名古屋ビル2階 株式会社Misoca 内 セミナールーム「木曽川」 map JR/地下鉄/名鉄「名古屋」駅より徒歩5分くらいです。 名古屋駅からの経路 スペック Wi-Fiあります プロジェクタ使えます。HDMI と VGAあります マイクとスピーカはありません ホワイトボードあります 電源潤沢にあります ドリンク飲めます。飲酒はご遠慮ください 食事はご遠慮ください。飲食可能なコミュニティスペースが同フロアにあります 禁煙です 弊社及び弥生の紹介やパンフレット配布等のご協力をお願いする場合があります。ご了承ください 協賛 STマイクロエレクトロニクス様: マイコンボードの提供 Misoca様: 会場の提供

5/24 (水)

りょかさんすごーい!
りょかさんと仲良くなろう 先日、 @ryokayan さんが株式会社オンザロードにジョインしてくれました! これを機会にみなさんりょかさんと仲良くしましょう! いままでりょかさんと知り合いでないかたも、これを機会にぜひ知り合ってみてください。 発表者募集中ですので、発表枠からもうしこんでください。 セッション @ryokayan「りょかとは!」 @bleis「SIerでつかうExcel活用術」 @its_out_of_tune「1時間目!算数」 @neno「セルフマネジメントできないとか()」 @tazzy「アジャイルの闇(仮)」 @co-qn「C#プログラマーよ、Elixierをつかえ」 @sunotora「時間軸の話(仮)」 @kyon_mm「価値とは何か」

5/17 (水)

1474 normal 1468219410 01 Misoca
RustとWebAssemblyについて勉強します。 Rust 1.14でWebAssemblyがサポートされたことにより、RustおよびWebAssemblyへの期待感が高まっています(ボクの中で)。 ので、みなさまと一緒にイチから学んでいきたいと考えています。 ✅進め方 (案) 適当に話しながら決めていきたい。今はこんなことをやろうと思っている。 Rustの環境を構築する プログラミング言語Rust を読む WebAssemblyで遊ぶ 💼持ち物 Rustが実行できる環境 プログラミング言語Rust が読める環境 📅タイムテーブル 18:45 開場 19:00 開始 21:00 終了 ⚠️注意事項 会場は飲食禁止ですのでご注意ください 当日、場所がわからない等ありましたら @mzpまでご連絡ください (業務連絡) Misoca社員の方も本ページから申し込んでください

5/10 (水)

296b2164278476aab6af688fe488197e 『FP in Scala』読書会@名古屋
目的 『Scala関数型デザイン&プログラミング』(FP in Scala)を読み、練習問題を解くことで、関数型プログラミングの考えやScala言語を楽しく学ぶ。 今回の範囲 第12章 アプリカティブファンクターとトラバーサブルファンクター からです。事前にしっかりExerciseを解いておくのをオススメします。 進め方 参加者でさらっと読み合わせる Exerciseも解く みんなで疑問点を質問、解消していく Scala有識者から解説もらってハッピーになる 今回から参加でも大丈夫 対象者 最近話題のScalaを独学してみたけど、挫折しちゃった方 なごやかScalaに参加したかったけど、もう終わってて悔しかった方 名古屋に住んでおきながら関数型プログラミングを知らない事に負い目を感じている方 関数型プログラミングの勉強会に行ったけど、みんなが何言ってるか分からず挫折した方 関数型プログラミングとかよく分からないけど、みんなとプログラミングの勉強を楽しみたい方 持ち物 『Scala関数型デザイン&プログラミング』 ノートPC(任意)。Exerciseを解くのに使います Scalaをみんなと一緒に楽しく学ぼうという気持ち 場所 来栖川電算 会議室 名古屋市中区新栄1丁目29-23 アーバンドエル新栄2階 地下鉄鶴舞線 鶴舞駅から徒歩11分 JR中央本 鶴舞駅から徒歩11分

4/26 (水)

1474 normal 1468219410 01 Misoca
RustとWebAssemblyについて勉強します。 Rust 1.14でWebAssemblyがサポートされたことにより、RustおよびWebAssemblyへの期待感が高まっています(ボクの中で)。 ので、みなさまと一緒にイチから学んでいきたいと考えています。 ✅進め方 (案) 適当に話しながら決めていきたい。今はこんなことをやろうと思っている。 Rustの環境を構築する プログラミング言語Rust を読む WebAssemblyで遊ぶ 💼持ち物 Rustが実行できる環境 プログラミング言語Rust が読める環境 📅タイムテーブル 18:45 開場 19:00 開始 21:00 終了 ⚠️注意事項 会場は飲食禁止ですのでご注意ください 当日、場所がわからない等ありましたら @mzpまでご連絡ください (業務連絡) Misoca社員の方も本ページから申し込んでください

2/8 (水)

296b2164278476aab6af688fe488197e 『FP in Scala』読書会@名古屋
目的 『Scala関数型デザイン&プログラミング』(FP in Scala)を読み、練習問題を解くことで、関数型プログラミングの考えやScala言語を楽しく学ぶ。 今回の範囲 9章 パーサーコンビネータのExercise 9.3 からです。事前にしっかりExerciseを解いておくのをオススメします。 進め方 参加者でさらっと読み合わせる Exerciseも解く みんなで疑問点を質問、解消していく Scala有識者から解説もらってハッピーになる 今回から参加でも大丈夫 対象者 最近話題のScalaを独学してみたけど、挫折しちゃった方 なごやかScalaに参加したかったけど、もう終わってて悔しかった方 名古屋に住んでおきながら関数型プログラミングを知らない事に負い目を感じている方 関数型プログラミングの勉強会に行ったけど、みんなが何言ってるか分からず挫折した方 関数型プログラミングとかよく分からないけど、みんなとプログラミングの勉強を楽しみたい方 持ち物 『Scala関数型デザイン&プログラミング』 ノートPC(任意)。Exerciseを解くのに使います Scalaをみんなと一緒に楽しく学ぼうという気持ち 場所 来栖川電算 会議室 名古屋市中区新栄1丁目29-23 アーバンドエル新栄2階 地下鉄鶴舞線 鶴舞駅から徒歩11分 JR中央本 鶴舞駅から徒歩11分