Linear is Uniqueness ?

幾つかの言語では線形型システム(Linear type system)を採用することによって、線形型を持つオブジェクトを正確に一度だけ使用するということを型システム上で検査している。 それらの型情報は、メモリ管理、ファイルIOなどの資源に対するアクセスを制限す…

References will be Garbage

参照カウント方式のメモリ管理機構ではメモリ解放のプロセスを分散できるために、他のメモリ管理と比べて目に見える停止時間が少ない。 ただ、純粋な参照カウント方式では全てのオブジェクトの状態を管理することは難しくて、例えば循環参照などの問題が発生…

mastodon運用していく

Mastodon IDでアイデンティティを確保してきた人間的には、OStatus準拠のサービスをやっていくうえで、独自ドメインとらないと気分になれないというのが動機としてあった。流行っているというのもあるし、railsだしpostgresだしsidekiqだし、自分の持ってい…

Region based mini ml - unification and implementation

変換前言語・変換後定義、Regionの概要については初回の記事を読んでください。 また、Region推論についての定義・説明は2回目の記事を読んでください。 この記事ではRegion推論精度の話・Region推論実装の話について書いています。 個人的な解釈が含まれて…

Region based mini ml - translation

変換前言語・変換後定義、Regionの概要については前回の記事を読んでください。 この記事ではtranslationに必要な表現・変数の定義を先に説明し、参考論文の規則に則って詳細を説明していきます。 個人的な解釈が含まれているため、記事の内容が全て正しいと…

Region based mini ml - intro

この記事は 言語実装 Advent Calendar 2016 - Qiita 20日目の記事です。 introと書いてあるのは、この内容で通年講義を受講しており、その最終発表が1ヶ月後くらいにあるため、 実装に関する部分などは別途記事化する予定でいるからです。 言語実装アドベン…

(故)insLTのチラ裏 #coinsLT

この記事は LT Advent Calendar 2016 - Adventar 11日目の記事です。 前回は id: yagamian_sobaya さんの「今年やったLT」でした。次回の記事は間が空いていて謎なので、更新され次第追記したいと思います。 こんにちは id: everysick です。現在は筑波大学…

就活を目的させていただきます

こういうのに行ってきた❗️❗️❗️ cdgh.connpass.com 就活目的レンジャー藍色 内容がオフレコすぎて何も書くことができない また次も別の企業主催でもあるらしい まともな日本語が出てこない 開催していただきありがとうございました ps. 渋谷に来た つづきをよ…

所報

MBPシュッとした 今はMac book Pro 13 retina みたいなマシンを使っていて、だいたい一年半くらい経ったのだけれど、 気がついたら画面のコーティングが結構剥げてきていて、汚れだと思って拭いても全然綺麗にならなくなっていた。 色々調べていると、どうやら…

宅配者になるべくして

コンテキスト 大学には主専攻実験みたいなものがあって学部3年になると実施される。実験は前期・後期に分かれていて、前期は巡回セールスマン問題をよっこいせする実験を選択した。というより第一希望から落ちた。 実験での行動 実験参考テキストを読み込ん…

生存戦略

前までどうやってブログ書いていたか忘れて赤ちゃんみたいなになってる。 ざっくりしたことはTwitterに書いちゃうので案外分量が少なくなってきた。 読んだ 何者 何者 (新潮文庫)作者: 朝井リョウ出版社/メーカー: 新潮社発売日: 2015/06/26メディア: 文庫こ…

"Experience tranquility."

最近(7, 8月)あったこととか。 COMP comp.jp 完全食のお試しセットを頼んだので飲んでみた。 水割りはそもそも味を舌が受け入れてくれなかったので、色々模索してみたんだけどだいたいダメだった。 素の味が無味になってくれると美味しく摂取できて最高なん…

"Progresses Never Die"

僕の進捗に関してマーシーにリザレクトかけてもらいたい。 大学関係 春学期の専攻実験が発表を終えて、残すのはレポートのみとなった。〆切も近いし量もあるので少しずつ進めないとまずいんだけど、気分的に終わった感出ているのでこれ以上やる気がでない。…

ホリネズミ

作りたいミドルウェアがあって、でも自分の言語セットだとC++くらいしかなく辛かったので その第一歩として Golang を学び始めてる。 案外単純な言語構造だと思ってたら色々第一級として扱えていて、Rubyほどではないけどハックができそうで楽しい。 package…

Bridge

グラフ構造において強連結を求めて処理することは多いけど、 蟻本に載っているタイプのScc*1だと後の処理が結構使い辛い気がしてた。 単にSccするだけならば別に良いんだけど、辺に対して操作をする時、 その辺は強連結をするための辺なのか強連結成分同士を…

未来向きの

迷っているときの文章は、あっちこっち行ったり来たりするから読みにくいと思う。今、エンジニアとして大成できるように勉強している私がいる。技術は好きだし、そういうことだけを考えていたいこともある。「将来はああいうエンジニアになりたい」とか具体…

不定期な報

寒くなってきたので一日中家にいると暖房等で電気代が心配になる。 近況 雙峰祭・ICPC・SECCONが終わって来週から期末考査、みたいな時期がやってきていて、 でもだらけながら好きなコードばっかり書いてる自分がいるので、今回もまた直前で勉強を始めそう。…

