こはま (@c0hama)


参加する勉強会

4/21 (土)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★ スポンサーさまご紹介 機械学習名古屋の勉強会はスポンサーさまのご協力をいただき開催しております。 どなたでも無料で参加でき、懇親会費用も一部、ご負担頂いております。 来栖川電算さま  会場費用全額と懇親会費用の一部負担 株式会社groovesさま  懇親会費用の一部負担 ☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★ 勉強会について 前回同様、前半ハンズオン、後半発表(LT)の2部構成を予定しています。 1. OpenAI Gym を使ったゲームの強化学習ハンズオン OpenAI Gym は、OpenAI の提供する強化学習の開発・評価用のプラットフォームです。 今回はこの OpenAI Gym が提供するシュミレーション環境を利用して、ゲームの学習を通じて強化学習に触れあおう!というテーマでハンズオンを行います。 環境等 ※Python 等は事前にインストール or DockerイメージDL で準備しておいてください。 以下の環境を前提とします: Dockerを利用しない場合 windowsでは難点が多いため、virtualboxなどの仮想環境でubuntu16.04を使うことをおすすめします。 gymには依存するものがあり、インストールする必要があります。 Macの場合 brew install cmake boost boost-python sdl2 swig wget ubuntu14.04の場合 apt-get install -y python-numpy python-dev cmake zlib1g-dev libjpeg-dev xvfb libav-tools xorg-dev python-opengl libboost-all-dev libsdl2-dev swig python環境は次が必要です。 Python 3.x (3.5 以上を推奨) pip install gym pip install "gym[atari]" pip install chainerrl Dockerを利用する場合 docker pull nkats/mln_gym で環境でダウンロードしてください。 ハンズオン資料 資料 https://qiita.com/n_kats_/items/932ca8dccab66f3255ed プログラム https://github.com/n-kats/MLN_201804 はじめに資料を読みながら流れを解説します。その後、プログラムをもとに手を動かしてもらおうと思います。 2. 発表(LT) 何か発表をしていただける方は、ご連絡をお願いします。 機械学習/ディープラーニングに関することや、関連する内容ならなんでもOKです。 時間割 13:00-15:00 ハンズオン(休憩含む) 15:10-15:25 Yamazakiさん Dockerについて 15:25-15:55 TakaAdachi 害獣識別の機械学習 15:55-16:00 《スポンサーLT》Forkwell サービスの紹介 16:00-16:20 antimon2 たぶんJulia関連 会場について ※前回と部屋番号が異なります。ご注意ください。 オフィスパーク伏見・りそな名古屋ビル 8D 地下鉄伏見駅直結! 飲食可能(ゴミはお持ち帰りください) Wi-fi なし(テザリング環境等は各自でご用意をお願いいたします) 電源あり(電源タップケーブルを持ってきていただけると助かります) 勉強会開始前はバスケットボールのゲームをスクリーンに流しています。 懇親会について 勉強会後に、懇親会を予定しています。 こちらも来栖川電算様とgrooves様が一部、負担をしていただけます。 ぜひ、ご参加ください。

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チートシート よんたの演習回答

