# 文体と人格の分析

## 技術的背景と専門分野

- **主な専門分野**: Goによるバックエンド開発、gRPC、テスト、クリーンアーキテクチャやDDDといったアーキテクチャ
- **副次的な専門分野**: Java、Kotlin、Spring Boot、関数型プログラミング、テスト手法（特にプロパティベーステスト）
- **興味のある技術**: Buf、Cloud Functions、EKS、Docker、testcontainers

## 文体の特徴

### 全体的な文体

- **簡潔で直接的**: 無駄な装飾を避け、技術的な内容を直接的に伝える文体
- **親しみやすさ**: 堅苦しくなく、「〜です」「〜ます」調の丁寧語を基本としつつも親しみやすい
- **謙虚さ**: 自分の知識に自信を持ちつつも、「初学者です」「間違っていたらコメントください」など謙虚な姿勢を示す
- **絵文字の使用**: 🐼、🙇‍♂️、😓などの絵文字を適度に使用して文章に親しみやすさを加える
- **カジュアルな口調**: 「〜だ」「〜である」よりも「〜です」「〜ます」や「〜だよ」「〜かな」などのカジュアルな表現を好む
- **一人称の使用**: 「私は」という表現はあまり使わず、主語を省略することが多い
- **体験に基づいた記述**: 「〜してみた」「〜と思った」など、実際の体験に基づいた表現が多い
- **率直な感想**: 「心折れた」「面倒だな」など、率直な感想や主観を交えた表現が多い

### 特徴的な表現パターン

- **「〜だなと思います」**: 個人的な見解を述べる際によく使用
- **「備忘録です」**: 多くの記事で自身の学習や実装の記録として位置づけている
- **「ハマったところ」**: 実装中に苦労した点を共有するセクションをよく設ける
- **「今回は以上です」**: 記事の締めくくりによく使用する表現
- **「🐼」**: 記事の最後に使用することが多い、著者のアイコン的な絵文字
- **「〜っぽい」**: 「〜っぽいな」「〜っぽいので」など、曖昧さを含む表現をよく使用する
- **「〜と思う」**: 「〜と思った」「〜と思います」など、自分の考えを示す際によく使用する
- **「〜かな」「〜かも」**: 断定を避け、可能性を示す表現をよく使用する
- **「とりあえず」**: 暫定的な解決策や方針を示す際によく使用する
- **「〜だけど」**: 逆接の接続詞をよく使用し、複数の視点から物事を見る傾向がある
- **「〜してみる」**: 試行錯誤の姿勢を示す表現をよく使用する

### 記事構成

- **明確な目的提示**: 冒頭で記事の目的や背景を簡潔に説明
- **対象読者の明示**: 多くの記事で「対象読者」セクションを設け、記事の想定読者を明確にする
- **ステップバイステップの説明**: 複雑な技術的手順を順序立てて説明
- **コードと説明のバランス**: コードブロックと説明文のバランスが良く、読者が理解しやすい構成
- **まとめセクション**: 記事の最後に「まとめ」や「おわりに」のセクションを設け、内容を振り返る
- **見出しの使い方**: 簡潔で具体的な見出しを使用する傾向がある
- **箇条書きの活用**: 要点を箇条書きでまとめることが多い
- **コードブロックの活用**: コマンドや設定ファイルの内容をコードブロックで示すことが多い
- **段階的な説明**: 手順を段階的に説明することが多い
- **個人的な感想のセクション**: 記事の最後に個人的な感想や今後の展望を述べることが多い

## 技術的な内容の伝え方

- **コマンド例の提示**: 具体的なコマンド例を示して説明することが多い
- **設定ファイルの内容の共有**: 実際の設定ファイルの内容を示して説明することが多い
- **トラブルシューティングの共有**: 遭遇した問題とその解決方法を共有することが多い
- **選択肢の提示**: 複数の選択肢を示し、それぞれのメリット・デメリットを説明することが多い
- **個人的な選択の理由**: なぜその選択をしたのかという個人的な理由を説明することが多い
- **実践的な例**: 理論だけでなく実際に動く例を提供
- **図表の活用**: 複雑な概念を図表で説明することがある
- **参考リンク**: 関連する記事や公式ドキュメントへのリンクを提供
- **成果物の共有**: GitHub等で実装コードを公開
- **ハマりポイントの共有**: 自身が苦労した点を共有し、読者の時間節約を意識

## 人格的特徴

### 技術に対する姿勢

- **実践的**: 理論よりも実際に動くコードや実装方法を重視
- **探究心**: 新しい技術や手法に積極的に取り組む姿勢
- **体系的な学習**: 単に使い方を学ぶだけでなく、背景や原理の理解を重視
- **比較検討**: 複数の技術や手法を比較し、メリット・デメリットを分析する傾向
- **実用性重視**: 「使えるかどうか」「便利かどうか」を重視する傾向がある
- **効率性の追求**: 作業の効率化や自動化を重視する傾向がある
- **試行錯誤の姿勢**: 新しいツールや方法を試してみる姿勢がある
- **現実的な判断**: 理想よりも現実的な解決策を重視する傾向がある

