「楽しく楽にcoolにsmartに」を理想とするprogrammer/philosopher/liberalist/realist。 好きな言語はClojure, Haskell, Elixir, English, français, русский。 読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬
じゃんけんという遊びがある。 じゃんけんは、離散的に定義された三つの手(グー・チョキ・パー)の非推移的な優劣関係――グーはチョキに勝ち、チョキはパーに勝ち、パーはグーに勝つ――を用いて勝敗を決定する二人以上参加可能な競技的ゲームです。遊戯手順は、参加者が向き合って「じゃんけん」の掛け声とともに拳を振り下ろし、合図(「ぽん」「ほい」など)で選択した手を同時に提示し、その瞬間に優劣規則を適用して勝者・敗者・あいこ(同手による引き分け)を判定し、あいこの場合は同一手順を繰り返すだけという、実装・解析が容易で確率論やゲーム理論の導入例としても活用される簡潔なゲームです。 -- ChatGPT o3 この知的なゲームには問題がある。「じゃん」「けん」「ぽん」のタイミングで各プレイヤーが同期しなければならないのだ。同期せずに手を出すことは重大なルール違反だ。 Scalaの並行プログラミング用のライブラ
class: center, middle # より安全で単純な関数定義 関数型まつり 2025 2025/06/14<br> @gakuzzzz --- class: left, top ## 自己紹介 * 中村 学/Manabu NAKAMURA * Twitter: [@gakuzzzz](https://twitter.com/gakuzzzz) * Tech to Value Co.,Ltd. CEO * [Alp, Inc.](https://thealp.co.jp/) Tech Lead --- class: center, middle ## 前置き --- class: center, middle ## このセッションでは ##<strong>モナド</strong>の話はしません! ## 安心して聞いて下さい --- class: left, top ## はじめに
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く