from command line ホスト、ユーザ名、パスワード、DB を指定して REPL を起動 特定の DB に対して SQL ファイルを実行 in REPL MySQL のタイムゾーンのチェックと変更 CSV、TSV ファイルから DB にデータを入れる エラーハンドリング：Loading local data i…

Docker Compose に頼っていると Docker コマンドの使い方忘れるので、ちょくちょく使ったコマンドをメモしていく。 References Dockerfile 内で変数置換をする docker build: Dockerfile から Docker イメージのビルド docker run: Docker コンテナの起動 do…

issue，PR ベースの開発 Issue，PR ベースの利点 手順 1. GitHub 上で issue を立てる 2. issues/[issue number] でブランチを切り，空 commit & push 3. GitHub 上で PR を作成する 4. 実装する 5. 実装が終わったら WIP: prefix を除去してレビュー依頼 6.…

開発環境 参考リンク 正規表現一覧 基本的な正規表現 定義済みの正規表現 特定の位置関係の正規表現（まだ理解していない） 置換文字列で使える表現 メタ文字のエスケープ '^' という文字を含まない文字列 簡易サンプル集 アルファベット小文字，大文字のみ …

各種参考リンク 表形式のデータの構成要素 Pandas の主要なデータ型：pd.Series と pd.DataFrame 基本 Pandas を用いてデータを作る pd.Series 基本 リスト，辞書，np.ndarray から pd.Series を作る pd.DataFrame 基本 np.ndarray から作る 辞書から作る co…

コマンドの説明 筆者の開発環境 バージョンの確認 ヘルプの表示 DB サーバの起動・停止 DB 一覧を表示 対話環境への入り方 DB を指定して対話環境へ入る DB，ロールを指定して対話環境に入る ユーザ一覧を表示 DB，ユーザを指定して対話環境に入る 対話環境…

Homebrew の使い方をネットでかき集めてまとめた．参考記事を自分の見やすいようにまとめただけの記事．

心掛け git の基礎知識 master と origin コミット関連 コミット：git commit コミットの取り消し：git reset コミットを打ち消し（コミットを取り消した履歴を残す）：git revert 直前のコミットの上書き git cherry-pick：他ブランチの特定のコミットをカ…