サブスクリプション管理サービス「PreBill」を作りました - shoynoiの日記
はじめに FJORD BOOT CAMP（フィヨルドブートキャンプ）というプログラミングスクールに通っていまして、最近卒業しました。 こちらのスクールの最終課題で自作サービスを作りましたので、紹介させていただきます。 今回作成したのは、個人で利用しているサブスクリプションサービスを一元管理できるサービスです。 サブスクリプション管理アプリ「PreBill」 PreBill github.com 作った経緯 サブスク、利用している方も多いと思うのですが、自分がどれだけサービスを利用していていくら消費しているのか、またそれぞれのサービスの更新がいつなのかを把握するのは意外と面倒だったりします。サブスクリプション型のサービスも増えており、様々なサービスを利用していると気づかぬうちに月々の出費がかさんでいることもあるかもしれません。また、サービスの更新日を忘れていたために解約しようかどうか迷ってい
Raspberry Pi 4 Model B / 8GB
Raspberry Pi製品の価格高騰について 2026年4月1日Raspberry Pi の案内 A new 3GB Raspberry Pi 4 for $83.75, and more memory-driven price increases 世界的なメモリ価格高騰が原因でRaspberry Pi製品、特に搭載メモリが大きいモデル（8GB,16GBモデル）では大幅な影響が出ています。今後も価格については、情勢に応じて、定期的に見直しを行います。 当社在庫を超える大きな需要がある場合、価格の保証は難しく、長期需要へのお見積りが難しい状況です。都度、短期的な需要に応じて、納期及び、お見積りの対応をしております。 シングルボードコンピュータRaspberry Pi 4 Model Bの 8 GB モデルです。Pi 3からスペックが向上した他、各種コネクタも変更されています。そのためPi
自動テストに限界を感じた私がなぜ形式手法に魅了されたのか - 若くない何かの悩み
長らく自動テストとテスト容易設計を生業としてきましたが、最近は色々な限界を感じて形式手法に取り組んでいます。 この記事では、既存の自動テストのどこに限界を感じてなぜ形式手法が必要なのかの私見を説明します。なお、私もまだ完全理解には程遠いため間違いがあるかもしれません。ご指摘やご意見はぜひ Kuniwak までいただけると嬉しいです。 著者について プログラマです。開発プロセスをよくするための自発的な自動テストを支援する仕事をしています（経歴）。ここ一年は R&D 的な位置付けで形式手法もやっています。 自動テストの限界 自動テストとは 私がここ数年悩んでいたことは、iOS や Web アプリなどのモデル層のバグを従来の自動テストで見つけられないことでした。ただ、いきなりこの話で始めると理解しづらいと思うので簡単な例から出発します。 この記事でいう自動テストとは以下のようにテスト対象を実際に
「Windows 10 May 2020 Update」（バージョン2004）一般提供開始
米Microsoftは5月27日（現地時間）、「Windows 10」の大型アップデート「May 2020 Update」（コードネーム「20H1」、正式バージョン「2004」）を同日から提供開始したと発表した。AI採用のロールアウト方式のため、全対象ユーザーに行き渡るには数週間かかる見込みだ。 アップデートが来ているかどうかは、［設定］→［更新とセキュリティ］→［Windows Update］→［更新プログラムのチェック］で確認できる（ビルド1903あるいは1909のユーザーであれば、アップデートがきていても「ダウンロードしてインストール」をクリックしなければ自動的にアップデートされることはない）。アップデート方法についての動画（英語）が公開されている。 今回のアップデートで注目の変更は、カスタム構築されたLinuxカーネルを備えたLinux 2（WSL 2）用のWindowsサブシステ
5,000円で買った1台の「家庭用製麺機」をきっかけに、仕事も人間関係も広がった話 | マネ会 by Ameba
「家庭用製麺機」という名前の、ちょっとレトロな手回し式機械をご存じだろうか。その名の通り、家庭用の製麺機なのである。 その存在自体は昭和初期から確認されているが、一気に普及したのは戦後の話。終戦によって軍事需要がなくなった金属加工業者が、米よりはまだ小麦粉が手に入りやすかった食糧事情を背景に、家庭で簡単に麺が打てる機械を製造していたのだ。 これが家庭用製麺機という道具（撮影：オカダタカオ） 最盛期には生産していた会社が何十社とあり（鋳物工場が多かった埼玉県川口市、戸田市に多かった）、製麺機は社名を入れて「〇〇式製麺機」（例：小野機械製造所だったら小野式製麺機）という名前で呼ばれた。 それらは群馬や栃木といった北関東、あるいは山梨や長野方面など、自家製麺食文化のある地域で主に販売され、小麦や蕎麦を育てる農家の主婦を中心に使われていた。イタリアの家庭にパスタマシンがあるように（どれくらい普及し
ついに完成「Windows Terminal」の機能と使い方まとめ
Windows Terminalの画面 Windows Terminalは、コンソールアプリケーションのための新しいターミナルアプリ。cmd.exeやPowerShellなどの「シェル」を登録して、背景などをカスタマイズできる。この画面右側や下の領域（ペイン）に模様が見られるのは、背景がFluent Design用のGUI部品Acrylicで透過しているためだ。 Microsoftがオープンソースソフトウェアとして開発を進めている「Windows Terminal」の正式リリース版となるVer.1.0が配布された。Microsoftが開催している開発者向けのイベント「Microsoft Build 2020」に合わせて公開されたようだ。 原稿執筆時点で公開されているのは、v1.0.1401.0で、日本時間の2020年5月20日に公開された。既にMicrosoft Storeからダウンロード
コロナに乗じて町内会の属人業務を改善しまくった一人のおばあちゃんの話
町内会のおばあちゃんの話をします。 しんざきは町内会というものに所属しています。 以前マンションの理事長に持ち回りで就任した時、セットで町内会にも所属することになりまして、それ以降なにやかやでちょくちょく顔を出すようになりました。 町内会の青年団というものに「青年」など一人も所属しておらず、40歳のおっさんである私がほぼ最年少だ、ということにショックを受けたりもしていました。 この年になって「十数人のグループで最若手」になる機会があるとか、思ってませんでしたよ正直。 この町内会に、いつも電動自転車で町内を軽快に走り回っている、一人の名物おばあちゃんがいます。 もう御年は80歳を何年か過ぎていらっしゃると思うんですが、一時期体調を崩しつつもおおむねお元気で、物凄く新しい知識に貪欲で、ITスキルについても全く抵抗感というものがなく、町内会で数々の業務改善を成し遂げてきた凄いおばあちゃんでして。
ラズパイを超お手軽に定点観測カメラにする方法 - karaage. [からあげ]
ラズパイを超お手軽定点観測カメラにしてみた ベランダの家庭菜園でアサガオを育て始めたので、久しぶりにRaspberry Pi（ラズパイ）を使って定点観測（タイムラプス撮影）してみることにしました。 ラズパイを使った家庭菜園の定点観測に関しては、以前「電波ガーデニング」と名付けたプロジェクトをしていたので、そちらを活用することにしました。 このときは、100円均一のケースで防水したり、温度・湿度センサをつけて測定したりと色々やっていたのですが、今回は単純にカメラでの撮影だけすることにしました。 過去にやったことですが、需要あるかもしれないのでメモがわりに必要なものや、セットアップ方法を書いておきます。 お手軽定点観測カメラのハードウェア 必要なものは以下となります。 ラズパイ ケース ラズパイカメラモジュール SDカード 電源アダプタ・ケーブル 防水の延長電源 必要な最低限のハードウェアとセ
![ラズパイを超お手軽に定点観測カメラにする方法 - karaage. [からあげ]](https://cdn-ak-scissors.b.st-hatena.com/image/square/68229e638cf3e58cd4992f27d12bd2bf903a9c76/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fcdn.image.st-hatena.com%2Fimage%2Fscale%2Ff2e9a1fa253f8c3b39737e26a54492b267812f65%2Fbackend%3Dimagemagick%3Bversion%3D1%3Bwidth%3D1300%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fk%252Fkaraage%252F20200517%252F20200517114201.jpg)
ゼロから作るDeep LearningシリーズはGoogle Colaboratoryで写経して学習するのがおすすめ - karaage. [からあげ]
「ゼロから作るDeep Learningシリーズ」が最高 ゼロから作るDeep Learningは、TensorFlow、Keras、PyTorchといったディープラーニングのフレームワークを一切使わず、基本PythonとNumpyのみでディープラーニングのアルゴリズムを作って理解していくというハードコアな内容です。 シリーズは3冊出ていて、1が画像認識、2が自然言語、3がフレームワークに重点を置いた内容です。 ゼロから作るDeep Learning ―Pythonで学ぶディープラーニングの理論と実装 作者:斎藤 康毅発売日: 2016/09/24メディア: 単行本（ソフトカバー） ゼロから作るDeep Learning ❸ ―フレームワーク編 作者:斎藤 康毅発売日: 2020/04/20メディア: 単行本（ソフトカバー） ゼロから作るDeep Learning ❷ ―自然言語処理編 作
![ゼロから作るDeep LearningシリーズはGoogle Colaboratoryで写経して学習するのがおすすめ - karaage. [からあげ]](https://cdn-ak-scissors.b.st-hatena.com/image/square/4226aba1f14dd905386d59a36b5a2866c46665b4/backend=imagemagick;height=288;version=1;width=512/https%3A%2F%2Fcdn.image.st-hatena.com%2Fimage%2Fscale%2F3122870ee0374b5482e640420a4bfb0f9b181e00%2Fbackend%3Dimagemagick%3Bversion%3D1%3Bwidth%3D1300%2Fhttps%253A%252F%252Fcdn-ak.f.st-hatena.com%252Fimages%252Ffotolife%252Fk%252Fkaraage%252F20200523%252F20200523123857.jpg)
3月1日のfreee全社員一斉リモートワークの裏側 - freee Developers Hub
この記事は、4/28 に動画配信したfreee Tech Night online #1 「3月1日のfreee全社員一斉リモートワークの裏側」 の補足記事です。 www.youtube.com TL;DR freeeがフルリモートに移行するまでのあゆみを時系列でまとめるとこんな感じです。 2月12日 リモート対応打診 = リモートの人増えるかも 2月18日 VPN能力増強の正式な打診 = max 400人くらいかな 2月20日 VPN β公開 = 暫定機材で運用開始 2月26日 VPN 全社公開 = 新機材到着 2月28日 全社フルリモートへ = max 800人で 3月1日 新機材で運用開始 記事の最後に貼ってあるグラフで見ると、移行した様子が綺麗に分かります。 時系列で追ってみる 2月初旬、COVID-19はダイヤモンドプリンセス号で感染が発覚した段階で、まだ、水際で止めることができ
やってはいけないUIアニメーション | ゲームUI演出
ここの画面ではメインボタンの「START」を目立たせたいのですが、右上のボタンに目がいってしまいます。 右上に目がいってしまうのは、最後に動く箇所に視線が移動するので不必要に右上に視線が誘導されます。 他にもコントラストや動き量がメインボタンよりも大きく変化しているため、いやでも目についてしまいます。 不必要に待たせている 最後に動かすところに視線が行きますが、視線をメインボタンに向けさせようと最後のアニメーションを長くしてしまった結果、ユーザーがアニメーションによって待たされている状態になってしまいました。 メインボタンはすぐに押してゲームを遊べることが大切になるので、最後にボタンを大きく動かして目立たせてもユーザーは早く押させて欲しいと思ってしまうので、アニメーションは短くサッと出して上げてユーザーが気持ちよく行動できるといいですね。 動き過ぎ、優先順位が曖昧 全てが動き過ぎてしまい、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
スイッチサイエンス 、「Raspberry Pi 4 Model B / 8GB」を2020年5月28日に発売
コストが段違いに安くなった？くら寿司の注文用端末がiPadからラズパイ4(Raspberry Pi 4)に移行している模様