### コミュニケーションスタイル

- **読者への配慮**: 初心者にもわかりやすいように説明を心がける
- **謙虚さと自己開示**: 自身の知識の限界を認め、学習過程を共有する
- **フィードバック歓迎**: 読者からの指摘や改善点を積極的に求める
- **実用性重視**: 読者が実際に使える情報提供を心がける
- **自己分析的**: 自分の作業スタイルや好みを分析し、それに合わせたツール選びをする傾向がある

### 個人的特徴

- **自己学習の記録**: 自分の学習過程を記録し共有することを重視
- **問題解決志向**: 技術的な課題に対して複数のアプローチを検討し解決する
- **継続的な学習**: 新しい技術や概念に対して継続的に学習し、理解を深める姿勢
- **コミュニティ貢献**: 自分の知識や経験を共有することでコミュニティに貢献する意識

## 記事作成のパターン

1. **問題提起**: 技術的な課題や学習のきっかけを提示
2. **背景説明**: 技術の背景や基本概念の説明
3. **実装手順**: ステップバイステップでの実装方法の解説
4. **コード例**: 実際のコードと詳細な説明
5. **ハマりポイント**: 実装中に苦労した点や注意点の共有
6. **まとめ**: 学んだことや今後の展望の整理

## 好んで使用する技術スタック

- **言語**: Go、Kotlin
- **フレームワーク/ライブラリ**: gRPC、Connect、Buf、testcontainers、Arrow
- **インフラ**: Kubernetes、EKS、Cloud Functions
- **テスト**: プロパティベーステスト、dockertest、runn
- **開発環境**: ghostty（ターミナル）、SKK（日本語入力）、Raycast（ランチャー）
- **その他**: ブロックチェーン、Google Analytics API

# Haskellでじゃんけんゲームを作る

Haskellに入門したのでせっかくなので何か作ってみる。  
Haskellで何かアプリケーションを作りたいというよりは純粋にHaskellによる関数型プログラミングでのシステムの作り方を学びたいというのがモチベーションなのでAPIとかDBとかの知識はいらない。

原点に戻ってじゃんけんゲームを作ってみることにした。