5/17 (木)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
論文紹介LT大会その2
機械学習 名古屋 研究会 モチベーション 月に1本は論文を読もう! 機械学習/AI 界隈では、日々の研究成果が『論文』として1日に何本も発表されています。 全ての論文を個人で追うのは無理でも、月に1本くらいならなんとかなるはず。 それをみんなで共有すれば、効率良く何本もの論文にふれあえる! そこで、機械学習名古屋 は通常の勉強会とは別の 研究会 を立ち上げました。 月1程度で集まって、みんなで『読んだ論文の共有』をしましょう! 進め方 参加者は、読みたい論文 を申告する。 参加時アンケートで『読みたい論文』を必須項目としています。必ず 読みたい論文 を用意してから参加を申し込んでください。 論文を開催日時までに読んで、1ページに簡単にまとめる(※1)。 当日、発表(LT)する。 ↑を肴に◯◯(※2)。 ※1:すぐ後で解説する「論文まとめについて」 を参照してください。 ※2:質疑応答議論ツッコミ等含む 論文まとめについて 論文まとめテンプレートを用意しています↓ 論文まとめテンプレート これは 落合陽一氏の論文まとめ方(あるスライドの65ページ目) を参考に Markdown 1ページに落とし込んだものです。 こちらを利用して、Markdown でまとめを作成していただき、研究会の GitHub リポジトリ に登録(プルリクを送る形でリクエスト)、という流れになります。 具体的には、↓の「第1回論文まとめディレクトリ」を参照してください。 → 第1回論文まとめディレクトリ 参加者は、アンケートに回答した『読みたい論文』を読んで、当日までにこのテンプレートを利用した Markdown によるまとめを作成して頂き、研究会の GitHub リポジトリ に登録(プルリクを送る形でリクエスト)してください。 (GitHub を使えない等の場合は、当日までに論文をまとめた .md ファイルを管理者宛に送付(もしくは共有URLを提示)いただければ、プルリク代行いたします) まとめ方の考え方やコツは、上述の「第1回論文まとめディレクトリ」の各まとめを見たり、以下に挙げる参考サイトなどを参考にしてください。 参考 高速で論文がバリバリ読める落合先生のフォーマットがいい感じだったのでメモ - 書架とラフレンツェ パワポ版の落合先生流論文要旨のテンプレートを作ったので配布する - 一人ぼっちのライフハック生活 発表について 1人あたりの持ち時間は「発表5分」+「質疑応答5分」の10分を目安とします(5分完全打ち切りLTではありません)。 2時間で参加者12人全員が発表(≒12部の論文が参加者全員で共有)できるよう、ご協力をお願いします。 今回の発表内容 発表者 論文 … … 持ち物 『論文を読む!』という前向きな気持ち 読んだ論文をまとめて『あとは当日発表がんばるぞ!』という気構え 参加枠について 紹介枠は、管理者(共催者の誰か)から紹介を受けた人用の枠です。アンケートで『誰からの紹介か』を必ず記入して申し込んでください。 よく分からない方は『一般枠』で申し込んでください。 会場 有限会社 来栖川電算 会議室 名古屋市中区新栄1-29-23 アーバンドエル新栄2階 電源・Wi-Fiあり

5/23 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Events
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 今回は第5章: The untyped Lambda-Calculus 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください


過去の勉強会

4/18 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Events
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 今回は§3.5.12 評価の停止性より 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

4/12 (木)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
論文紹介LT大会その1
機械学習 名古屋 研究会 モチベーション 月に1本は論文を読もう! 機械学習/AI 界隈では、日々の研究成果が『論文』として1日に何本も発表されています。 全ての論文を個人で追うのは無理でも、月に1本くらいならなんとかなるはず。 それをみんなで共有すれば、効率良く何本もの論文にふれあえる! そこで、機械学習名古屋 は通常の勉強会とは別の 研究会 を立ち上げました。 月1程度で集まって、みんなで『読んだ論文の共有』をしましょう! 進め方 参加者は、読みたい論文 を申告する。 参加時アンケートで『読みたい論文』を必須項目としています。必ず 読みたい論文 を用意してから参加を申し込んでください。 論文を開催日時までに読んで、1ページに簡単にまとめる(※1)。 当日、発表(LT)する。 ↑を肴に◯◯(※2)。 ※1:すぐ後で解説する「論文まとめについて」 を参照してください。 ※2:質疑応答議論ツッコミ等含む 論文まとめについて 論文まとめテンプレートを用意しました↓ 論文まとめテンプレート こちらは 落合陽一氏の論文まとめ方(あるスライドの65ページ目) を参考に Markdown 1ページに落とし込んだものです。 まとめ方の考え方は、このスライド及び後に上げる参考サイトを参考にしてください。 こちらを利用して、Markdown でまとめを作成していただき、研究会の GitHub リポジトリ に登録(プルリクを送る形でリクエスト)、という流れになります。 参加者は、アンケートに回答した『読みたい論文』を読んで、当日までにこのテンプレートを利用した Markdown によるまとめを作成して頂き、研究会の GitHub リポジトリ に登録(プルリクを送る形でリクエスト)してください。 (GitHub を使えない等の場合は、当日までに論文をまとめた .md ファイルを管理者宛に送付(もしくは共有URLを提示)いただければ、プルリク代行いたします) 参考 高速で論文がバリバリ読める落合先生のフォーマットがいい感じだったのでメモ - 書架とラフレンツェ パワポ版の落合先生流論文要旨のテンプレートを作ったので配布する - 一人ぼっちのライフハック生活 今回の発表内容 発表者 論文 URL antimon2 Searching For Activation Functions miwa Using Grouped Linear Prediction and Accelerated Reinforcement Learning for Online Content Caching matsui_kota Joint distribution optimal transportation for domain adaptation smogami Employing Weak Annotations for Medical Image Analysis Problems KaazTech Students’ Performance Prediction Using Data of Multiple Courses by Recurrent Neural Network SSS3 Grad-CAM: Visual Explanations from Deep Networks via Gradient-based Localization ToshiakiSakurai Do They All Look the Same? Deciphering Chinese, Japanese and Koreans by Fine-Grained Deep Learning nharu1san Sequential Matching Network: A New Architecture for Multi-turn Response Selection in Retrieval-Based Chatbots BrickLego Dynamic Routing Between Capsules c0hama BinaryConnect: Training Deep Neural Networks with binary weights during propagations n-kats Zero-Shot Object Detection: Learning to Simultaneously Recognize and Localize Novel Concepts ※参加登録順 持ち物 『論文を読む!』という前向きな気持ち 読んだ論文をまとめて『あとは当日発表がんばるぞ!』という気構え 参加枠について 紹介枠は、管理者(共催者の誰か)から紹介を受けた人用の枠です。アンケートで『誰からの紹介か』を必ず記入して申し込んでください。 よく分からない方は『一般枠』で申し込んでください。 会場 有限会社 来栖川電算 会議室 名古屋市中区新栄1-29-23 アーバンドエル新栄2階 電源・Wi-Fiあり

