はてなブックマーク

700000000000000007 000000222222000000 000022222222220000 000222000002222000 000000000022220000 000000000222200000 000000002222000000 000000222200000000 000022220000000000 000222222222222000 000222222222222000 700000000000000003 これが素数であることが奇跡なのだそうです。(ブログの筆者ではなくブコメの意見) 素数計数関数 まず直感で**「特定の数字が素数である確率」はそんなに小さくない**、そして奇跡的なパターンに見える数字はたくさんあると思いました。 前者について、素数の出現間隔はどのくらい広がっていくのだろう？流石に200桁となると小さいのか？と調べていると以下の

以前作ったものを PWA 対応と、ついでに見た目を変えました。 アプリは「4限何時からだっけ？」を解決する、完全に身内向けのものです。 ですが主に PWA のイントロについて書きたいと思います。 使っているもの React.js Flow styled-components GitHub pages リポジトリ: https://github.com/elzup/dentime PWA 対応 Google Chrome Developer tools の Audits のナビゲーションに従ったのみです。 manifest.json で icon やテーマカラー、バックグラウンドカラーの設定をしました。自動で作られるスプラッシュ画面やナビゲーションバーの色に関係してきます。 設定内容は Devtool の Applications タブで確認できます。 あとは「noscripts タグ入れて

リーダーと呼びましたが、いわばアンテナアプリ側です。複数のSSまとめサイトの SS リンクリストを表示します。 このアプリの一つ目の特徴は検索です。作品タグ + キャラ名で絞り込み、検索クエリをタブ化して保存できます。 もう一つの特徴は複数のサイトをあつかっていながらSSの重複がないことです。タイトルをある程度正規化して集約しています。 データは Rails で実装した API からとってきています。記事データは SS アンテナサイトの RSS を収集しています。SSをRSSで非SSRです。 実はこのアプリのコアはサーバーサイドで、収集やタグ整理、管理の自動化に力を入れています。 PWA React Native で作っていた個人開発アプリを PWA に移行しました。(1から) 作っているものが Native である必要がないこと、アプリストア管理やリリース準備などの手間を感じていたこと、

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

TL;DR github/gitignore にあるか github/gitignore - Global にあるかで判断 gitignore_global とは 自分一人の環境のみに存在するようなファイルをプロジェクト内の .gitignore ファイルに書き込むのは賢いとはいえないし, 気持ちが悪い そこで自分のPC上でのみプロジェクトの特定のファイルを ignore する事ができるのが gitignore_global git config --global core.excludesfile ~/.gitignore_global とか .gitconfig ファイルいじって有効化が必要 参考: グローバルで.gitignoreを適応する http://qiita.com/katsew/items/5cade12fa743a2f31f25 使い方は .gitinore と同様に ~

TL;DR Error Message: Could not load displays preference pane. fb-rotate を使う 概要 macOS の隠し設定使うと戻せない恐怖がある。 「画面回転は現状使えるものではない1」し戻し方も手間がかかるのでやらないほうがいい。 はじまり 研究室の後輩が"やむを得ない事情"で Mac Book の画面回転をさせたらどうしても戻せなくなったらしく、諦めて Clean Install したという話を聞いた。 俺は絶対 「defaults あたりの設定で戻せるだろう」と思ったことを話すと、ラボメンからの熱い警告と　「戻せる自信があるならやってみれば？」 という煽りを受けて挑戦してみた。 OS バージョンは macOS Sierra 10.12.2 挑戦 そもそも画面回転というのが隠し設定をいじるもので、つまり公式でサポートしているも

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

Firefox(+ Vimperator) から Google Chrome に乗り換えたが、最初に悩んだのはブックマークの管理の仕方だった。 Google Chrome にタグ付けの機能はない。プラグインを入れるのも気が引けるし、ブックマークはサクッと登録したい。 フォルダ分け vs タグ付け Gogole Chrome はブックマークをフォルダ分けが出来る。 以前は使っていたのだが、いちいち分類するのが面倒になってきた。 そもそも排他的に分けるのが難しい。 ブックマークに必要なのはカテゴリじゃなくてタグ付け(複数ラベル)のはずだ。 むしろタグ付けさえあればいい。 そこで Google Chrome のアドレスバーの強力な絞り込みを有向に活用できるブックマーク管理の仕方を考えた。 方法 登録時のタイトルの末尾に「#tag」のようにハッシュタグをつける。 # は明確に分けたい場合につければ

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

<div class="row"> <div> <p>1. <br /><span class="shadow shadow-l1">龍■</span></p> </div> <div> <p>2. <br /><span class="shadow shadow-l2">龍■</span></p> </div> <div> <p>3. <br /><span class="shadow shadow-l3">龍■</span></p> </div> <div> <p>4. <br /><span class="shadow shadow-l4">龍■</span></p> </div> </div> <div class="row row2"> <div> <p>1. <br /><span class="shadow shadow-l1">龍■</span></p> </div> <d