ちゃっくのメモ帳

ちゃっくがメモしときたいことをメモしとくよ

ARC085 D ABS

問題
D - ABS

自分の解法はO(N^2)だが解説の方法がO(1)だった。
この解説に最初ちょっと納得できなかったのでメモ

どこで納得が行かなかったかというと「Xがa_iまで取った時,Yはa_{N-1}までとる」という部分がよくわからなかった。
というのは「Xが途中までとって,その後Yがうまく選択したらもっと低い/高い値がでるのでは?」と考えたから。。。

「Xがa_iまで取り,そのあといくつかYが取った」場合を考える
f:id:chakku000:20171112022741p:plain

こんな感じで...

もしこの結果がmax(a_N-a_{N-1},a_N-W)よりも小さくなった(つまりYが良い選択をできた)とする。
この場合,Xは前からi個を選択したのが,「Xがスコアを最大化しようとする」という前提に反しているので矛盾。よって前からi個をXが選択してスコアがより低くなることはない。

逆にXが前からi個選択して結果がmax(a_N-a_{N-1},a_N-W)よりも大きくなったとする。
この場合,Yはa_{N-1}までを選択することでスコアをa_N-a_{N-1}にすることができる。
従って,max(a_N-a_{N-1},a_N-W)を超えることはない。


これで最初に提示した疑問は解決した...はず...

(考察に漏れがあればtwitterにでもリプください)

Vimconf2017に行ってきたんだよ

Vimconf2017に参加してきました
VimConf 2017 - An international Vim Conference

場所は秋葉原富士ソフト アキバホール.めっちゃでかい会場だった.
到着したらVimconfTシャツを貰ったりしてた.


発表

@haya14busa さんの発表
Vim,Me and Communityという発表.
EasyMotionの話とかIncsearch.vimの話とかこれまでのはやぶささんとvimの話を特に検索,移動周りの話を中心にしていた.
スライドに入っているいらすとやの絵が選択がうまかった...

@fatih さんの発表
vim-goの発表.
vim-goを使うためにgo言語をやりたいと思わせてくれる素晴らしい発表だった.

vim鼎談
@mattn_jpさん@kaoriyaさん@k-takataさんの話.
@mattn_jpさんを初めて見たけど服を着ていた.
spell checkを使うべきだと言ったりしていた.
(ただ,これを聞いてspell checkを使用してみたが意図的なものまでエラーとしてでてしまうのでgitのコミットとかくらいになら...って感じがする)
あとlanguage server(vim-lsp)とかの話も出てきた.これらは全く知らなかったので少し調べたい.

@cocoponさんの発表
Creating Your Lovely Color Schemeという発表
Iceberg.vimを作った人によるcolorschemeの作り方講座.
「コンセプトを決めて色はコンセプトにそって決める」や「主なカラーパレッドをまず作る」「カラーパレットは最初に1色決めてあとは色相の変化で」など,素晴らしい知見が得られた.
直後にカラースキーム弄り始めてしまった.

@t9mdさんの発表
vmpの発表
ATOMvimプラグインについての発表
Mutationとかの話

@senopenさんの発表
Vim and Compatibilityという発表
どこでも動くvimrcを作るみたいな話.キーワードはWrite .vimrc Once Wrok Vim Anytime/Anywhere.
POSIX原理主義の方だった.Vimの歴史とかも語られる.
確かにどこでも動くvimrcは魅力ではあるが,それを作るための労力は大きそう.とくにエンコーディングにも詳しく語っていた.
どこでも動くvimrcを書きたいならこのスライドは見るべき.そうでなくとも1度は見ておくべきって感じの発表だった.

@ShougoMatsuさんの発表
暗黒美夢王ことShougoさんの発表
正直この方の発表を目当てにvimconfに参加したみたいなところがある.
発表内容はNeosnippet.vim + Deoppet.nvim
Deoppet.nvimを使うなら来年まで待つべきらしい.
Deoppet.nvimにはExtended markというものが使用される.
といった内容.そしてdeopleteがVim8に対応したらしい.Windowsだとプロセス間通信が非常に遅いらしい.

@dice_zuさんの発表
How ordinary Vim user contributed to Vimという発表
Vimのコントリビュータになるためにはみたいな話.「毎日Vimをビルドして使っていると」とか「ある朝Vimをビルドして起動してみると」とか言ってて笑った.

@p_ck_さんの発表
The new syntax highlighter for vimという発表
vimのsyntaxは正規表現を使っているが,正規表現は人間には早すぎるので, iro.vimを作ったみたいな話.
iro.vimはパフォーマンスが良いらしい.