3/14 (水)

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

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/14 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Seminars & Workshops
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 今回は§3.3.3[|Consts(t)|<=size(t)の証明]から 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

2/9 (金)

概要 Martin-Loefの型理論とか勉強しましょう。 第4回は以下の文献などを参考にdirected type theoryをやります http://www.cs.cmu.edu/~drl/pubs/lh102dtt/lh102dtt.pdf https://tel.archives-ouvertes.fr/tel-01590515/document http://www.lsv.fr/~dubut/defense.pdf 計画 第一回 intensional / extensional type theory 第二回 universe 第3回 cubical type theory 第4回 directed type theory 第?回 observational type theory

2/3 (土)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★ スポンサーさまご紹介 機械学習名古屋の勉強会はスポンサーさまのご協力をいただき開催しております。 どなたでも無料で参加でき、懇親会費用も一部、ご負担頂いております。 来栖川電算さま  会場費用全額と懇親会費用の一部負担 株式会社groovesさま  懇親会費用の一部負担 ☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★☆★ 勉強会について 前回同様、前半ハンズオン、後半発表(LT)の2部構成を予定しています。 1. CIFAR-10のハンズオン CIFAR-10画像データセットは小さいサイズのカラー画像のデータセットです。 画像サイズは32 x 32px 10クラスの画像がそれぞれ6000枚、計60000枚の画像がある そのうち50000枚が学習データ、10000枚がテストデータ クラスはairplane, automobile, bird, cat, deer, dog, frog, horse, ship, truck 今回はこのデータセットを題材に、TensorFlow/TensorBoard の使い方、CNN(畳み込みニューラルネット)の基本を抑えよう!というテーマでハンズオンを行います。 環境等 以下の環境を前提とします: Python 2.7.x / 3.x (3.5 以上を推奨) TensorFlow v1.3.x 以降(なるべく最新) TensorBoard(任意、TensorFlow と同時にインストールされていればそれでOK) Jupyter notebook(任意、あると便利) ※TensorFlow 等は事前にインストール or DockerイメージDL で準備しておいてください。  (前回の勉強会で準備した Docker イメージ でもOK) ハンズオン資料 ハンズオン資料 2. 発表(LT) 何か発表をしていただける方は、ご連絡をお願いします。 機械学習/ディープラーニングに関することや、関連する内容ならなんでもOKです。 antimon2 (未定、たぶん Julia 関連) 《スポンサーLT》Forkwell サービスの紹介 時間割 《準備中》 会場について ※前回と会場が異なります。ご注意ください。 オフィスパーク伏見・りそな名古屋ビル 8B 地下鉄伏見駅直結! 飲食可能(ゴミはお持ち帰りください) Wi-fi なし(テザリング環境等は各自でご用意をお願いいたします) 電源あり(電源タップケーブルを持ってきていただけると助かります) 勉強会開始前はバスケットボールのゲームをスクリーンに流しています。 懇親会について 勉強会後に、懇親会を予定しています。 こちらも来栖川電算様とgrooves様が一部、負担をしていただけます。 ぜひ、ご参加ください。

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/11 (土)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
※今回はオリファビル4階になります
☆★☆★☆★  来栖川電算様にスポンサーになって頂きました。  ☆★☆★☆★ ☆★☆★☆★ 参加費無料です。どなたでもお気軽にご参加下さい。 ☆★☆★☆★ 今回は、4階になります。お気を付けください。 1. TensorBoradのハンズオン 機械学習で結果や途中経過を確認・レポートするのに、データの可視化が重要になってきます。 今回は TensorFlow に標準で付いてくる(※1) TensorBoard で、様々な可視化を体感できるハンズオンを行いたいと思います。 学習過程の可視化(loss、正解率、その他の評価指標などの確認) 学習途中経過の可視化(Data Augmentation 後の画像 、重みのHistogramなどの確認) 学習結果の可視化(汎化性能、分類結果などの確認) ※詳細は ハンズオン資料 を参照ください。 ハンズオン資料 ハンズオン資料 環境等 以下の環境を前提とします: Python 2.7.x / 3.x (3.5 以上を推奨) TensorFlow v1.3.0 それ以前のバージョンでもおそらく動作しますが、できる限り最新のTensorFlowをご用意ください。 TensorBoard v0.1.8(※1) それ以前のバージョンでもおそらく動作しますが、できる限り最新のTensorBoardをご用意ください。 numpy v0.11.x 以上 matplotlib v2.0.x 以上 ※これらの環境構築済の Docker イメージ を用意しました。docker pull antimon2/mln201711 してご利用ください。 ※ ハンズオン資料 も参照ください。 ※1…TensorFlow 最新版(v1.3)では別パッケージになっていますが、pip等でインストールした場合には依存関係で同時にインストールされるようになっています。 2. 発表 何か発表をしていただける方は、ご連絡をお願いします。 機械学習/ディープラーニングに関することや、関連する内容ならなんでもOKです。 antimon2 (未定、NGK2017B の再アナウンス・Julia について等を予定) n-katsu doc2vecについて 時間割 13:00-13:10 挨拶 13:10-14:30 ハンズオン 14:40-15:00 ハンズオンの解説・質疑応答 15:00-     発表 会場や会費について 会場:名駅南VIPルーム (4階) 住所:名古屋市中村区名駅南1丁目19-27 オリファビル4階 会費:無料 お気軽にご参加ください。 懇親会について 懇親会も来栖川電算様が一部、負担をしていただけます。 ぜひ、ご参加ください。

