Kyoto.なんか 6
#Kyoto.なんか
Kanon
Firebase Data Connect
GraphQLを書いたら裏でSQLに変換してくれる
Cloud SQL
PostgreSQL
手元用の開発環境
VSCode拡張がある
発行されるクエリが複雑になることがある
Windymelt
Scalaの便利ライブラリCats
Scala 3でもろもろ改善された
元祖・関数型/OOPハイブリッド
FPの語彙を露出させないような努力
Cats
いろいろあるので面白い機能をピックアップする
Monoid
辞書型をマージできる
足せる構造をよしなに足す
Applicative
forで書ける
mapN
forの依存がない版
Traverse
mapしてからひっくり返す
具体的な構造によらずデータの変換が簡単にできるのが嬉しい
型クラス
Scalazとの関係
AkitoKawamura
太陽磁場
VR
大晦日ハッカソン
磁力線のプロットからobjファイルに書き出すのが大変だった
ChatGPTにロジックを書いてもらう
【京都（京都府）会場】Space Apps Challenge Kyoto 2024 - connpass
りこ
HTTPメッセージ
IPアドレスでしか通信できない
名前解決
susisu
null or undefined
ECMAScriptではほぼundefined
Web標準ではnull
side_tana
手書きブログ
BaaSにぶん投げたい
Firebase App Hostingを使おう
Firebase Hosting
getStaticPropsを手掛かりにする
make_now_just
形式手法
モデル検査
時相論理
現実のシステムはモデルを持たない
オートマトン学習
中身が分からないシステムからオートマトンを予測する技術
L*アルゴリズム
正規言語では表せないものは正しく学習できない
onk
1文字エイリアス
Enterを押すとlsとgit statusを実行する
入社以来のzsh_historyを集計する
grep -nの出力結果をコピペしてvimを開いて当該行に飛ぶ
ローカルにmainブランチを作らない
fishのabbr
moznion
イテレーション回数を削減したい
JavaのStream API
コンパイル時に最適化して1ループにしている
関数合成
回数が変わらない
インライン展開
どうしたらいい??
JIT
t_
オブジェクト指向存在論
デカルト
物心二元論
モナド論
予定調和
カント
認識論的転回
実在論
ポストモダン
相関主義
フッサールとハイデガー
今感じていることが全て
存在と時間
アフォーダンス
ハーマン
象限
人間がどう感じたのかに関係しない哲学を目指した
普段の仕事で深掘りする範囲としては哲学までいくとやりすぎ
soso
CDK for Terraform
GAだけどv1.0が出ていない