# はじめに こんにちは植木和樹@上越オフィスです。本日はGoogle Drive用コマンドライン インタフェース skicka のご紹介です。 先日6年ぶりにWindowsノートPCを手にいれました。 Surface Goがやってきたので6年ぶりにWindows環境を自分好みにセットアップしてみた せっかくなので先週はMacbook Proを自宅に残し、Surface Goだけ持って東京へ出張してみることにしました。ただ予想外のトラブルでsshやawscli操作が必要になるかも?ということで、ホームディレクトリ下の~/.sshや~/.awsはWindowsにもコピーしておきたいところです。 いわゆる dotfiles はgithubを使って環境を復元できるようにしているのですが、~/.sshや~/.awsには秘密鍵やクレデンシャル情報が含まれておりgithubにはあげられません。 どうに
Reactのチュートリアル、たくさんありますよね。どれも質が高く、どこから手をつければいいかわからなくなっちゃいます。 ですがやはり巷のチュートリアルには面倒な問題もあります。今回は面倒ごとを全部すっ飛ばしてReactでのウェブアプリ作りに入門してみましょう。 Reactを始めるには、まずあれとこれとそれとどれと…… Reactやるには、まずNode.js入れてbabel入れてreact入れてreact-router入れて、ついでにredux入れてreact-redux入れて、redux-saga入れて…… Reactめんどくせえ!!!ってのが正直なところだと思います。はい、私もそう思います。ただ、まあ、色々必要なのも事実なので……。 それでもやっぱり「ReactやるならReactだけやりたい。他はどうでもいい」という気持ちは簡単に捨てられるものではありません。そこで今回はそういう面倒全部
Metamath is a simple and flexible computer-processable language that supports rigorously verifying, archiving, and presenting mathematical proofs. See the FAQ for more information. Metamath Proof Explorer - Constructs mathematics from scratch, starting from ZFC set theory axioms. Over 23,000 proofs. Theorem list Recent proofs (this mirror) Intuitionistic Logic Explorer - Derives mathematics from a
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く