10/25 (水)

概要 Martin-Loefの型理論とか勉強しましょう。 第2回は Cohen et al., Cubical Type Theory: a constructive interpretation of the univalence axiom https://arxiv.org/abs/1611.02108 を参考にcubical type theoryをやります。以下の実装も触る予定です。 https://github.com/mortberg/cubicaltt 計画 第一回 intensional / extensional type theory 第二回 cubical type theory 第三回 observational type theory

10/11 (水)

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

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チートシート よんたの演習回答

10/5 (木)

概要 Martin-Loefの型理論とか勉強しましょう。 第一回は Hofmann, "Extensional concepts in intensional type theory" http://www.lfcs.inf.ed.ac.uk/reports/95/ECS-LFCS-95-327/ を参考にしつつ、intensional / extensional type theoryのコア部分をやります。 動く実装があればそれも試すかも 計画 第一回 intensional / extensional type theory 第二回 observational type theory 第三回 cubical type theory

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チートシート よんたの演習回答

9/6 (水)

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

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チートシート よんたの演習回答

8/9 (水)

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

7/27 (木)

量子論理やりましょう。続き物ではなく単発イベントの予定です。 概要 量子論理に関する物理的文脈はさておき,数学的側面に焦点を当てたお話をします. 量子論理では,Hilbert空間の閉部分空間が命題を表現すると考えます. 2次元以上のHilbert空間の閉部分空間全体に包含関係で順序を入れると,分配律を満たさない束になります. これを量子論理と呼ぶことにします. 量子論理における命題に真理値を割り当てる関数は,二値の束準同型写像として与えられます. また,二値の束準同型写像はprime filterと呼ばれるものと対応します. 今回のお話では,束や準同型写像,filterなどの定義を確認してから,分配律と二値の束準同型写像,prime filter間の関係について概観します. そして,量子論理上には二値の束準同型写像が存在しないことを,prime filterを経由して証明します. 参考文献 ・Quantum Logic in Algebraic Approach http://www.springer.com/in/book/9780792349037

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/13 (木)

