第三回関数型プログラミング(仮)の会 ~関数型データ構造について話そう~ #func_party

9/30(金)に開催した関数型プログラミング(仮)をテーマとするイベントのハッシュタグ #func_party のまとめです。 https://opt.connpass.com/event/255865/
2
オプトテクノロジーズ/Opt Technologies @OptTechnologies

『第三回関数型プログラミング(仮)の会』まもなく開始します🎉 参加者の皆様も是非ハッシュタグ #func_party を付けて、感想など自由にツイートしてください! 第三回関数型プログラミング(仮)の会 - connpass opt.connpass.com/event/255865/

2022-09-30 18:25:37
よんた @keita44_f4

#func_party の今回のテーマは関数型データ構造だったのか。くりすおかさきさんの純粋関数型データ構造の2章の話をすべきだったか。初心者向けの話、どっかでしたさある。

2022-09-30 18:38:51
オプトテクノロジーズ/Opt Technologies @OptTechnologies

『第三回関数型プログラミング(仮)の会』始まりました🎉 宜しくお願いしします! #func_party

2022-09-30 18:40:10
κeen @blackenedgold

裁量労働制で全国から勤務可能なリモートワーク体制のOpt Technologiesさんが採用中だって!? #func_party

2022-09-30 18:42:10
. @fetburner

今回のテーマは関数型データ構造だったのか.Coqでセグメント木の検証をした話でもすれば良かったかな #func_party

2022-09-30 18:43:31
よんた @keita44_f4

#func_party 🍆でワーケーション、おしゃ~

2022-09-30 18:45:53
よんた @keita44_f4

#func_party こうやって勉強会で紹介すると稼働率があがるのでは(

2022-09-30 18:46:30
κeen @blackenedgold

那須でワーケションしたい!!! #func_party

2022-09-30 18:46:35
加藤潤一(かとじゅん) @j5ik2o

第三回関数型プログラミング(仮)の会に参加を申し込みました! opt.connpass.com/event/255865/?… #func_party

2022-09-30 18:47:01
よんた @keita44_f4

#func_party 似た造語にリゾートとリモートワークを組み合わせたリゾートワークなんてのも

2022-09-30 18:47:05
κeen @blackenedgold

那須、新幹線通ってたんだ #func_party

2022-09-30 18:48:20
よんた @keita44_f4

#func_party プラン内容の紹介、ただただ魅力的だな…

2022-09-30 18:49:19
kmizu @kmizu

#func_party 透明なテントは体験してみたい

2022-09-30 18:49:39
よんた @keita44_f4

#func_party 月10万円で日曜から木曜日に泊まり放題。金土は清掃や高い値段で他の人が利用するのかな?連泊は魅力だが、連泊するほど金土が厄介になりそう

2022-09-30 18:50:49
よんた @keita44_f4

#func_party とするとホテルの部屋は日~木と金土の2つで価値が同じなのか…

2022-09-30 18:51:52
よんた @keita44_f4

#func_party 年50泊利用できる宿のサブスクリプション制度おもしろいなぁ

2022-09-30 18:52:25
オプトテクノロジーズ/Opt Technologies @OptTechnologies

現在、本編の前にお時間頂いて弊社グループ会社より那須でのワーケーションについて説明中です。弊社員もたくさん活用しており、とても高評価ですよ🍆✨#func_party

2022-09-30 18:52:30
κeen @blackenedgold

今日の資料です #func_party 関数型データ構造と依存型同時入門 | κeenのHappy Hacκing Blog keens.github.io/slide/kansuuga…

2022-09-30 18:55:12
非純粋関西型プログラマ @ryotakameoka

同僚が発表するというので急いで参加登録した #func_party

2022-09-30 18:56:36
1 ・・ 9 次へ