WSLでWindowsのデスクトップにアクセスする
# 結論 以下のコマンドでWSLのホームディレクトリに、Windowsのデスクトップへのリンクを設定できます。 ``` ln -s /mnt/c/Users/$(powershell.exe '$env:UserName' | tr -d '\r')/Desktop ~/Desktop ```...
クリップボードマネージャーDittoの使い方
使い方 https://github.com/sabrogden/Ditto/wiki 日本語のキーボードだとデフォルトの起動ショートカットである`は打ちにくいので、起動のしかたを変更しておきます。 起動 -> 右下にある3点をクリック -> オプション -> キーボードショートカット ...
香港のフードログをNextJSで作成した
香港飯(ほんこんめし)という名前のフードログをずいぶん前に立ち上げました。 [https://hongkongmeshi.com](https://hongkongmeshi.com) トップページにあるのは香港の地下鉄MTRの路線図で、駅名の上にマウスホバーするとその駅で最寄りのレストラ...
マコなり社長の影響で今更タイピングの練習をしている
私は特にタイピングが遅いということは感じていなかったのですが、ホームポジションができないことがずっとコンプレックスでした。あとは結構タイプミスが多くこちらは若干仕事に支障をきたしています。 そんななかたまたまマコなり社長という本業は経営をされているYouTuberのこんな動画を見かけました。...
異国の会社が合わずに2か月で転職した話
香港の大学を卒業し[新卒で香港の総勢9人のEdTechスタートアップに就職した話](/post/新卒で香港の総勢9人のEdTechスタートアップに就職した話)をしましたが、およそ一か月前にここを退職し新しい職場に移っています。この背景には僕の力不足もあり職場の悪いところもあり愚痴っぽくなってしまう...
Coq開発環境の導入
証明駆動開発で有効なツールであるCoqの導入についてメモを残します。 # Homebrewを使ってCoqをいれる MacであればHomebrewを使ってインストールできます。 ``` brew install coq ``` ただ、おそらく最新版を常にインストールできるようなサポートは...
書き換え可能なテキストをReactJSで実装する
みなさんは下のように編集できるテキストをみたことはないでしょうか? 普段は通常のテキストなのですが、クリックすることで編集できるようになり、編集を終えれば今度は編集した後のテキストが表示されます。 console.log(value)} onFinalized={(v...
新卒で香港の総勢9人のEdTechスタートアップに就職した話
7月に修士論文を提出し2019-2020年度の春夏学期をもって香港科技大学の修士課程(計算機科学工学)を修了しました(*1)。修士過程に進学する前に就業していたので新卒というのも微妙ですが、EdTech事業を行う小さな会社に就職して働き始めたので就活周りについてまとめます。 # 時間の流れ 日...
競技クイズ復習ー2
身内でやっている競技クイズででた、忘れていたor知らなかったもので覚えておきたいものをひたすらまとめるだけの第二弾です。 # 香港のミニバスの車種 豊田のコースターという車種。 特に3代目と4代目が使われている。 # いたちごっこの由来 意味は「[互いに同じようなことをいつまでも繰り返...
競技クイズ復習ー2
身内でやっている競技クイズででた、忘れていたor知らなかったもので覚えておきたいものをひたすらまとめるだけの第二弾です。 # 香港のミニバスの車種 豊田のコースターという車種。 特に3代目と4代目が使われている。 # いたちごっこの由来 意味は「[互いに同じようなことをいつまでも繰り返...
自作クイズー1
自分で作って仲間内で使用した問題です。 # めざせポケモンマスター ``` アニメポケットモンスターシリーズの初代オープニング曲、『めざせポケモンマスター』でポケモンをゲットする場所として歌われているのは火の中、水の中、草の中、森の中、土の中、雲の中と何の中でしょう? ``` -> (あの...
Pythonでトロピカル代数を実装して最短経路問題を解く
# 熱帯代数(トロピカル代数)とは 最小値をとる操作と足し算の2つの二項演算によって定義される代数系のことを熱帯代数、トロピカル代数、min-plus代数といいます。オペレーションズ・リサーチにおいて幅広い応用があるそうです。 先日[Tatsuya Hirose](https://qiit...
TypeScriptの列挙型enumチートシート
# 列挙型(Enum)とは 列挙型は、事前にどんな種類があるのか分かっているようなものをすべて列挙して作る型のことです。数学や集合論の言葉を使って言えば、外延表記された有限集合をひとつの型とみなしてつくった型ともいえそうです。 じゃんけんゲームを実装しているとします。 じゃんけんではグー、チョ...
競技クイズ復習ー1
最近身内でやっている競技クイズででた、忘れていたor知らなかったもので覚えておきたいものをひたすらまとめるだけです。 # デジニェフ岬Cape Dezhnev * ユーラシア大陸最東端、アジア最東端 * チュクチ半島にある # ドッジ・ラインDodge Line vs シャウプ勧告Repo...
ReactJSでpreventDefaultが動かない問題を解消する
いくつかのイベント(タッチやウィールに関するものが多い)では受動イベントリスナでは、所定の挙動を上書きするのに必要な`Event.preventDefault()`を呼び出すことができません。こういった例外が起こっているのをみたことはないですか? ``` [Intervention] Unab...
ts-nodeで静的型を利用したスクリプト処理を実行する
[ts-node](https://www.npmjs.com/package/ts-node)を使えば、その名のとおりあたかもTypeScriptをnode.jsのようにそのまま実行できるようになります。これによって静的型チェックの恩恵をうけたり、既存の型定義やTypeScript資産を有効利用...
ブログをNextjsベースに変更しました
もともとUnteiという自作の静的サイト生成器を使っていましたが、ブログをNextjsベースに移行しました。CSSなどまだ以降しきってないので以前とだいぶ変わったものになっていますが、これはこれで気に入っています。 # なぜ変更したのか:技術編 もともとは自作の静的サイト生成器(Untei)を...
中国語には動詞と形容詞の区別がないかもしれない
# お断り これは一学生が中国語を勉強しているときに混乱した文法事項を「こう解釈すれば納得できる」という感じに簡単にまとめたものです。専門は言語学でも中国語でもないですし、ましてなにか参照してこの考えに至ったわけではないので、正式な文法の一部とは思わないでください。 また、現在ほかの単語や文法...
Querypy更新(0.0.1)
# バージョン0.0.1 先日公開した[Querypy](https://github.com/yaufai/querypy)で 1. テスト環境の整備 2. 関数記号の導入 までやったのでバージョンを0.0.1にしました。 ## テスト環境 [momotaro98](https://gi...
論理式みたいにCSVからデータを検索できるQuerypyを公開しました
# 目的 株取引をしている友人から移動平均線を使った取引手法が実際に通用しているのか検証したいという相談を受けました。彼はあまりプログラミング関連の知識はありませんが、問題をきちんと数式で記述できます。コードの勉強をしてからようやく彼の問題意識の検証、ではあまりに時間がもったいないです。 数...
【読書感想文】その科学が成功を決める
# 『その科学が成功を決める』はどんな本? 世の中には色んな分野で成功をおさめた人がいます。また他者に成功のために講義などを提供することを業とする自己啓発に関わる人がいます。自分の成功を信じて日々精進の僕達には、彼らの「成功の秘訣」を聞いてみたいと思うのは当然のことです。 しかし、そのまま信じ...
京都と神戸で香港科技大学工学院の説明会に登壇します
# 内容 京都と神戸で香港科技大学School of Engineeringの研究大学院の説明会を開催します。 内容としては 1. 香港科技大学の説明 2. 正規留学の説明(MPhil, PhD) 3. 短期留学の説明(サマーキャンプ) となっており、私は正規留学の説明をいたします。プログラ...
【香港留学】一学期目を振り返って
2018年の9月から香港科技大学(HKUST)でコンピュータ・サイエンスを勉強しております。正規生の留学後初&理転後初のセメスターというのもあって最初は勝手もよくわからない部分もありましたがなんとか乗り切ったので忘れないうちに詳細をメモしておきます。 # コンピュータ・サイエンスの授業 履...
楽天を退職して香港科技大学の修士課程に進学します
# 新卒で入社した楽天を退職します 2017年4月に新卒でエンジニアとして入社した楽天株式会社を6月末で退職しました。9月からは香港科技大学のコンピュータ・サイエンスの大学院に進学します。働いていたのは期間にして15ヶ月と短く、初めての就労体験かつ経済学部出身で技術的な知識にムラがあったのもあって...
How to build Go development environment with a debugger
The biggest obstacle in learning a new programming language is to build a development environment. Golang is famous for its simple and beginner-frien...