概要 HFと有限の世界を勉強しましょう。 第11回は[1]のIV.3あたり、encodingをやります。 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.5.8 - IV.5.20 第一不完全性 IV.3 pp.313-317 構文のencoding IV.5.32 第二不完全性 III章 III pp.273- 有限主義 II章 II.18.12 PAとの関係 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346 [3] http://www.kyoritsu-pub.co.jp/bookdetail/9784320110960

7/12 (水)

296b2164278476aab6af688fe488197e 『FP in Scala』読書会@名古屋
目的 『Scala関数型デザイン&プログラミング』(FP in Scala)を読み、練習問題を解くことで、関数型プログラミングの考えやScala言語を楽しく学ぶ。 今回の範囲 12.7.3節 トラバーサブルな構造の結合 からです。事前にしっかり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

7/2 (日)

C0a692bf3e8aa66150559ea1a042a31d 機械学習 名古屋
☆★☆★☆★ 東建コーポレーション(株)様に会場を無償提供頂きました。 ☆★☆★☆★ ☆★☆★☆★   参加費無料です。どなたでもお気軽にご参加下さい。   ☆★☆★☆★ 今回は、東建コーポレーション(株)様がスポンサーとなって、会場を無償提供頂きました。 収容人数400人の東建ホールにて勉強会を開催します! いつもは、ハンズオン形式で実際のコーディングを行っていますが、立派なホールということで、今回は、発表をメインに行います。 日曜日ということで、お休みの方も多いと思いますが、必ず良い話しが聞けますので、ぜひ、ご参加下さい。 申し込み方法 1・conpass上からの申し込み このページの「このイベントに申し込む」より登録してください。 2・それ以外 「友人・会社の同僚を数人まとめて」という場合は、このページ内にある「イベントへのお問い合わせ」よりお問い合わせください。 会場や会費について 会場:東建ホール 住所:名古屋市中区丸の内二丁目1番33号 東建本社丸の内ビル3F・4F http://www.token-hall.com 受付を3Fで行います。3Fまでお上りください。 会費:無料 お気軽にご参加ください。 ※受付時に、名刺を頂ければと思います。(任意) 発表について 発表者の募集は締切・確定とさせていただきました。 タイムテーブル 時間 タイトル 発表者 13:00-13:10 機械学習名古屋についての説明 三輪 13:10-13:45 Googe Cloud Platform を使ったAIの活用 牧野 13:45-14:10 Julia の紹介(仮) 後藤 14:10-14:20 休憩 14:20-14:50 分析屋を商売にしてみた〜実ビジネスに機械学習を適用するのは正直しんどい〜 伊藤 14:50-15:20 AIで飯を食う 田中 15:20-15:30 休憩 15:30-16:00 賢いAIへの道 ~データ収集&アノテーション~ 来栖川電算 16:00-16:15 東建から求人採用・外部委託についての説明 東建コーポレーション 16:15-16:20 懇親会の説明 三輪 懇親会について 東建コーポレーション様も参加する懇親会を行います。 東建コーポレーション様のITの取り組みを、いろいろお話できます。 こちらも合わせて、ご参加下さい。 https://machine-learning.connpass.com/event/59237/ よりお申し込みいただけます。

6/27 (火)

概要 HFと有限の世界を勉強しましょう。 第10回は[1]のIV.5.20と、IV.5.8の証明を読みます. 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.5.8 - IV.5.20 第一不完全性 IV.3 pp.313-317 構文のencoding IV.5.32 第二不完全性 III章 III pp.273- 有限主義 II章 II.18.12 PAとの関係 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346 [3] http://www.kyoritsu-pub.co.jp/bookdetail/9784320110960

6/9 (金)

概要 HFと有限の世界を勉強しましょう。 第9回は[1]のIV.5.20のあたりを読みます. 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.5.8 - IV.5.20 第一不完全性 IV.3 pp.313-317 構文のencoding IV.5.32 第二不完全性 III章 III pp.273- 有限主義 II章 II.18.12 PAとの関係 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346

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/24 (水)

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

5/23 (火)