旅はロマン

栗 10月3日から4日にかけて山梨方面へ無計画旅行へ行ってきた。7人で車持1人だけ、行きは6時間くらい帰りは5時間ほど。運転お疲れ様でした。 ちなみに宿をとったのは前日の夜で、適当に行けばどうにかなるでしょうみたいなノリで決行されたが、 案外思った通…

秋が寒い

大学の周りには金木犀ポジションが結構あって、香りが好きなのでついウロウロしてしまう。今朝は早起きしたので、散歩して金木犀と戯れてきた。外は案外落ち葉が増えているし、長袖でも若干寒かったのでパーカーを羽織ってた。

男の子は女の子が好きだし女の子は男の子が好き

見てきた。この先はネタバレを含むかもしれないし含まないかもしれないので注意。ちなみに登場人物などに関する詳細や直接的なネタバレには触れないし抽象的な感じでしか記載しないので、見どころみたいなものを選んでいくつもり。先入観を無にして見たい方…

個人用ブログテーマ設定

公式テーマにあまり心惹かれるものがなかったので、cssを書き換える感じで現在のテーマに改変してみた。最終更新日時: 2016/07/25 6:24 /* <system section="theme" selected="12921228815728169090"> */ @import url("http://hatenablog.com/theme/12921228815728169090.css"); /* </system> */ /* <system section="background" selected="fff"> */ body{background:#fff;}</system>…

8年前の自分から手紙が届いた

帰省していた自分に偶然のタイミングで手紙が届いた。 一見素敵な感じに聞こえるけど内容はひどいものだったし、昔の自分を4発くらい殴りたくなった。8年前は小学6年生で、 記憶が正しければ「20歳の自分に向けて手紙を書こう」みたいな企画だった気がする。…

INSTALL HASKELL for OSX Yosemite

環境は OSX Yosemite 10.10.1 です。 ※brewのインストールなどは済んでいるものとして進める。 How to install 少し前までは $ brew install haskell-platform でインストール可能だったが、現在はできない。 $ brew install haskell-platform Error: No ava…

これは年度末の記事です

セッション切れたら本文(10000字程度)が消えていたときの気持ちってすごい

codeforces Round #176

1/22(木) TPC練習会 A問題 Problem - A - Codeforcesめっちゃ汚い #include<iostream> #include<string> using namespace std; int main() { string in[4]; for(int i=0;i<4;i++){ cin >> in[i]; } for(int i=0;i<3;i++){ for(int j=0;j<3;j++){ int cnt = 0, cnt2 = 0; if(in[</string></iostream>…

Ruby の クラス, クラスメソッド, extend, include, ClassMethodsまとめ

リンク集です。一方的に掲載してすみません。この辺の内容は言葉遊びにしか聞こえなくてRubyに遊ばれている気がする。Ruby のクラスメソッド定義まとめ - Qiita Ruby のクラスメソッド定義まとめ - Qiita結局、Rubyの特異メソッドって何なの? - (゚∀゚)o彡 sa…

CODE THANKS FESTIVAL B日程 参加記

CODE THANKS FESTIVAL B日程 参加してきました。@everysick CODE THANKS FESTIVAL 行きます?— 俺がSingletonだ (@0x_osyoyu) November 17, 2014 女子中学生に誘われたし仕方ないね。 家を出発してからがCodefes 朝 めっちゃ寒いI'm at Tsukuba Station in …

個人的 git メモ

たまに使うんだけど、忘れがちなコマンドたち。 見つけるたびに逐一追加していこうと思う。 commitのコメントミスった $ git commit --amend 実行でデフォルトのエディタが開いてコメント修正 ログの差分表示 $ git log -p diffがそれぞれ表示 変更を消さな…

セキュリティ・キャンプ2014参加記

ただいまつくばです。帰宅しました。 8/12 - 8/16 間でセキュリティ・キャンプに行って参りました。 クラスはWebセキュリティクラスで、チームは「セキュアぴょんぴょん」でした。 ここに参加記を示します。なお事前課題や応募用紙については面倒なのでカッ…

ICPC2014 Domestic 参加記

5月某日ICPCのチームはぼっちです— しっく (@everysick) May 21, 2014ICPCチーム誘われないかな感をこんなにも醸し出してるのに一切話が来ない— しっく (@everysick) May 22, 2014とか嘆いていたら@everysick チームまだ決まってないならうちんとこ入らん?(…

SRM 626 div2

250 class SumOfPower { public: int findSum( vector <int> array ) { vi v(array); int sum = 0; for(int i=1;i<=v.size();i++){ for(int k=0;k<v.size();k++){ if(k+i > v.size())continue; for(int j=k;j</v.size();k++){></int>

AOJ 2200 Mr. Rito Post Office

問題文 日本語なので省略 http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=2200 解法 動的計画法 dp[i][j] : i番目まで集配するとき、船をjに泊めていた場合にかかる最小のコスト 陸と海の距離に関してはWarshall-Floydで求めた。 ただ、Dijkstra…

初CTF

@everysick がんばって: https://t.co/6qbXqvm2kR— インターネット会社 (@KOBA789) June 22, 2014なんか超ビッグなデータが降ってきた。(Not ビッグデータ - Wikipedia ) だうんろーよヽ(´ー`)ノ 展開ヽ(´ー`)ノ 20GB...まじかよ... 開くヽ(´ー`)ノ Emacs…

TSP×最近追加法

注記 この記事は2016年7月に更新されてます。過去の記事の内容にプラスしてきちんとしたものにしました。 過去の内容には誤りがありました。すみません。 最近追加法 別称で最近隣接法とか存在するけれど、自分は最近隣接法とは区別している。最近隣接法は経…

PCK2013 予選参加記

お久しぶりです。参加記の前に前回の記事から何をしていたかちょこっと。 5月から8月までソフトウェアの制作をしていました。とある大会に向けてです。あと、受験で必要な書類や資料の作成、勉強もしてました。ソフトウェアについては大会類全部終わったら詳…

PyQtとTweepyを使った簡易Twitterクライアント

前回の発展編みたいなものです。フォームに打ち込んだツイート内容を送信するところまでやります。 PyQt (python Qt) QtっていうのはC++で書かれたフレームワークの一つで、 GUIやSQLなど様々な機能を持ったものです。今回は機能の一つであるQtGuiを使ってPy…

pythonのTwitterライブラリ使用メモ

難しそうだなーとか思ったらライブラリあったので使ってみたら簡単だった。ぱいそんまじめに触り始めて3日目くらいなので初心者です 環境 Python2.7.3 windowsXP-32bit-SP3 ライブラリ Tweepy 本題 easy_install tweepyインストール用 webbrowser デフォルト…

戒心と改新と

本選落ちしました。しばらく落ち込んだり、進路とか考えなおしたり、今も若干迷走してます。でも色々見えてきたので、全部吐き出して一から頑張ります。あんまりまとまった文章ではないので読みにくいです。 -戒心-なんで本選を落ちたかを考えれば簡単で、努…

AOJ 0562 Shopping in JOI Kingdom

概要 日本語の問題なので省略させていただきます。http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=0562最近AOJがWAのデータとか見せてくれるのでありがたいですね。 解法 まず各ショッピングモールのある町からダイクストラ法を用いてすべての町…

AOJ 0537 Bingo

概要 日本語の問題なので省略させていただきます。http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=0537 解法 動的計画法です。dp[i][j]i:マスの番号(左上から順に振ったとき)j:i番目までの値の合計というDPテーブルでソースコードのように回すだ…

AOJ 0540 Amidakuji

概要 日本語の問題なので省略させていただきます。http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=0540 解法 各横棒の両端に対して上にたどっていった時にたどり着く番号と下にたどっていった時の得点を先に求めておきます。そうすることでもしi…

AOJ 0531 Paint Color

概要 日本語の問題なので省略させて頂きます。http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=0531 解法 幅 w (1 ≤ w ≤ 1000000 となる整数) と高さ h (1 ≤ h ≤ 1000000 となる整数)とあるので当然普通にやったら要素数が足りません。座標圧縮 …

2013年目標

今更とか突っ込むのは精神的にくるのでやめてください。 JOI春合宿以上を目指す 一番大きい目標です。一番早く結果が出るんじゃないですかね・・・進学先も幅が広がりますし、何より自分がそこまで実力があると証明がしたいです。(誰に)まずは本選頑張ります…

AOJ 0568 Pasta

概要 日本語問題なので省略させていただきます。http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=0568 解法 動的計画法dp[i][j][k] i日目のパスタがj。i+1日目のパスタがkのときのパターン数その日のパスタがtの場合にはdp[i][t][1〜3]のみを更新…

poj 1661 Help Jimmy

3ヶ月くらいぶりに更新なのでは・・・(困惑) スペランカー? 概要 ジミーさんが地面まで降りたいので初期位置(y,x) 落ちることのできる最大の高さ 途中に浮かぶ謎の板の情報が与えられたとき、ジミーさんが地面にたどり着くまでの最短の時間を求める。注意し…

aoj 0574 Nails

概要 日本語の問題なので省略させていただきます。http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=0574 解法 各点にたいして配列を準備するh[5000][5000]しかし5000*5000とか余裕で配列足りないのでh[12512502]と一つでくくる(このへんの大きさ…

PCK2012参加記

最初にぶっちゃけるとソースは全部相方さん持ってるのでないです。ひどい結果でした。あんまり良いとはいえないです。 1問目ACもはやタイムアタック先輩が16位で通してくれたのでモチベーションあがった。 2問目ACこちらも先輩が問題みてないのでなんともい…

夏季セミナーについて色々書いたのでみてくだされ〜〜

夏季セミナー行ってきたのでまとめたヨ!全体的な感想:高専生やばい小学生並みの感想【一日目】 ①向かうフェイズ ・朝早く起きて食欲無い ・新幹線とか久々すぎて仙台駅でJMOする ・新幹線寝た。いっぱい寝たので元気になった〜〜 ・新宿まで行く。暑くねっ…