@lambdalisueさんの発表
gina.vimの紹介
Vimanという言葉が出てきた.どうもVimを使いやすくしようとする人々のことであるらしい.
gina.vimはGitを扱えるVimプラグインらしく,いまVimでgitを扱うならこれなのかな
発表を聞いてこのプラグインを入れてみたくなった.


感想

どの方の発表も素晴らしかった.個人的にはcocoponさんとfatihさんの発表が好きだった.
英語での発表者もいたが,同時通訳してくれていて嬉しい(同時通訳自体が1つのコンテンツだった)

お昼ごはん凄く美味しかった


Vim coffee

懇親会

Shougoさんと話すことが出来た.neoincludeがdeopleteに対応してるとかの話を聞けた.
aiya000さんのLT. Either Monadをvitalに入れた話とか.
koturnさんとryunixさんとも会うことができた.

Vimconfとても楽しかったです.
発表者の方々,発表お疲れ様です.
スタッフの方々,企画運営ありがとうございました.

json4sを使ってみた

scalajsonを扱いたいと思ったのでやったことのメモ

用意したjson
gist.github.com
pythonで生成したら日本語が...

とりあえずjson4sを使うためにbuild.sbtに

libraryDependencies += "org.json4s" %% "json4s-jackson" % "3.5.0"

とした.

URLからjsonを取ってきてjson4sでパースし,shigureに対応する要素を出力ということをしてみた

import scala.io.Source

import org.json4s._
import org.json4s.jackson.JsonMethods._

object Main{
  def main(args:Array[String])={
    val url = "https://gist.githubusercontent.com/chakku000/ea3bce545c397b2bbc3f211e074847d1/raw/fc0744f530bf993a5c059254a8101adc650d11ec/poi.json"
    val source : scala.io.BufferedSource = scala.io.Source.fromURL(url)
    val contents : String = source.mkString
    val json = parse(contents)    // JsonのAST表現
    val maps = json.values.asInstanceOf[Map[String,Any]]  // JsonのAstをMapに変換

    val shigure = getFromOption(maps.get("shigure"))
    println(shigure)
  }

  def getFromOption(v : Option[Any]) : String = {
    v match{
      case Some(s) => s.asInstanceOf[String]
      case None => ""
    }
  }
}

となった.

いくつかわからないことがあった.
一つは json.values.getClassとするとscala.collection.immutable.Mapとでるのでgetができるかと思ったが,json.values.getとするとjson.Valuesのメンバじゃないと怒られてしまう.なんでだろう?

感想

Scalaを初めてみたが,コップ本も詰んであるままなので読まないと....
質問できる人がほしい...

追記1

json.Valueにgetメンバがないと怒られるのは,json.valuesの型が静的にはMapして解釈できないのでは?という指摘を受けた.asInstanceOfで明示的に型を指定すれば静的にMap型として解釈できるのではというものである.

追記2

上のコードはもう少し簡単にできるらしいです.こんな感じで

import scala.io.Source

import org.json4s._
import org.json4s.jackson.JsonMethods._

object Main{
  def main(args:Array[String])={
    val url = "https://gist.githubusercontent.com/chakku000/ea3bce545c397b2bbc3f211e074847d1/raw/fc0744f530bf993a5c059254a8101adc650d11ec/poi.json"
    val source : scala.io.BufferedSource = scala.io.Source.fromURL(url)
    val contents : String = source.mkString
    val json = parse(contents)    // JsonのAST表現
    //val maps = json.values.asInstanceOf[Map[String,Any]]  // JsonのAstをMapに変換

    implicit val formats = DefaultFormats
    val shi : String = (json \ "shigure").extract[String]
    println(shi)
  }
}

tmux-256colorで<ctrl-l>が正常に動作しない場合

tmux 2.6
tmuxを使用している場合,.tmux.confに

set -g default-terminal "tmux-256color"

と書いている.

しかし,これが書かれた.tmux.confを読み込みtmuxを起動するとを押したときに正常に動作しない.
これは,恐らくtmux-256colorがないのでinstallする必要がある.
インストールは

sudo apt-get install ncurses-term

でできる.

疑問

なんでncurses-termにtmux-256colorがあるのだろうか?
ご存知の方がいたらおしえてください(._.)


tmux 2: Productive Mouse-Free Development

tmux 2: Productive Mouse-Free Development

Atcoder Beginner Contest 075に参加したよ

ABC075にScalaで参加しました.
といってもScalaScalaらしく書いてないので別にそんなに書くことも無いんですけど...

C問題

各辺を取り除いてワーシャルフロイドしてみる.O(N^4)くらいで通る.
ワーシャルフロイドじゃなくてdfsとかbfsとかでもよいが計算が間に合うならWFが楽かな.

Submission #1684530 - AtCoder Beginner Contest 075

D問題