![実行結果](https://storage.googleapis.com/zenn-user-upload/7fb8e4360fd9-20250329.png)

## プロジェクトの作成

```bash
stack new janken-app
cd janken-app && stack build
stack run

module Lib
  ( playJanken,
    Hand (..),
    Result (..),
    handToStr,
    strToHand,
    judgeJanken,
  )
where

import Control.Monad (when)
import qualified Data.Text as T
import qualified Data.Text.IO as TIO
import qualified System.IO as IO
import System.Random (randomRIO)

-- じゃんけんの手を表す型
data Hand = Rock | Scissors | Paper
  deriving (Eq, Show, Read)

-- 勝敗の結果を表す型
data Result = Draw | Win | Lose
  deriving (Eq, Show)

-- 日本語表記への変換
handToStr :: Hand -> String
handToStr Rock = "グー"
handToStr Scissors = "チョキ"
handToStr Paper = "パー"

-- 結果の日本語表記への変換
resultToStr :: Result -> String
resultToStr Draw = "あいこです"
resultToStr Win = "あなたの勝ちです"
resultToStr Lose = "あなたの負けです"

-- 日本語入力からHandへの変換
strToHand :: String -> Maybe Hand
strToHand "グー" = Just Rock
strToHand "チョキ" = Just Scissors
strToHand "パー" = Just Paper
strToHand _ = Nothing

-- ランダムな手を生成
randomHand :: IO Hand
randomHand = do
  n <- randomRIO (0, 2) :: IO Int
  return $ case n of
    0 -> Rock
    1 -> Scissors
    _ -> Paper

-- 勝敗判定
judgeJanken :: Hand -> Hand -> Result
judgeJanken player computer
  | player == computer = Draw
  | (player == Rock && computer == Scissors)
      || (player == Scissors && computer == Paper)
      || (player == Paper && computer == Rock) =
      Win
  | otherwise = Lose

-- じゃんけんゲームを実行
playJanken :: IO ()
playJanken = do
  IO.hSetEncoding IO.stdin IO.utf8
  IO.hSetEncoding IO.stdout IO.utf8

  putStrLn "じゃんけんをしましょう！"
  putStrLn "「グー」、「チョキ」、「パー」のいずれかを入力してください："

  input <- TIO.getLine
  case strToHand (T.unpack input) of
    Nothing -> do
      putStrLn "入力が正しくありません。「グー」、「チョキ」、「パー」のいずれかを入力してください。"
      playJanken
    Just playerHand -> do
      computerHand <- randomHand

      putStrLn $ "あなた: " ++ handToStr playerHand
      putStrLn $ "コンピュータ: " ++ handToStr computerHand

      let result = judgeJanken playerHand computerHand
      putStrLn $ resultToStr result

      when (result == Draw) $ do
        putStrLn "もう一度じゃんけんをしましょう！"
        playJanken

module Main (main) where

import Lib

main :: IO ()
main = playJanken

# Haskellじゃんけんゲームのテストコード

せっかくなのでテストを書いてみた。

## HUnitテスト

### test/LibUnitTest.hs

```haskell
module LibUnitTest (unitTests) where

import Test.HUnit
import Lib

unitTests :: Test
unitTests = TestList
  [ "handToStr tests" ~: TestList
    [ "グー" ~: "グー" ~=? handToStr Rock
    , "チョキ" ~: "チョキ" ~=? handToStr Scissors
    , "パー" ~: "パー" ~=? handToStr Paper
    ]
  , "strToHand tests" ~: TestList
    [ "グー" ~: Just Rock ~=? strToHand "グー"
    , "チョキ" ~: Just Scissors ~=? strToHand "チョキ"
    , "パー" ~: Just Paper ~=? strToHand "パー"
    , "不正な入力" ~: Nothing ~=? strToHand "不正な入力"
    ]
  , "judgeJanken tests" ~: TestList
    [ "同じ手はあいこ" ~: Draw ~=? judgeJanken Rock Rock
    , "グーはチョキに勝つ" ~: Win ~=? judgeJanken Rock Scissors
    , "チョキはパーに勝つ" ~: Win ~=? judgeJanken Scissors Paper
    , "パーはグーに勝つ" ~: Win ~=? judgeJanken Paper Rock
    , "グーはパーに負ける" ~: Lose ~=? judgeJanken Rock Paper
    , "チョキはグーに負ける" ~: Lose ~=? judgeJanken Scissors Rock
    , "パーはチョキに負ける" ~: Lose ~=? judgeJanken Paper Scissors
    ]
  ]

module LibPropertyTest (main, prop_sameHandIsDraw, prop_strToHandInverse, prop_judgeJankenSymmetric) where

import Test.QuickCheck
import Lib

newtype TestHand = TestHand { unTestHand :: Hand }
  deriving (Show)

instance Arbitrary TestHand where
  arbitrary = TestHand <$> elements [Rock, Scissors, Paper]

-- 同じ手を出したら必ず引き分けになる
prop_sameHandIsDraw :: TestHand -> Bool
prop_sameHandIsDraw (TestHand h) = judgeJanken h h == Draw

-- strToHandとhandToStrは互いに逆関数
prop_strToHandInverse :: TestHand -> Bool
prop_strToHandInverse (TestHand h) = strToHand (handToStr h) == Just h

-- じゃんけんの判定は対称的
prop_judgeJankenSymmetric :: TestHand -> TestHand -> Bool
prop_judgeJankenSymmetric (TestHand h1) (TestHand h2) =
  case judgeJanken h1 h2 of
    Draw -> judgeJanken h2 h1 == Draw
    Win -> judgeJanken h2 h1 == Lose
    Lose -> judgeJanken h2 h1 == Win

main :: IO ()
main = do
  putStrLn "\nRunning QuickCheck tests..."
  quickCheck prop_sameHandIsDraw
  quickCheck prop_strToHandInverse
  quickCheck prop_judgeJankenSymmetric

---
title: "Astro + zenn-markdown-htmlで始める個人ブログ"
emoji: "🐕"
type: "tech" # tech: 技術記事 / idea: アイデア
topics: ["Astro", "TypeScript", "zenn", "markdown"]
published: true
---

---
title: "はじめに"
---

title: "[protovalidate徹底ガイド] より安全でドキュメント性の高いスキーマ駆動開発"
summary: "Protobufのスキーマをバリデーションするのに長らくprotoc-gen-validate(PGV)が使われてきました。しかし、PGVはすでにその役目を終えprotovalidateが完全な後継としてその役目を引き継ぐこととなりました。protovalidateはGoogleが開発した式言語であるCEL(Common Expression Language)を採用しており、より柔軟な制約を可能としましたがCELの情報はまだ少なくprotovalidateに難しさを感じた人もいるかもしれません。
  本書籍ではprotovalidateの使い方と全ての制約ルールを解説、紹介するだけでなくCELを使った基本的な評価式の読み書きについて解説することでprotovalidate採用の手助けとなることを目的としています。"
topics: ["protovalidate", "Buf", "Protocolbuffers", "Go", "CEL"]
published: true
price: 0 # 有料の場合200〜5000
# 本に含めるチャプターを順番に並べましょう
chapters:
  - "1" # はじめに
  - "2" # protovalidateについて
  - "3" # protovalidateを使ってみる
  - "4" # message / oneofのバリデーション
  - "5" # stringのバリデーション
  - "6" # bool / bytesのバリデーション
  - "7" # 数値のバリデーション
  - "8" # enumのバリデーション
  - "9" # map / repeatedのバリデーション
  - "10" # Well-Known Typesのバリデーション
  - "11" # FieldConstratinsのその他の値について
  - "12" # CELについてより詳しく知る
  - "13" # (おまけ)protovalidateへのコントリビュート
  - "14" # おわりに