<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
<channel>
<title>記事一覧 on peaceiris ホームページ</title>
<link>https://peaceiris.com/ja/posts/</link>
<description>Recent content in 記事一覧 on peaceiris ホームページ</description>
<generator>Hugo -- gohugo.io</generator>
<language>ja-jp</language>
<lastBuildDate>Sat, 19 Aug 2023 17:45:07 +0900</lastBuildDate>
<atom:link href="https://peaceiris.com/ja/posts/index.xml" rel="self" type="application/rss+xml"/>
<item>
<title>GitHub Actions self-hosted runner with VirtualBox and Vagrant</title>
<link>https://peaceiris.com/ja/posts/github-actions-self-hosted-runner-on-ubuntu-with-virtualbox-and-vagrant/</link>
<pubDate>Mon, 28 Jun 2021 08:00:00 +0900</pubDate>
<guid>https://peaceiris.com/ja/posts/github-actions-self-hosted-runner-on-ubuntu-with-virtualbox-and-vagrant/</guid>
<description>やりたいこと 余っているマシンに GitHub Actions self-hosted runner を立てて Private リポジトリの GitHub Actions 無料枠を節約したい GitHub Actions での docker build にキャッシュを効かせて高速化したい Runner をどこにどうやって起動するか 要件 ホスト OS: Ubuntu, macOS, Windows ゲスト OS: Ubuntu ホスト OS の環境を汚さずに GitHub Actions self-hosted runner を使いたい dind (Docker in Docker) も避けたいので仮想環境で self-hosted runner を実行したい 仮想環境の作成と起動、および self-hosted runner のインストールと起動をコマンドで完結させたい 採用した方法 VirtualBox and Vagrant 採用を見送ったもの VMware and Vagrant: VMware を購入するほどのメリットは感じなかった KVM and Vagrant: vagrant-libvirt が使えそうだったが vagrant plugin install vagrant-libvirt がどうしても成功しなかったので諦めた Vagrant の provision における Ansible の利用も検討したが、途中で「ここまでする必要なくね？」と思ったのでやめた デプロイ先 リソースに余力のあるローカルマシン GCE (Google Compute Engine) や EC2 のインスタンス GitHub Actions self-hosted runner actions/runner - GitHub runner はここで開発されている。</description>
</item>
<item>
<title>Hugo プロジェクトを Cloudflare Pages へデプロイ</title>
<link>https://peaceiris.com/ja/posts/deploy-hugo-project-to-cloudflare-pages/</link>
<pubDate>Mon, 08 Mar 2021 08:21:17 +0900</pubDate>
<guid>https://peaceiris.com/ja/posts/deploy-hugo-project-to-cloudflare-pages/</guid>
<description>Cloudflare Pages Build fast sites. In record time. Cloudflare Pages is a JAMstack platform for frontend developers to collaborate and deploy websites.
Cloudflare Pages つい先日から Beta として利用可能になったので Hugo プロジェクト (このサイト) をデプロイしてみた。
2021-04-13: 一般公開された Cloudflare Pages is now Generally Available 公式ドキュメント 現状では更新が追いついていないように見える。
Deploy your dynamic frontend applications using Cloudflare Pages! Pages are super fast, always up-to-date, and deployed directly from your GitHub account.
Cloudflare Pages docs 料金 並列ビルド上限: 同時に1ビルドまで ビルド回数の上限: 1カ月に500ビルドまで サイト数: 無制限 リクエスト数: 無制限 Bandwidth: 無制限 が無料で利用可能。個人利用なら十分。 Netlify など他のホスティングサービスの無料枠と比べても格安の部類に入る。</description>
</item>
<item>
<title>The Case Sensitivity of the GitHub Actions Runner</title>
<link>https://peaceiris.com/ja/posts/github-actions-runner-case-sensitivity/</link>
<pubDate>Wed, 13 Jan 2021 05:24:40 +0000</pubDate>
<guid>https://peaceiris.com/ja/posts/github-actions-runner-case-sensitivity/</guid>
<description>遭遇した問題 Bug: Couldn&amp;rsquo;t open SUMMARY.md · Issue #36 · peaceiris/actions-mdbook GitHub Actions runner (Ubuntu VM) 上の mdBook が SUMMARY.md を認識してくれるが summary.md は認識してくれない。
ローカルの macOS マシンでは SUMMARY.md と summary.md のどちらも認識される。
他には「プログラミング言語でローカルライブラリ・パッケージのインポートに失敗する」ケースが予想される。
理由 GitHub Actions runner とローカル環境の Case Sensitivity が異なっていた。
ローカルの macOS マシンは case-insensitive mode (ディレクトリ・ファイル名の大文字と小文字が区別されない) でフォーマットされていたため、ローカルビルドは成功するのにリモートでは失敗していた。
GitHub Actions Ubuntu: Case sensitive My local macOS PC: Case insensitive たしか brew doctor に case insensitive でディスクを初期化せよ、と言われてそうした覚えがある。
GitHub Actions VM の case-sensitivity は変更可能か 現状ではそれぞれのフォーマットのイメージを提供する予定はないとのこと。</description>
</item>
<item>
<title>$2^n &lt; n!$ の証明</title>
<link>https://peaceiris.com/ja/posts/prove-by-induction-2-to-the-power-of-n-less-than-n-factorials/</link>
<pubDate>Wed, 09 Dec 2020 14:23:36 +0000</pubDate>
<guid>https://peaceiris.com/ja/posts/prove-by-induction-2-to-the-power-of-n-less-than-n-factorials/</guid>
<description>$4 \le n$ において2のn乗はnの階乗より小さいことの証明。
数学的帰納法による証明 $4 \leq k$ における自然数 $k$ が $2^k &amp;lt; k!$ を満たすと仮定する。
このもとで $2^{k+1} &amp;lt; (k+1)!$ が成り立つことを示す。
$2^k &amp;lt; k!$ より以下が成り立つ。
$$ (k+1)! = (k+1)k! &amp;gt; (k+1) \cdot 2^k $$
$2 &amp;lt; 5 \leq k+1$ であるから
$$ (k+1)! &amp;gt; 2 \cdot 2^k $$
すなわち $2^{k+1} &amp;lt; (k+1)!$
$n=k$ を仮定すると $n=k+1$ でも成立することが示せた。
以上、数学的帰納法より自然数 $n (4 \leq n)$ において $2^n &amp;lt; n!$ が成り立つ。
大小関係を利用した証明 分数にして分母分子を比較し、1との大小関係を示す。
$$ \frac{n!}{2^n} = \frac{4!}{2^4} \frac{5}{2} \frac{6}{2} \frac{7}{2} \cdots \frac{n}{2} &amp;gt; 1 $$</description>
</item>
<item>
<title>Hugo の利用に Go の知識は不要です</title>
<link>https://peaceiris.com/ja/posts/hugo-users-do-not-need-to-write-golang/</link>
<pubDate>Wed, 09 Dec 2020 13:25:15 +0000</pubDate>
<guid>https://peaceiris.com/ja/posts/hugo-users-do-not-need-to-write-golang/</guid>
<description>Static Site Generator Advent Calendar 2020 11日目の記事です。
Hugo を利用、テーマをカスタマイズする際に Go 言語を書く必要はありません。大事なことなので本文先頭にも書きました。
Go を書く機会はありません 定期的に Twitter で Hugo に関してのつぶやきを検索して、いいねを押し、リツイートし、それが疑問であれば回答したり、参考文献を紹介したりするなどして Hugo を布教する日々を送っています。
ごくまれにですが「Hugo の利用・カスタマイズに Go 言語が必要」だと誤解されているユーザーを見かけます。Go 言語を書く必要があったり、Go 言語関連の知識が必要になることはありませんので安心してください。
Go のインストールも不要です 基本的に Go 言語で記述されたツールはビルド済み実行バイナリが配布されていることが多く、実行する際にコンパイラ等は必要ありません。 Hugo も go install でインストールしたりしない限り、バイナリをインストールすることになるので go の事前インストールは不要です。
ただ、後述する Hugo Modules を利用したい場合には Go の実行環境が必要になります。
Hugo Template Hugo テーマをカスタマイズ・作成する際には Go Template の拡張である Hugo Template を利用します。 Go の文法と比べると非常に簡単です。(このテンプレートを指して Go 言語と言う人はいないと思います）
Introduction to Hugo Templating | Hugo 例えば、このブログのアイキャッチ画像は以下のように実装されています。
{{ if .Params.eyecatch }} {{ $image := resources.</description>
</item>
<item>
<title>はてなインターン2020参加記</title>
<link>https://peaceiris.com/ja/posts/hatena-intern-2020/</link>
<pubDate>Tue, 22 Sep 2020 02:21:17 +0900</pubDate>
<guid>https://peaceiris.com/ja/posts/hatena-intern-2020/</guid>
<description>はてなインターン2020に参加しました はてなインターン2020 リモート開催 - 株式会社はてな 某ウイルスの影響で、なんと初のリモート開催。
例年通りだと、
期間: 4週間 開催地: 京都オフィス 前半2週間: 講義 後半2週間: はてなのサービスに新機能を実装 という構成だったそうですが、今夏は
期間: 1週間 開催地: リモート 1日目: 講義 2~4日目: サンプルサービスに新機能を実装 最終日: 成果発表会 という内容でした。
実際には第一日程と第二日程の2回開催で、自分は第二日程 (2020-09-07 から 2020-09-11) に参加させていただきました。
リモート参加ということで他のインターン生も全国各地から参加しており、福島、東京、名古屋、大阪、京都、和歌山、アメリカ、のように日本全国各地どころかアメリカからも参加していたりと、過去に類を見ない形式のインターンだったと思います。
精神と時のステイホーム ─ はてなインターンシップをリモートで開催する方法 - Hatena Developer Blog なぜ応募したか これまでハッカソンに参加したり、リモートで仕事したり、OSS を公開したりはしてきましたが、インターンというものだけは参加したことがありませんでした。 なので「M1 の夏こそは」と学部卒業の頃は思っていました。 ですが、皆さんご存じの通り今年3月には日本でも某ウイルスが蔓延を始めており、 卒業記念パーティー、入学式などが中止になっていく中でインターンも参加できないだろうと思っていました。
無事に学部を卒業して大学院に進学するけど、早速入学式が中止になった。インターンとか国際会議とか行きたいが、年内にコロナウイルスが収束しそうにないし厳しいかな。とりあえずリモートインターン・リモート研究発表のために有線でネットを引こうと思う。テザリングじゃ無理。
&amp;mdash; peaceiris (@piris314) March 25, 2020 そんな中以下の記事がタイムラインに流れてきました。
はてなサマーインターン2020はリモート開催予定です - Hatena Developer Blog これは行くしかない! と思いすぐに (何日か後に) 応募しました。
もともと ghq のユーザーで id:motemen さんのことを知っていたり、はてなの情報が Mackerel の id:a-know さん経由で入ってきていたので、はてなインターンのことは知っていましたし興味もありました。</description>
</item>
<item>
<title>オススメの GitHub Student Developer Pack</title>
<link>https://peaceiris.com/ja/posts/github-student-developer-pack/</link>
<pubDate>Thu, 02 Apr 2020 09:51:26 +0000</pubDate>
<guid>https://peaceiris.com/ja/posts/github-student-developer-pack/</guid>
<description>GitHub の学割 教育機関の学生・教員は GitHub Pro Plan や Organisation Team Plan を無料で利用できる。大学等のメールアドレスを GitHub アカウントに登録することで所属を確認するので、申請はすぐに完了する。
Engaged students are the result of using real-world tools - GitHub Education GitHub Student Developer Pack GitHub Student Developer Pack - GitHub Education 有料プランが無料になるだけでなく特典が付いてくる。いくつかのクラウドサービスの有料枠を無料で使えるようになる。
この記事では個人的に気になった or 活用している特典をリストアップする。順番はリンク先で見つけた順。
Unity 有名なゲームエンジン
Unity Student Plan free while you are a student.
Get a Unity Student plan today | Free 3D &amp;amp; VR software for students | Unity - Unity Store 個人的に縁はないが使う日が来るかもしれない。</description>
</item>
</channel>
</rss>