LAB NOTES– category –

Gitでbranchを使えるようになると、次に覚えたいのがGitHubの**Pull Request（PR）**です。 Pull Requestは、単に「branchをmainへmergeするボタン」ではありません。変更内容、変更理由、commit、差分、レビュー結果などをひとつの単位にまとめ、この変更...

ChatGPTとGoogleカレンダーを連携すると、「○日にこの予定を入れて」と依頼して予定を登録するところまでは比較的簡単です。 しかし、本当に便利になるのはその先です。 日時を指定しなかったら、空いている時間を探す 作業内容から所要時間を見積もる 指...

GitとGitHubを学び始めると、clone、branch、commit、push、mergeといったコマンドを個別には理解できても、「実際の開発ではどの順番で使うのか」が分かりにくいことがあります。 この記事では、小さなMarkdownプロジェクトを例に、GitHub上のリポジトリ...

Git mergeとは Gitでは、機能追加や修正をmainとは別のbranchで進め、作業が完了したらその変更をmainへ統合できます。この「別の開発履歴を現在のbranchへ取り込む」操作が git merge です。 最初に覚えておきたい重要な原則は、mergeは「現在いるbranch...

Gitを使い始めると、早い段階で登場するのが「branch（ブランチ）」です。 branchを使うと、現在動いているコードを保ったまま、機能追加や修正を別の作業線で進められます。GitHubを使った開発では、mainを直接編集するのではなく、作業ごとにbranchを作...

生成AIを文章作成だけに使っている間は、出力形式が多少変化しても大きな問題にはなりません。 しかし、AIの出力をPython、データベース、Webアプリ、CAD、自動投稿システムなどへ渡そうとすると事情が変わります。 たとえばAIへ、 「部品情報をJSONで出力...

設計データや計算結果をファイルとして保存するとき、「CSVで十分なのか、それともJSONにすべきなのか」は意外に重要な判断です。 どちらもテキスト形式で、ExcelやPythonなどから扱えます。しかし、得意とするデータ構造は大きく異なります。 たとえば、...

WordPressで新しいサイトを公開しても、すぐにGoogleやBingの検索結果へ表示されるとは限りません。 検索結果にページが掲載されるまでには、大きく分けて、 サイトを発見される ↓ クローラーがアクセスする ↓ ページ内容を取得する ↓ インデックス対象と...

GitHubを使った開発では、ブラウザから操作するだけでなく、ターミナルからGitやGitHub CLIを操作できるようになると作業効率が大きく向上します。 ただし、最初は git status git add git commit git push git log git diff gh repo create など、多くの...

Gitでファイルを管理していると、次のようなことを確認したくなります。 直前に何を変更したのか どのコミットでファイルが変わったのか 以前の状態と現在の状態で、どこが違うのか ローカルとGitHubに同じ履歴があるのか このような変更履歴の確認には、...

ローカルで作成したプロジェクトをGitHubへ公開するときは、Gitの初期化、READMEの作成、コミット、リモートリポジトリの作成、originの登録、pushという複数の操作が必要です。 毎回同じコマンドを入力するなら、Windowsバッチにまとめると作業を大幅に簡...

個人で複数のプロジェクトを進めていると、作業そのものよりも情報の移し替えに時間を取られることがあります。 ChatGPTで決めた内容をNotionへ転記する Notionの次の作業をGoogleカレンダーへ登録する カレンダーの説明欄に目的や手順を書く 作業後にNoti...