kuro_140の備忘録

開発していて躓いたことなどを後の自分用に残しています。

勉強のコツ(離散数学の先生が言っていた)

勉強のコツ(離散数学の授業で先生が言っていた)

勉強するときは常にノートを開いておく

  • 思考の外在化(externalization)
  • 自分の考えを客観化できる

しっかりと勉強した後でぼんやりする時間を作る

  • 文三上(名文を書くには馬上、枕上(ちんじょう、寝床にいるとき),厠上(トイレ)にいるときがいるときが適している)
  • 3B(アイディアはBで始まる,Bus,Bed,Bathで生まれるという西洋の考え)
  • ぼんやりしている時デフォルトモードネットワークが起動する
  • 思考を整理することでいままでわからなかったことが理解できることがある

複数の教科書を併用する

  • 本によって説明の上手下手、自分との相性がある、複数の本を併用することでそれぞれのほんのいいとこどりができる

vscodeの"Error while fetching extensions. XHR time out: undefinedms"について

vscode拡張機能の検索をすると"Error while fetching extensions. XHR time out: undefinedms"と出る件について

解決策

vscodeの設定を調べる

  • 自分の場合setting.jsonに大学のプロキシを設定していたから、動作しなかった。 具体的には以下を追加していたので、これをコメントアウトした.
{
    // 変更前
    "http.proxy": "[your proxy]:[your port number]",
    "http.proxyStrictSSL": false
}
{
    // 変更後
    // "http.proxy": "[your proxy]:[your port number]",
    // "http.proxyStrictSSL": false
}
  • これで拡張機能の検索機能が動作するようになった.

note 一般的には、ネットワーク接続を確認することが解決策になると思う。 参考までにvscode開発陣があげていたissueのリンクを張っておくhttps://github.com/microsoft/vscode/issues/165577