コンテスト中に間に合わなかった.
というかコンパイルが通らなくて調べてたら終わっちゃった....
ScalaだとN=50でO(N^5)はなかなか通らない...こういうあたりC++なら普通に通りそう...

Submission #1685936 - AtCoder Beginner Contest 075

感想

せっかくScalaで参加してみたんだからもうすこしScalaっぽい書き方できればいいなぁ...

ちなみにDのコードはforではなくwhileを使うと早くなるみたいな提出している人がいる!

JAG夏合宿2017に参加してきました

9/22 ~ 9/24にオリンピック記念青少年総合センターで開催されたJAGの夏合宿に参加しました

チームIQ1は全員参加できたので前日IQ1メンバーででました.

Day0まで研究室の合宿に行ってて睡眠時間が異常に減ってたので3日間とも睡魔と戦ってた...

Day1
僕はA問題を解いてあとは座ってた.Aはn文字のものは26^n個使い切れる証明がわからなかったけど出してみたら通った.
チームでは7完してるので実質お茶汲み.
この日のIQ1はなぜか全員pythonだった

Day2
吹雪ちゃんが刻印有HHKBのUS配列を持ってくる.
9時集合10時開始なのに9:56とかに到着した.
B問題をバグらせて通せなかった.重複したパターンも数えてしまっていた.(ことが翌日判明した)
この日はすごくて5時間座ってただけだった.完全にお茶汲み要員.

夜のcodefes予選Aは「予選は通れないけどレートくらいは上がるだろう」みたいな見積もりで出たら大失敗してレートを下げるはめになった

Day3
この日はIQ1の吹雪ちゃんが無刻印USキーボードを持ってきた.(夕立と睦月ちゃんはいつもJISなんだけど!!!)


記号がどこにあるかわからなくてキー全探索してたら吹雪ちゃん笑ってた

A,B,Cを解いただけ.実はB,Cでバグらせてて戦犯感がある....事実上のお茶汲み要員
全体で22位.

D問題の考察をしたがbitDPだろうという予測しかたたずだめ.
G問題は何をしても微妙な計算量になりそうで考察が明後日の方向に吹き飛ぶ.

A,B,Cはホントは3人が並列に解くのが正しいんだけど,僕がA読む→解けるな→B読む→解けるな→C読む→解けるなって感じで解けそうならときに行くみたいなスタイルをしてしまった.
どこに簡単な問題があるかわからないからこの辺どうするかチームで固めたい.





全体を通して

チームコンテスト,ほとんど無いからこういう機会にできるとめっちゃ楽しい!!!

3日間US配列を使って気がついたことはなれない配列だとライブラリを写すのさえめちゃくちゃ面倒くさく感じる.
基本的に3日間ともチームに貢献できていないのでお茶汲み係としての腕を磨くしか無い.

オリンピックセンターのご飯は割と美味しかった.サラダが取り放題で睦月ちゃんが異常量サラダ食べてた.

チーム内での役割が完全に自明問題を片付ける人になってるのでそろそろ修行しないと迷惑かけそう...



インターンに参加してきたんだよ!

8月の最終週にいい生活という会社のインターンに参加しました。期間は5日間でLINEのチャットボットを作成するというものでした。

やったこと

1日目
指定の時間に会社に来たらインターン生ぽい人が2人すでに来ていてスーツを着ててやらかしたかと思ったがあとに来た人たちが私服だったので安心した。

この日は講義をうけて作るもの班で決めるみたいな内容だった。あとは環境構築とか。

2日目
午前は実装を始めた。
お昼前に偉い人のお話を聞いてお寿司を食べた。


美味しかった。

午後も実装してたら進捗が良かったので明日くらいには終わるかなみたいな気持ちになってた。

夜はメンターの人たちと肉食べた。めっちゃおいしかった。

帰ったら劇場版艦これが届いてて嬉しかった

3日目
キーボードが合わないので持ち込んだ。
この日も実装してた。
班員とのコードの結合が大変だった。返り値のオブジェクトについて話し合いの時点で齟齬が生じてたのが原因。身体が型を求め始めた。
環境がWindowsだったのでmintty上でうまく行かなくpythonでstdin=io.TextIOWrapperとかしてたせいでログが出なくなって原因特定に時間がかかった。

4日目
実装がだいたい終わって細かいバグ潰しと追加機能を実装してた

5日目
午前は実装で午後は発表をした。その後懇親会はこれから。

感想

めっちゃ楽しかった!
1日目に講義があって安心できる。
メンターの人たちはslackで質問したらすぐ答えてもらえて心強いし定期的に進捗確認に来てくれてありがたかった!

いい生活でいい生活を送ってきた!

一番辛かったのは朝の通勤。学生時間に生きてると社会人時間は辛かった。

一応許可は貰ってるのでやばいことは書いてないはず。。。