概要 HFと有限の世界を勉強しましょう。 第8回は[1]のIV.5.18のあたりを読みます. 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.5.8 - IV.5.20 第一不完全性 IV.3 pp.313-317 構文のencoding IV.5.32 第二不完全性 III章 III pp.273- 有限主義 II章 II.18.12 PAとの関係 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346

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/11 (木)

概要 HFと有限の世界を勉強しましょう。 第7回は[1]のIV.5.9、第一不完全性定理のあたりを読みます. 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST III章 III pp.273- 有限主義 IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.3 pp.313- 構文のencoding ... (この辺未定; [2]も参照しつつやる) IV.5.32 第二不完全性 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346

5/10 (水)

良書ってどうやって見分けるんですか>< ソフトウェア開発のための技術書は日本語英語問わずたくさんでています。ですが、その中から良い書籍を選ぶのはなかなか難しいものです。 この勉強会では、良書を見分けるためにやっていることの工夫を共有し、新卒者に知の高速道路を用意することを目標にします。 本勉強会では発表者を募集しています。10min発表枠からご登録いただき、コメントにてタイトルをおしえてください。 発表枠 kyon_mm 「市場から見る良書の傾向について」 kyon_mm 「kyon_mm独自の定量的な技術書メトリクスについて」 neno「最高に怠惰な技術書との向き合い方、または私は如何にして積ん読の山を築いたか」 bleis-tift「典型的な悪書の見分けかた(仮)」 yuji38kwmt「私の技術書の選び方」 ディスカッション「信頼の書評を言ってくれる技術者は誰だ」 タイムテーブル 1900 - 1910 オープニング 1910 - 1925 kyon_mm 「市場から見る良書の傾向について」 1925 - 1940 bleis-tift「典型的な悪書の見分けかた(仮)」 1940 - 1955 kyon_mm 「kyon_mm独自の定量的な技術書メトリクスについて」 1955 - 2000 休憩 2000 - 2010 neno「最高に怠惰な技術書との向き合い方、または私は如何にして積ん読の山を築いたか」 2010 - 2020 yuji38kwmt「私の技術書の選び方」 2020 - 2100 ディスカッション「信頼の書評を言ってくれる技術者は誰だ」 会場への入り方 名古屋第一ビルの通用口から入ります。 通用口にはkyon_mmもしくは社員が「新卒でもわかるソフトウェア開発技術書の良書の見分け方」の札をもって立っていますので、声をかけてください。 エレベータで4Fまであがり、左前方に進むとオンザロードの会議室に入れます。 Google Map

4/24 (月)

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

4/20 (木)

概要 HFと有限の世界を勉強しましょう。 第6回は[1]の IV.3.11のあたりを読みます. 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST III章 III pp.273- 有限主義 IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.3 pp.313- 構文のencoding ... (この辺未定; [2]も参照しつつやる) IV.5.32 第二不完全性 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346

4/13 (木)

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

4/5 (水)

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

3/29 (水)

概要 HFと有限の世界を勉強しましょう。 第5回は[1]の IV.3.9, IV.3.11のあたりを読みます. 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST III章 III pp.273- 有限主義 IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.3 pp.313- 構文のencoding ... (この辺未定; [2]も参照しつつやる) IV.5.32 第二不完全性 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346

3/21 (火)

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

3/10 (金)

概要 HFと有限の世界を勉強しましょう。 第4回は[1]の IV.1からIV.3のあたりを読みます. (II.18 弱い集合論 は後回し) 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST III章 III pp.273- 有限主義 IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.3 pp.313- 構文のencoding ... (この辺未定; [2]も参照しつつやる) IV.5.32 第二不完全性 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346

2/9 (木)

概要 HFと有限の世界を勉強しましょう。 第3回は[1]の pp.119- HF<ω ⊂ HF などを読みます。 予習不要 計画 I章 p.107 HFの定義 p.119 データ構造の例 II章 II.17 Δ0 II.17.21 Σ1, Π1 II.18 CST III章 III pp.273- 有限主義 IV章 IV pp.289- (ω| HF)上(Δ0|Δ1) IV.3.1 HFでの決定可能性, 計算可能性 IV.3 pp.313- 構文のencoding ... (この辺未定; [2]も参照しつつやる) IV.5.32 第二不完全性 教科書 [1] https://www.nippyo.co.jp/shop/book/7176.html 参考書 [2] https://www.amazon.co.jp/Incompleteness-Land-Sets-Studies-Logic/dp/1904987346

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分