/var/log/messages

May 2, 2019 - 2 minute read - Comments - misc

TEPIA Robot Grand Prix 2019

興味深いイベントの情報を頂戴したのでこのエントリにて案内させて頂きますね。

TEPIA ロボットグランプリ 2019

数多くの学校にエントリーいただき、課題を競い、生徒の発表の場としてロボットを通じて更に高まればと考えております。コンテスト在りきでのイベントではございません。

この大会のよいところは途中の進捗、そしてメンタリング、終了後は会場での展示なども用意されており、1年に渡りコンテストが続き、同じ高校生同士での努力と納期のあることがとても優れており「TEPIA先端技術館」という展示場を保有しているからこそ出来る内容になっております。

ご一読いただき、先生からも生徒さんに、親御さんから子供に夢をご案内いただき、エントリーをいただけたらうれしいです!

May 1, 2019 - 1 minute read - Comments - misc

TODO?

改元な朝、とりあえずカレンダーを次の月にしつつ残を確認。

  • 碁会所に行く
  • 水購入
  • 本読み
    • 囲碁関連
    • Property-Based Testing w/Elixir

Apr 28, 2019 - 1 minute read - Comments - misc

Property-Based Testing with PropEr, Erlang, Elixir

GW 内読了? を目指したい。

とりあえず Chapter 1 の Foundations of Property-Based Tesing の章から読み始め。

導入

は以下にて。

Cloud Shell から apt-get install したら erlang のバージョン古いみたいで上の方法でないと駄目みたいです。

とりあえず

mix.exs を以下に修正して

  # Run "mix help deps" to learn about dependencies.
  defp deps do
    [
      # {:dep_from_hexpm, "~> 0.3.0"},
      # {:dep_from_git, git: "https://github.com/elixir-lang/my_dep.git", tag: "0.1.0"}
      {:propcheck, "~> 1.1", only: [:test, :dev]}
    ]
  end
  • mix deps.get して
  • mix test が動いた

状態です。

Apr 27, 2019 - 1 minute read - Comments - misc

連休が始まってしまった件

いやはや。とりあえず

  • Property-Based Testing w/ProEr, Erlang, Elixr 読み
  • 間接対応 (決算やら精算やら)
  • 脳内碁盤トレーニング
  • English Grammer in Use
  • でびあん端末の日本語入力環境整備

あたりが優先なのかどうか。可能であれば

  • Phoenix 方面の資料確認
  • Python で強化学習

あたりのフォローができれば良いですが。

あ、忘れてた

自転車のブレーキワイヤーを交換せねば、なのでした。あと、クレ 556 買っておかないと。これから買いに行ってこようかな。