KeePassクライアントをKeePassXからKeePassXCに移行しました,みんなもパスワード管理にはKeePassを使いましょう

KeePassの紹介 みなさんパスワード管理には何を使っていますか?1Passwordとか,LastPassとか色々ありますよね. 私はKeePassというものを使っています. KeePassはオープンソースソフトウェア(GPL-2)で,完全に無料かつローカルで動くのが特徴です.1PasswordやLastPassと違って,「お金を払う」ことや「サービス提供元がクラックされることを心配

UNIX(プロセス管理),アルゴリズムとデータ構造2(再帰),yesodアプリケーションのデッドロックの根本的原因がわからない

UNIX プロセス管理 - UnixClassWiki 物理的リソースとしてのCPU数 < 仮想的な計算リソースとしてのCPU数 と書かれてて,普通の場合はまあその通りだろうと思ったのですが,最近はハイパースレッドとかあるので,物理的なCPU数という概念が曖昧になってきていますよね.なので,捉え方によっては逆になることもあるのではないかとか思ってしまいました.例えばN

動的モデル(置換積分法)

中間試験が持ち込みありの場合難しくなるという話があり,暗記力が無いので持ち込みはあった方が出来るのかな…という思いと,高度な数学の問題を解けるかわからないという思いがあり,持ち込みありかなしかの投票に手を挙げられませんでした. 「中間試験の点数が悪かったらその先の授業についていくのは絶望的になる」という絶望的な宣言がなされました. 「中間試験にε-δ論法は出ますか?」「出ないとは言えない

計算理論(非決定性有限オートマトン,ε入力付非決定性有限オートマトン)

非決定性有限オートマトン 決定性オートマトンは遷移先が1つに決定されていたが,非決定性オートマトンは入力に対して複数の遷移先がある. 非決定性有限オートマトンの遷移関数は集合を返すので空集合を返すことがある. 非決定性有限オートマトンは受理するために都合の良い遷移を選んで良い. 「どっちを選んでも受理されるような入力が来た時はどっちを選ぶんですか?」「どっちを選ぶかは重要ではなくて,受

サービス情報システム(ワークフロー),科学論・科学史102(電流の小テスト),情報リスク管理(webサーバーリスク)

サービス情報システム サービスと違ってExcelみたいなツールは単機能という話で「ゴジラは空を飛ばない」ということを言われたので,「え,ゴジラって放射線発射して空飛んでませんでした?」と言ってしまいました.やっぱりゴジラ対ヘドラで飛んでいたらしいですね. 「命令セットの数は300ぐらい」という発言があったので,amd64/x64の命令数は実際いくつなんだろうと思って調べようと思ったけど

GitHubで他人のプルリクエストに対しコンフリクト解消や追加の修正を行いつつマージするもう1つの方法

単純なコマンドラインでmergeする方法が使えない時 本の虫: GitHubで他人のプルリクエストに対しコンフリクト解消や追加の修正を行いつつマージする方法を読んで,そう言えば私もバイトで最初にチーム(私と社長で2人)で作業を行うときに戸惑ったなあと思い出しました. なので,今のバイト先の社長から教えてもらった,もう1つの方法を紹介します. 江添さんの述べた方法は,シンプルでわかりやす

GNU/Linuxにおけるゴミ箱は.Trash/$uid/と.Trash-$uid/のどちらが正しいのか調べてtrash-cliにissueを開いたらSpecを読み間違えていることを教えてもらいました

前半の文章は間違っているので,正しい情報を得たい人は最後までスクロールするか,Re:GNU/Linuxにおけるゴミ箱ディレクトリは.Trash/$uid/と.Trash-$uid/のどちらが正しいのか - Qiitaを参照してください. 通常,GNU/Linux環境,というかFreeDesktop環境での「ゴミ箱」に相当するディレクトリは~/.local/share/Trash/です.

第6回Haskell-jpもくもく会@朝日ネットに参加してきました,overloaded-recordsライブラリを読みました

(学生は懇親会無料!)第6回Haskell-jpもくもく会 @ 朝日ネット - connpass 開場は12:50なのだからその時に到着するようにすればよかったですね.開催時間の13:00に合わせてしまいました. なので自己紹介の時間を逃したと思っていたのですが,13:45分ほどに始まったので良かったです. 今回はGenericやTemplate Haskellを使ったことがないので,そ

UNIX,アルゴリズムとデータ構造2

UNIX カーネルの構造と機能 - UnixClassWiki プロセス管理 - UnixClassWiki デバイススペシャルファイル - UnixClassWiki ファイルシステム - UnixClassWiki 今使っているLinuxにはおおよそいくつのシステムコールが用意されているのが調べてみよう。 /usr/share/man/man2に492個のファイルがあったの

動的モデル 原始関数,不定積分,部分積分法

原始関数 与えられた関数\(f(x)\)について,\(f(x)\)を導関数とする関数\(F(x)\)を\(f(x)\)の原始関数とよぶ.すなわち,\(F'(x) = f(x)\) \(f(x)\)から原始関数\(F(x)\)を求めることを積分するという.また,\(f(x)\)は\(F(x)\)の被積分関数とよばれる. \(F(x)\)が\(f(x)\)の原始関数であると

portageのバグ報告ガイドが読めないのでメンテナのTwitterにリプライを送ってしまいました,計算理論,plantumlでオートマトンを描きました,ゲームセンターで初めて音楽ゲームを遊びました

portageのagの最新版がビルドできない問題は既に報告されていました agことsys-apps/the_silver_searcher-2.1.0がビルドできないのでバグ報告するべきかと思ったら既に報告があるみたいですね.629488 – sys-apps/the_silver_searcher-2.1.0[-lzma] emerge failed error: unknown t

サービス情報システム,科学論・科学史102,googleアドセンスの審査が通りました,zenbackが混在コンテンツを注入してしまう,disqusを削除しました,情報リスク管理に無限にツッコミが入れられそう

サービス情報システム モンスターハンターに集中していたら電車を乗り逃して5分ぐらい遅刻してしまいました. 着いたらアイスブレイキングの話をしていました. 試験は「何でも持ち込み可」ということを聞いたので,ん?人もOK?と思ったけど「人に聞くのはダメ」ということでした. コンピュータは持ち込んでも良いそうですね. 「パクったのは読めば簡単にわかる」という話をしていたので,「それはパクった

今関わっているシステムにGoogleアドセンスを導入しました

今関わっているシステムにGoogleアドセンスの配置をしています.このサイトではないです. と言っても審査とかpull requestとかしたのは別の人なので,私はたいした作業を行っていないのですが. デフォルトで表示されているコードが<script>の読み込みありで,<head>で既に読み込んでいるのにこれ要るのか?という感じにな

disqusを復活させました,zenbackを導入しました,安達太良山に登ってきました

disqusを復活させました disqusは静的webサイトに付きもののコメント埋め込みシステムなのですが,私のサイトには全くコメントがされませんでした. それだけなら放置するだけだったのですが,一時的にバズった結果トップサイトに認定されて,ものすごく大きい広告が貼られるようになったので取り外していました. 当時の自分のバズり方が半分炎上しているようなものだったので,炎上商法で広告収入

Haskellを書くときはstylish-haskellとhlintを使って労せずして綺麗なコードを書きましょう

3年前ぐらいからHaskellを書くときには,stylish-haskellとhlintを使ってコードを書いています. これらを使うと,私のように,ツールに頼ってコードを書いているだけでも「コードが綺麗」と褒めてくれるようになります.しめしめ. 他にHaskellを書く時に良いツールがあれば是非教えてください. stylish-haskell jaspervdj/stylish-has

UNIX,Emacsのチュートリアルを翻訳したのがこの先生でした,IPAの脆弱性報告メールに返信しました,動的モデルの演習課題をしました,アルゴリズムとデータ構造2,暗算

UNIX システムとは何か. 「見せているスライドが見つからない」という質問をしたらパワーポイントバージョンはあってもPDFが無かった.アップロードしてもらいました. 先生が「Unity vs Gnome Shell」という動画を流し始めたので「Unity負けて死んだじゃん…」という気分になりました. 「AndroidがGNU/Linux」という話が出てきたので,「Androidはli

動的モデル 2階道関数・逆関数の導関数

2階導関数 関数\(y = f(x)\)の導関数\(y' = f'(x)\)について,\(f'(x)\)が微分可能であったとする.このとき,\(f(x)\)は2階微分可能微分可能である. また,\(f'(x)\)の導関数を\(f(x)\)の2階導関数と呼び,\(f''(x)\)で表す. すな

他の方のRustのFizzBuzzを多少最適化しました,計算理論

他の方のRustのFizzBuzzを多少最適化しましたが素直な解決策がありました 昨日FizzBuzz を無駄にベンチマークしてみた By Nim、golang、Rust、Crystal、その他 - 強まっていこうを読みました. 私はアセンブリ言語を除けばRustが最速の言語であると思っていたので,この結果は衝撃的でした. しかし,ベンチマークコードを見てみると,どうもこのベンチマーク

サービス情報システム,portageのmozc-2.20.2673.102のバグは既に修正済みでした,科学論・科学史102,情報リスク管理

サービス情報システム シラバス 初回が休講だったので今回はガイダンスです. カバンを机の上に置いたり講義中に帽子を被るのは禁止という話がありました.自分は元々カバンは床に置いてますし帽子は登山用のものしか持ってすらいないので声を上げませんでした. 飲食は良いらしい,笑う. パワーポイントで資料を作ると学習効率が良くないのであえて黒板に手書きするという話がありました.実際どうなんでしょう

bootstrap 4 alphaからbetaへの移行を行いました

気分が落ち込んでいてかなりやる気がない. 落ちる問題やデータベースの設計がまずい問題がある程度解決したので何か別のことをやろうと思ってissueを見ます. yesod develがwebpack --watch呼び出しでstack buildを再起動してしまう問題,今やってみたら再現しませんでした.謎です. bootstrap 4 betaへの移行 bootstrap 4がbetaにな

UNIX課題 ファイルとしてのインタフェース

/proc/以下のようにシステムに作用させるインタフェースなのにファイルのように見せているインタフェースを用意している。一方でファイルにアクセスする形式ではなくWindowsプログラミングAPIのように関数へのインタフェースに統一するアプローチもある。自分なりに考えて前者の利点、後者の利点を説明せよ。 ファイルのように見せているインタフェースの利点 どの言語でも容易にアクセスが可

動的モデル演習課題 導関数の定義と色々な導関数

他の皆さんは授業中に演習課題を楽々出してましたが,私は当然後から多大な時間を使って提出します. \(y = x^3\)について,\(x = a\)における微分係数を定義にしたがって求めよ \(\begin{aligned} & \lim_{Δx →0} \frac{(a + Δx)^3 - a^3}{Δx}\\ &= \lim_{Δx → 0} \fra

UNIX,アルゴリズムとデータ構造2,東京大学のスライドのタイトルが文字化けで膣になっていました

UNIX responの番号って毎週新しく発行されるのかなー?と思って「先生今週のresponの番号はなんですか?」と聞いてみたら「今作る」と返されました. 旧講義名「UNIXオペレーティングシステム」の方に間違えて登録した人が数人居たみたいで確認していました. responを開いたら「本日の授業の感想」が出てきたので「講義の最後に提出するということでしょうか?」と質問してみたら「暇な

動的モデル,数学の知識がない人が大学で数学の知識を手にするにはどうすれば良いんでしょう

動的モデルの講義のノート. 今期はノートを取ることにしているのですが,ノートに書いていることがどういう意味なのかさっぱりわからなくなってきました.写しているだけで理解が全く出来ていない.基礎知識が足りない?やはり数3を受けていないと無理? 実際の初回の講義にして何を言っているのかわからなくなってきたので,単位を取るのは絶望的なことがわかってきました.しかし,せめて微分積分の知識は得たいの

計算理論,ナップザック問題,鳩の巣原理と格子点,StripeからSMSを使わずに認証を手動で有効化すると返信が来ました

計算理論 オートマトン,正規言語,P vs NP問題とかの話をする講義. 単位取得できないかもなあと思いつつ,ふんわりとしかそのへんの話を理解できていないので是非講義は受けておきたかった.水曜日はこの講義しか無いスケジュールになってしまったけど,無理矢理受講しました.最悪単位は取れなくても良い,知識が欲しい. 試験が持ち込みありで,持ち込みテキストは手書きのみという話だったので,例によ

科学論・科学史102,データベース上のカラムの命名の間違いを意外とあっさり修正できました,haskellのレコード構文のスタイルを変更しました,情報リスク管理,StripeのSMS認証未解決

科学論・科学史102 前期の科学論・科学史101の評価はBでした. 後期最初の講義だから,前期から使っていた教科書を持ってくるのを忘れてしまいました.まあ完全に教科書に沿った授業をやっている講義ではないので良いんですが.どうせ初回はガイダンスでしょうし. 「小さすぎて見えないものを見る」 原子・分子・素粒子のミクロの世界. 講義で十分にわからない場合は教科書を読むなどして欲しい. テス

stripe-haskellを最新のstackageに対応させたい,stripeのSMS2段階認証が出来ない,stack solverは深く探索しない,goofysのままのほうが良かったかも,SetはFunctorのinstanceにならなかった

stripe-haskellを最新のstackageに対応させたい stripe-haskell: Stripe API for Haskellというパッケージがあるのですが,これが新しいstackageのltsに登場しないので自分のソフトウェアのltsをアップデート出来なくて困っています. extra-depsに指定すれば良いのかなと思って色々やってみましたが,パッケージの依存関係が

東京ゲームショウ2017に障害者手帳で100円で行ってきました,インディーゲームコーナーのレポートを書きます

東京ゲームショウ2017に行ってきました. 私は「ゲームの情報とかwebで仕入れれば良いじゃん」とか思っていて,当初あまり興味が無かったのですが,障害者手帳を持っていれば100円で入場できることを教えてもらったので,試しに行ってみることにしました. 通常前売り券の料金は1000円なのでこれは9割引きとなります,東京ゲームショウは神. 行ってみたら結構面白かったです. ほとんどインディーゲ

atoolを使えばtar, gzip, zip, 7zなどの複数のツールのコマンドラインオプションを覚える必要が無くなります

atoolというツールが便利です あなたは tar gzip bzip xz 7z zip rar などを取り扱うツールのコマンドラインオプションを覚えていますでしょうか.私は覚えられません. なので普段圧縮アーカイブを取り扱うときはatoolを使っています. gentooならemerge atoolでインストールできます. このツールはそれぞれのアーカイブへの操作をラップして,統

UNIXの初回授業,汚した図書館の本を弁償したのですが買い取れなくて残念,アルゴリズムとデータ構造2の初回授業

UNIXの初回授業 講義UNIXの初回授業を受けます. 授業番号は163-438-812 (33136). responで出席を取るそうでした.しかし,前期に使っていた教員が居なかったので,responに登録していたんだけど現状アプリの設定を消していてしまっていたので,再設定する必要があります.しかし,教務webサービスにログイン出来るのは10時からなので「現状出席ができないんですがど

動的モデルの初回授業のε-δ論法がわからず早くも躓いています

動的モデルの初回授業 講義動的モデルの初回授業を受けます. 数学が致命的に出来ないのに何故履修登録してしまったんだ…この講義を履修する時はそのことに気がついてなかったから仕方がないんだけど. 1講義単位落としても卒業できるように専門科目限定の履修追加をしましたが,追加した講義が同じく数学である計算理論なので,両方を落として留年する可能性が出てきました. 先生も数3の知識が無いとこの講義

Yesodアプリケーションのクラッシュの原因はやはりデッドロックっぽい,PGPOOLSIZEを増やしてみたらクラッシュしなくなりました

ghciでforkして見てみたらBlockedOnMVarが発生してるのでやはりデッドロックっぽい ghciでYesodアプリケーションを動かしてみます. getApplicationReplがあるのでこれを使います. (port, foundation, app) <- getApplicationRepl t <- fork $ runSettings

Yesodアプリケーションのデッドロックの検出のためにThreadScopeを使ってみましたが手掛かりにはなりませんでした

今日も引き続きyesod製のwebアプリケーションがクラッシュする問題を解決しようと試んでいます. とりあえず昨日他のブランチでcssやjsのcdnからの配信に切り替えたのでそれを矛盾なくmergeする作業を行います. gdbも試すけど,試してなかったThreadScopeを試してみようと思います.正直これで何かがわかるとはあまり思えないのですが… ThreadScopeのページで書かれ

yesodとwebpackを協調させてTypeScriptをビルドする方法

yesodとwebpackを協調させてTypeScriptをビルドする方法 現在yesodとTypeScriptを併用していて,yesodがhaskellアプリケーションをビルドする前にwebpackでTypeScriptをJavaScriptにビルドするということを行っています. yesodのshakespeareのText.TypeScriptにはエラー表示が極めてわかりにくいとか

haskellプログラムのimportの別名が多くなる問題にはclassy-preludeを使いましょう

classy-preludeというhaskellパッケージの紹介です. importの別名が多くなってしまう問題 haskellでは多くのデータ構造に対する関数がほぼ同じ意図を持っているのにも関わらず,違うモジュールで違う型で定義されています. lookup, insert, length, member, updateなどですね.データ構造に対する典型的な関数たちは多く被っています.

テストを書いたら本体のバグが発覚しました,エラー時のレスポンスが捨てられてしまうのでhttpsJSONEitherは使わない,検索した内容をtwitterに投稿するものを作ろうと思います,string-transformの変換元にShow aを追加しました

テストを書いたら本体のバグが発覚しました hspecを使ってshouldThrowを使っているのだけど,意図した例外を送出してくれないのかdid not get expected exceptionエラーになって困りました. なんでだー???と思って調べたら本体コードがバグっていることがわかりました.非常に単純な変数の指定取り間違いでした…テストって大事ですね… エラー時のレスポン

yesodアプリケーションがデッドロック状態になってしまうことがわかってきましたがそれ以外は何もわかりません

goofysを使わない新しい構成のシステムがちゃんと動くか確認するためにステージング環境を整えます. 構築方法はちゃんとメモしているのですが,流石に面倒くさくなってきた.ansibleとか使えば楽できるんでしょうか…環境構築なんか1回だけと思ってましたが,結構な数をこなしてきたので,いい加減導入を考えたほうが良いのかもしれません. しかしステージング環境と本番環境で埋め込む変数が異なった

コマンドラインツールの例外実装,string-transformとOverloadedStringsの相性が悪い,Multipart Upload

コマンドラインツールの例外実装 テストできるようにモジュールをlibraryとexecutablesに分けました. baseのexceptionを使うよりsafe-exceptionsを使うほうが良いそうなのでimport先だけ変えておきます.現在非同期例外を使うことはないのであまり恩恵は無いかなあ…と思いましたが,tryにたくさん型注釈をつけていたところをtryAnyにすることが出来

Amazon S3の問題はMultipart Uploadで解決しそう,haskellの文字列の変換をわかりやすくするstring-transformを公開しました

Amazon S3にファイルがアップロード出来ない問題はそもそもPutObjectが大容量のファイル向けじゃないからのようでした conduitのMonadResource mをIOに変換する方法がわからない - ncaqについて,@as_capablさんに助言を貰ったので,それについて調べてみました. なんかこのソース見ると ResourceT IO が渡せる奴があるっぽいです(

ゆうちょダイレクトのログインが不便,haskellの例外時処理に悩んだ,slackにそこそこの容量のファイルが送れない不具合が発生してしまった

鼻血が止まらない 数カ月前から風呂に入るたびに鼻血が出るし,寝てる間も自然と鼻血が出て迷惑しています.むかしから鼻血は出やすかったが,ここ数ヶ月のは特に多い.心療内科で血液検査を定期的に行っているため,血液の病気ではないでしょうが.耳鼻科に行くべきでしょうか…正直面倒くさい. 散髪に行きました 作業コアタイムに備えて起きたら今日は休みだった.忘れてた. 髪の毛がうざったくなってきた

conduitのMonadResource mをIOに変換する方法がわからない

前回出したpull requestに返信 awsパッケージは出来る子でした,大容量のファイルのS3へのアップロードが出来なくなりました,yesodにpull requestを出しました - ncaq 前回yesod develのstack buildの--fast消して欲しいというpull requestを提出しました.remove the --fast flag from stack

awsパッケージは出来る子でした,大容量のファイルのS3へのアップロードが出来なくなりました,yesodにpull requestを出しました

バケット名にドットを付けていたのが全て悪かった,awsパッケージは出来る子でした AWSのS3にhaskellでアクセスするのに苦戦してます,flycheck-stackはもう不要になってました,optparse-applicativeがいい感じ - ncaqに書きましたが,aws :: Stackage Serverで上手くpre signed urlを生成できなかったので,s3-s

optparse-applicativeはいい感じでした,Data.ByteString.readFileは/dev/stdinを読み込めない,GitPythonを使いました,python好きになれない

だるすぎる だるすぎてやるべきことがあるのに,ずっと世界樹の迷宮IV 伝承の巨神をやっていました.最近これを再開して,ちょっと前にクリアしました. ソードマン/ルーンマスター ナイトシーカー/ミスティック メディック/ダンサー スナイパー/ミスティック ルーンマスター/メディック の構成でやっています. それで第六迷宮に潜っていたのですが,三頭飛南瓜が強すぎて1回勝ったけどもうひと

Amazon S3のバケット名にドットを使ってしまいhttps通信が出来ない環境を作ってしまった,S3のダウンロードファイル名を指定できるライブラリがなくて困っている

Amazon S3のバケット名にドットを使ってしまいました aws :: Stackage Serverパッケージでpre signed urlを作る方法はさっぱりわかりませんでした.そんな機能ないのかも. pre signed urlを作る機能だけにs3-signer :: Stackage Serverを使うことにしました. 作ってみたら上手く動かない,https証明書エラーが発生

AWSのS3にhaskellでアクセスするのに苦戦してます,flycheck-stackはもう不要になってました,optparse-applicativeがいい感じ

haskellのawsパッケージでS3にアクセス 今書いてるwebアプリケーションでは,S3上に置いているファイルへのアクセスにkahing/goofys: a high-performance, POSIX-ish Amazon S3 file system written in Goというファイルシステムにバケットをマウントできるものを使っています.s3fsの高速版です. しかし,

yesodでprovideRepTypeの中でredirect出来ない時は型を明示しましょう

混乱メモ. yesodでコンテンツを直接配信するのではなくredirectでS3などのファイル保存場所のURLにリダイレクトするようにしようとしていました. とりあえず実際のAPIは作らずにundefinedで関数たちを置いておいて,ハンドラー側の呼び出し機構だけ書いておこうとしていました. しかし困っていました.ファイルを配信するハンドラーは2つあって,片方はそのままredirect出

emacsの自動補完をauto-completeからcompany-modeに移行しようとしましたがやめました

新しい言語の補完が大概company-modeにしか対応していないため,company-modeに移行しようとしましたがやめました. 設定ファイルは以下のような感じでした. ;; -*- lexical-binding: t -*- (require 'company) (require 'company-quickhelp) (global-comp

dic-nico-intersection-pixivをpixivのサイトマップを使って生成するように変更しました

ncaq/dic-nico-intersection-pixiv: ニコニコ大百科とピクシブ百科事典の積集合の辞書 東方天空璋が発売されたので,IME辞書を再生成しようと思いました. 軽量なネット用語辞書が欲しかったので,ニコニコ大百科とピクシブ百科事典の積集合の辞書を作りました - ncaqにも書いている通り,最後にサイトマップが存在することを指摘されました. なので,そのように書き直

大学院の入試に行って,教員に苦笑いされてきました

リクエストがあったので書きます.明日の面接の内容、日記にしてくれますか? | ask.fm/ncaq_ask 面接 今日面接がありました. 内容は以下の通りでした. そのままの内容ではありません. 面接は教員数人に学生1人というスタイルでした. 大学院を志望する動機は? コンピュータサイエンスをもっと学びたいと思ったのですが,私の所属する専修大学には情報系の大学院が存在しません.近く

twitterでブロックしたアカウントを全てブロック解除するやりかた

私はtwitterでは適当にブロックを行って定期的にブロック全解除を行っていました. そのためにunblock.ioというまさにブロック全解除を行うためのwebサービス(個別のアカウントは解除しないなどのブラックリスト機能付き)を使っていましたが,サイトが閉鎖してしまいました. なので,同じ機能を持つwebサービスをelmの学習ついでに自分で作ろうとしていましたが,自分が使うだけならsc

論理式処理系を途中まで書きました

今日,院試の勉強をしていて,あまりにも何もかもがわからなくて,何故か論理式処理系を書いていました. 途中でよく考えたらCNFが元の真理値と等しいかQuickCheckで検証をする用途にパーサーを書く必要は無いと気が付きました. 中途半端なものですが,これ以上書き足す予定が無いので公開します. 未来にparsecの参考になるかもしれない. 以下のように使えます. λ> ex

「明利酒類 梅香 百年梅酒」と「『俺の妹がこんなに可愛いわけがない』とやり直す中学英語」をプレゼントしてもらいました

こんな大きなものAmazonで頼んでないなあと思ったら贈られててビックリしました名前は公開していいのかわからないので伏せますありがとうございます! pic.twitter.com/8D8uySYX31 — エヌユル (@ncaq) 2017年8月18日 ちなみに私のAmazonアカウントは公開はしていましたが,リンクは貼ってませんでした.これを機にフッターに書いておくことにしまし

就活したくない 仕事したくない 進学したくない 存在したくない 死にたい

愚痴. 今日は14:30頃に起床しました.何もやりたくなかったからゴロゴロしながらtwitterを見ていました. 精神障害者の就活ツイートを見て精神がやられた 16:00頃に流れてきたツイートを見ました. いま、生まれて初めて発達障害者として障害者枠の就活をしてるんだけど、健常者だった頃が信じられない程書類選考で落とされますね。契約社員すら受からない。本当にびっくりした。自分で言う

keterでデプロイした場合yesodアプリケーションが生成するURLがhttpsではなくhttpになってしまう問題を解決しました

yesodアプリのketerへの切り替えを試しましたが,icuライブラリのバージョンが一致せず,静的リンクもできなかったので,切り替えができませんでした - ncaqの続きです. 自分の問題解決のために時系列順に書き殴ったメモなので纏まっていません.ご了承下さい. httpsがhttpになってしまう harendra-kumar/unicode-transforms: Fast Uni

yesodアプリのketerへの切り替えを試しましたが,icuライブラリのバージョンが一致せず,静的リンクもできなかったので,切り替えができませんでした

問題解決を目指したログですが,問題は解決できませんでした. keterへの切り替えを試してみる 自作のyesodアプリケーションが度々落ちる状況にあり,これがとてもストレスになり,死にたい. haskell - Applications written by Yesod sometimes stop responding - Stack Overflow 試しにnginxとsystem

Half-Life 2をクリアしました

Half-Life 2をプレイし始めました - ncaq プレイ時間 13時間. 環境 Steam(GNU/Linux). 難易度 設定: 簡単 体感: 難しい 感想 FPSって面白いですね. 武器を元に敵を倒していくことには爽快感があります. 何度か進行に詰まって攻略を見ることになってしまいましたが,それでも面白かったです. あまりにも劇中でストーリーの内容が語られな

映画『ジョジョの奇妙な冒険 ダイヤモンドは砕けない 第一章』を観てきました

映画『ジョジョの奇妙な冒険 ダイヤモンドは砕けない 第一章』公式サイト 一応ネタバレ注意. 気分が塞ぎこんでいたので,衝動的に映画を見に行こうと思ってその日のうちに出かけてきました. 爆アド手帳こと精神障害者保健福祉手帳による障害者割引で同伴者一名まで1000円になりますし.ちなみに私の手帳の色は水色です. 映画館はユナイテッド・シネマ浦和 | 浦和パルコ6F | 映画館 良かった点

Half-Life 2をプレイし始めました

SteamによるセールでPortal2などとパックにされてたので購入しましたが,今まで遊ばずにずっと積みゲーになっていました. 積んでた理由は前作Half-Lifeをクリアするのが困難だったためです. 敵が強いとかそういうことが原因ではなく,道に迷って進めずにクリアできなかった.私は方向音痴なのです. その上Half-Lifeは精々NINTENDO64レベルのグラフィック精細しか持ってい

JavaScriptのデータ通信,form,fetchとFormData

JavaScriptでデータ通信する時に最近考えることが多いのでメモしておこうかなと思います. formにデータを突っ込んでsubmitする formを取り出してsubmitメソッドを呼び出す方法. formに既に入っている情報で足りない時はinput要素をformに足してやります. const element = document.createElement("in

これからのHaskellプロジェクトではcabalではなくpackage.yaml(hpack)を使いましょう

sol/hpack: hpack: An alternative format for Haskell packages hpackとは hpackとは,cabalファイルを生成してくれるツールです. package.yamlファイルからcabalファイルを生成します. JavaScriptに対するAltJSのようなものです. hpackは何が良いのか yamlである hpack

try-pandoc-with-fileという,markdownをPDFなどに変換するwebサービスを書きました

try pandoc with file pandoc PandocというHaskellで書かれたソフトウェアがあります. これはmarkdown・rst・HTML・Orgなどの豊富な入力を取り,HTML・PDF・Docxなどに変換出来るツールです. 参考:Pandoc ユーザーズガイド 日本語版 - Japanese Pandoc User’s Association 超便利で,いつ

haskellプログラムがメモリを食いまくって落ちていたのはghcに-O0を指定していたからだった

テストコードでも-O0はやめよう. yesod-testがメモリを食いまくる 今,私はYesodでWebアプリケーションを書いていて,まだseleniumを導入してなかったので,yesod-testで大きいサイズ(100MBぐらい)のファイルを大量に投稿するというテストを書く必要がありました. しかし,そのテストを実行して,testプログラムがファイルを投稿すると,メモリを10GB以上

入院を目標にTOEICのスコアを265から500に上げたいと思います

入院を目標にする あまりのTOEICの点数の悪さと,就職活動による欝就職活動で鬱病が悪化した - ncaqで大学院進学を一度は諦めましたが,躁転してなんかいけそうな気がしてきました. 躁転したまま入院したいと思います. 少なくとも修士は生涯年収的に採算が取れるはず 統計上修士は取ってる人のほうが生涯年収が高くなるそうです. まあ,元々の家庭環境の違いが関係してそうですが…これで「少

一体型PCであるiMac Proは本当にコスパが悪いのか?似た自作マシンで試算して検証してみた

iMac Proはコスパが悪いか? iMac Pro - Apple(日本)が発表されましたね. 私はGentoo GNU/Linuxユーザで,ラップトップはDellを使用して,デスクトップは組み立てる人です.MacはGNU/Linux向けのドライバが中々提供されないため基本的に使いません. しかし,学校などのコミュニティでMacユーザの手助けなどをしなければいけないため,Macの動向

Nexus 6P(angler)にLineageOSをインストール

Pixelを買おうと思ってましたが,日本で発売されずに難民になっていました. 私の使っていたNexus 5は酷使されているため,バッテリーのヘタレ具合が酷く,ケーブル端子がバカになっていて接続が頻繁に切れ,メインメモリも足りないという状態で,不満だらけでした. そこでフォロワーさんがNexus 6Pを売ってくれる(大きすぎたらしい)という話があったので,これを機会に数年遅れで乗り換えるこ

南山まさかず(minamiyama1994)の話

要約と注意 この文章の主張内容の要約は わからないことがわからないままでつらい 友人の死を納得して受け入れられなかった 自殺者が居なかったことにされるのはつらい 自殺はやめてくれ ということです. 誰かを誹謗中傷したり,私がわからないことを邪推することを目的とするものではありません. 私は何もわかっていません. 南山まさかず 南山まさかずのブログを見ればわかる通り,C++とHa

systemd-233-r1にアップデートすると,systemd-hostnamedが,/var/tmpを/tmp/へのシンボリックリンクとしている場合,クラッシュします

systemd[12345]: Failed at step NAMESPACE spawning /usr/sbin/httpd: Permission denied このようなエラーが出ます. 5月 09 09:34:46 karen sudo[17421]: ncaq : TTY=pts/1 ; PWD=/usr/lib64/systemd/system ; USER=ro

ギークハウスZEROで人生へのアドバイスを受けてきました,面接を公開するのはやめよう

ドワンゴ1次面接に行ってきました,面接内容を書き起こして,反省も書きます - ncaq 普通の人間はリアルの会話というのは非公開だと思っているので,それを公開すると不快に思います.だから,面接を公開すると普通の人というものは不愉快に思うようです. 私は小学校にも中学校にも馴染めず,ずっとTwitterにハマっていたので,会話は公開情報という誤った認識を持っていました. 損害を与えるとか与

ドワンゴの選考に2次面接で落ちました,そろそろ就活を終わりにしたいです

ドワンゴ1次面接に行ってきました,面接内容を書き起こして,反省も書きます - ncaq ドワンゴの選考に2次面接で落ちました. 面接内容を口外しないことは誓ったのでそれ以外に言うことはありません. 以下は愚痴.読む価値はいつにも増してないです. 就活疲れた,そろそろ終わりにしたい 私は根がネガティブで普通に会話しててもナチュラルに「死にたい」とか「つらい」とか「私は何もできない」とか「

エゴサーチのススメ

最近web上でボコボコに批判されることが多いのでエゴサーチにハマりました. Google アラート Google アラート - ウェブ上の面白い新着コンテンツをチェックに自分の名前を複数登録します. 私の場合は Haaaa_N ncaq エヌユル 実名 ですね,me on the webなんて欄があるあたりエゴサーチ推奨です. これで頻度を1週間に1度程度,ダイジェスト設定にすれば

私は自己肯定感が殆どなく,それは致命的なことですが,社会に希望は持っているのかもしれない

私は 自己肯定感がない 自尊心がない 自分に自信がない 自己肯定感が無いことが就職活動で一番困難 私は自己肯定感が殆ど無い.私の私へつける評価は「東芝の経営陣よりはマシ」というぐらい. 本当は自分に問題があることなど,とっくに分かっています.それを鬱病状態のまま考えると,自殺したくなるから,防衛機制として攻撃に走っているだけです. だって,私がまともに落ちた会社はまだ3社しかない.

ドワンゴ1次面接に行ってきました,面接内容を書き起こして,反省も書きます

一応録音していた面接内容を書き起こし,していますが,かなりいい加減です.相槌などは混ぜるのが難しく,仕方ないので削除しています. 自分の発言文章がぐちゃぐちゃなのは,なるべくそのまま書き起こしを行っているからです.読みづらいでしょうが,ご了承ください. また,音質が悪いため,かなり聞き取れない部分があるので,そこにはunclearをつけています.伏せたいところもunclear. 録音して

perl6の速度が現在どれぐらいなのか気になったのでマイクロベンチマークを取ってみました

perl6はまだまだ開発途上です.この記事はすぐに古くなるでしょう. 動機 googleがpython2からpython3に移行せずにpython2だけ対応したライブラリをリリースしやがる. Google「新しいDeepNet系のライブラリ出したで https://t.co/kEsEvS4kLy」俺「どうせまたPython2系のみ対応とかやろ?w」俺「…マジだった………」 — ば

エビリファイを投与された結果アカシジアによって静座不能になり地獄に居ました

エビリファイを飲んで,ちょっとでも変なことが起きたらすぐに病院に相談しなおしましょう.まず電話でも良いです. ちょっと前に起きたことを思い出しながら書いているので,いくつか間違いが存在するかもしれませんが,御容赦願います.自分のtwitterを見返せば日時がわかることに気がつきました,天才かな. 3月28日 心療内科に行って「最近死にたい死にたい言ってベッドで泣き叫んでいました」という

Rustは実行時オーバーヘッドを生じさせないという意味でやっと出てきたC++の後継言語です

RustをOCamlなどの仲間だと勘違いしている人は居るでしょうか.私がそうでした.しかしRustはC++の後継言語です. C++は言語レベルのGCを持ちません.つまり実行時オーバーヘッドはプログラマが選択しない限り発生しません. C++の問題点 C++の有名な問題点は,ポインタの寿命が把握できないことです. #include <iostream> #inc

死にたいほど痛い肩こりが帯状疱疹(ヘルペス)でした

帯状疱疹とは水痘ウイルスが体内で暴れ出して猛烈な痛みを伴う病気です. 知覚神経の走行に一致して、皮疹出現の数日前から違和感や疼痛が出現することが多い(皮疹と同時、或いは出現後の事もある)。その後一般に帯状に紅色丘疹・浮腫性紅斑・紅暈を伴う小水疱が列序性に出現し、疼痛やそう痒感を伴う。[5]。神経痛・神経障害のみで皮疹が出ないという病態(zoster sine herpete)もある。2

newspicksと欝の波がヤバかったので,就職活動で鬱病が悪化した,へのコメント返しを書きました

就職活動で鬱病が悪化した - ncaqへのコメント返しです. 鬱が多少回復してきたと思ったら時間帯の影響かウオーってなってきて電車内で叫びたくなってきたので電車内で代わりに追記しました.途中から冷めてきましたが,電車内で殆ど書いたのでせっかくなので書きました. 具体的なコメントが思いつかないのは言及していませんが割と読んでいます. 記事に追記しようかと思いましたが,結構な分量になったので

私は密接なコミュニケーションで交換された情報の公開権限がハッキリしないことを理解出来ませんでした

Twitterなどの公開された場のコミュニケーションにのみのめり込み,私は密接なコミュニケーションで交換された情報の公開権限がハッキリしないことを理解出来ませんでした. また,当時私は鬱で倒れてから起き上がった直後の状態にあり,正常な判断が出来る状態にはありませんでした. 謝罪します.

就職活動で鬱病が悪化した

欝が悪化して起きていたくなくなった 就職活動 講義:数理計画法を49点で落とした そのせいでフル単を逃した 開発中のソフトウェアがうまく設計できなくてつらい 周りの人間との頭脳の差を見せつけられてつらい などの理由によって鬱病が急速に悪化しました. 2017-03-17から2017-03-20まで4日間起きていたくなくて,ずっと寝ていました.起きているとつらいという感覚が襲ってくる

Nexus5のデータが全て吹っ飛んだのでNexus5をLineageOSで再セットアップ

水没事故 うっかりNexus5を水没させてしまいました.ちゃんと乾かしてから起動したら動作はちゃんとしたのですが,何故かデータが全て吹き飛んでしまった.ストレージがやられた?復旧過程で一度データを全てwipeする作業が入った?原因はもはやよくわかりません. 大事なデータはクラウド上に置いてあるので,データが吹き飛んでも損害はないのですが,色々な再セットアップが面倒くさい.面倒くさいので

軽量なネット用語辞書が欲しかったので,ニコニコ大百科とピクシブ百科事典の積集合の辞書を作りました

データは現在https://cdn.ncaq.net/dic-nico-intersection-pixiv.txtに置いています.良ければ使ってください. google日本語入力の辞書が貧弱なので補完したい ネット用語を変換する辞書が欲しい.純狐さんが変換できない.mozcだからダメというわけではなく,google日本語入力も対応できていないものが結構あります.東方の専門辞書とか,い

gentooでgnome-base/nautilus-3.22.2がビルドできなかったのを解決

ちょっと前からgentooのgnome-base/nautilus-3.22.2がビルドできず,アップデートが出来ませんでした.まあそのうち治るだろう,1つバージョンが古くても困らないし,と思って放置していましたが,しばらく経っても治らなかったので,原因を真面目に調査してみることにしました. ビルドエラー エラーメッセージは In file included from nautilus

stackageにアプリケーションをアップロードしました

だいぶ前に作った haskell-import-graph :: Stackage Server haskellのimportのグラフ関係をgraphvizで出力する uniq-deep :: Stackage Server unixのuniqコマンドは隣り合ってない重複行を削除してくれないので削除する というアプリケーションをstackageにアップロードしました.色んな環境に

jcomの 回線遅く 不満持ち サポートに連絡したら改善 したけどやはり遅くて不満

半年前ぐらいにマンションの回線がucomからjcomに切り替わりました.どうも価格が安いということで決定されたらしいです.マンションの管理側で決定されたことで,議決権を持たないしがない子供の私に反論を差し込む余地はありませんでした… jcom回線が遅い 別にIPアドレスなどに対してこだわりはないので,品質が同じなら構いはしないのですが,その肝心の品質がひどい. mikutterがtw

尊敬するプログラマと口実を羅列する

1年半ほど前に,大学の先輩に「尊敬するプログラマって誰か居る?」的なことを聞かれたことがありました.その時は「私はソフトウェアの凄さには興味はあるけれど,誰が作ったかなんてあまり興味はないし,今使ってるソフトウェアは大抵複数人の共同作業で作られているので,特定の誰かを上げるのは難しいですね」と答えました.今でもこの考えはあまり変わってないですが,この答えってすごくアスペルガーっぽいですし

bootstrap-v4.0.0-alpha.6のリリースノートハイライトの日本語訳

Release v4.0.0-alpha.6 · twbs/bootstrapの日本語訳です.bootstrap-flex.scssが消滅してビルドできなくなって30分悩んだので初翻訳です.google翻訳を頼っています.超意訳.我英語力皆無. 翻訳 あけましておめでとうございます!これはBootstrap 4の最終的なアルファです. 詳細 v4 Alpha 6 ship list

2015年06月の,TypeScriptで世界各国の人口を表すインフォグラフィックスを作成するレポートを見直して自己評価

背景 2015年06月の,簡単なアドレス帳のレポートを見直して,web技術と自分のwebに対する姿勢の変化を観察する - ncaqの続きです. オブジェクト指向技術の第2回レポートでは世界各国の人口を表すインフォグラフィックスを作成するという課題が出ました. おそらく私以外全員の受講生はネイティブのJavaScriptを使っていたのですが,その時期は私はAltJSにハマっていたので「T

2015年06月の,簡単なアドレス帳のレポートを見直して,web技術と自分のwebに対する姿勢の変化を観察する

背景 2015年06月のオブジェクト指向技術の第1回レポートで,簡単なアドレス帳というものを書きました.私がまともにwebを学ぶ以前に書いたものなので,公開するのは気恥ずかしいですが,死蔵しておくのも勿体ないので,見直すことでweb技術と自分のwebに対する姿勢の変化を観察したいと思います. 手抜きのためにレポートの内容を改訂して書いているので,一部不自然な文章になっています.ご了承く

asyncとawaitの由来を調べたところ,asyncとawaitのaは関係なかったことがわかりました,英語はクソだし名付けもクソ

背景 「awaitってなんだよ」という気持ちがある日寝てる私に降ってきました. asyncの由来 asyncはsynchronize(同期する),synchronization(同期すること)を省略したsyncに,ギリシャ語由来の接頭辞a-をくっつけて,async(同期しない)となります. また、英語の〈a-〉という接頭辞はいろいろな意味がありますが、その中の一つに、ギリシャ語の

発達障害者です,ウェクスラー成人知能検査(IQテスト,通称WAIS)の詳細な結果を貰ってきました,本人が自己分析を行います

背景 私も就職活動とやらをしなければならないことになりまして,自己分析とやらをしなければならないらしいです.しかし,私は鬱病を患っているので,自分で自己分析を行うとどんどん自殺欲求が深まってしまいます. そこで,せっかく数年前に心療内科で知能検査を行ったことがあるので,その詳細な内容を貰ってくることにしました.先生は「渡すようなものじゃないんだけどなあ…」と言いながらも渡してくれました

最初に学ぶプログラミング言語なんて何でも良いだろ,ゲームのスキルビルドじゃないんだから

背景 常々こういった話題について考えていたことを文章にしたいと思っていました.そこに「最初に学ぶべきプログラミング言語」 - mizchi’s blogが投稿されたので便乗します. プログラミングスキルに上限なんてない ゲームのスキルビルドは大体上限があります.だいたいのRPGではスキルを全て取ることはできません.ポケモンだって振れる努力値は510で上限になってしまいました. だか

xinputコマンドを使ってラップトップPCのタッチパッドの無効有効を即座に切り替える

背景 まず、キーボードを入力するとき、少し手のひらがタッチパッドに触れるとカーソルが動いてしまう。この問題について、ThinkPadを所有している(使っている)知り合いに尋ねたところ、「そもそもトラックパッドは無効化している」という返答がほとんどだった。 さよならMac | めがねをかけるんだ タッチパッドがクソ:タッチパッドがボタンと一体になっているため、 Thinkpad 伝

専修大学のhttpによる認証を必要とする腐ったwifiに,NetworkManagerのdispatcherを使って自動ログインする

2017年度より,専修大学のwifiにもWPAエンタープライズ認証が導入されました.よってこの記事は早くも腐りました. 背景 2014年に専修大学に入学して,困ったことが1つありました. それは,専修大学の学内wifiSENSHUWLはまるで空港のような形でwifiの認証を行うということです. http通信に中間者攻撃をしてhttps://wcgw.senshu-u.ac.jp/cg

項書換えシステム記述言語maude

背景 大学の分散情報システムという講義で,maudeという項書換えシステムを使うことになったので,コードを書きました.コードを書いたので,せっかくなのでgistにuploadしました.gistにuploadしたので,せっかくなのでここで解説したいと思います. 途中から大学に提出したレポートの写しになっているので,なんだかちぐはぐです.注意してください. maude 公式サイトはTh

iijmioの契約を家族のファミリーシェアプランにまとめました

背景 これまでiijmioとは自分と父親が2人分ミニマムスタートプランで契約していました. ファミリーシェアプランを2人で使ったほうがお得なのに,何故ミニマムスタートプランを2つ契約していたのか?それは「自分がファミリーシェアプランへ変更して親の分のSIMを追加しよ!」と思っていたけれど,契約の変更は月末にならないとできないことを知らなかったので,仕方なく新規追加になっていたからです.

unixコマンドの使用頻度を計測する

背景 2015年08月に書きました. 大学で「unixコマンドの自分用のマニュアルを書け」という正直言って謎な課題が出たためです.そのためにまず自分の使っているコマンドを計測するために.zsh_historyの内容を解析することにしました.最初は当初学んでいたerlangで解析しようとしましたが,文字列操作がわけわかめで疲れてやめました. ソースコード 純粋なunixコマンドだけ

haskellによるLZ78の実装

背景 2015年07月の大学の講義「情報理論」で「Ziv Lempel符号について調べて解説せよ」という課題が出ました. 情報理論という名前の講義ですが,プログラミングは直接は関係していない,数学寄りの講義でした.しかし私はプログラミングで理解したほうが楽なため,LZ78 - Wikipediaによるデータ圧縮プログラムを実装してみることにしました. なぜLZ78なのか.それは適当にグ

c++によるbrainfuckの実装

背景 2015年05月に書きました. 課題の提出結果をbrainfuckで書いたら先生混乱するかなあと思って,まず同梱するための処理系を書こうと思いました. 私にとっては初めての言語処理系記述でした. ソースコード 今見返した感想 初めてにしてはそこそこうまく出来ているのではないでしょうか. メモリは巨大なテープという安直なイメージからdequeを使って自動拡張していますが,

c++によるマージソートの自前実装

背景 2014年11月にc++で安定ソートを実装しました. 学校の課題で何らかの成績の順位付けをする必要がありました.秒数が同じ時はインデックスが小さいほうが順位が高いという指定があったため安定ソートを使う必要がありました.別に課題の指定では自前でソート関数を実装する必要はありませんでしたが,constexpr対応させたかったのでマージソートを自前で実装しました.本当に対応してるかは知

haskellによるquine

haskellによるquine クワインを書くコツ 背景 2014年4月に書きました. 当時クワイン (プログラミング) - Wikipediaを知って,ちょうど暇だった. 一応wikipediaのサンプルコードは読まずに書きました. ソースコード main :: IO ()はなくても良いので,これをなくせば1行になります. クワインを書くコツ 文字列を2回出力するプログ

googleオートコンプリートでfizzbuzz

このプログラムを実行してはいけません googleオートコンプリートでfizzbuzz curlのラッパー boost xml_parser 背景 2014年10月に,大学のプログラミング演習の課題として,fizzbuzzを書いてきてくださいというものが出ました. 普通にやっても面白くないので,googleのオートコンプリート機能を使って余りを判定するようなプログラムを書きました.

rubyによるedの部分的実装

背景 学校の課題で作成しました. 課題要求で正規表現をなるべく使うようにしています. ソースコード 行番号が正規表現でパースできない edでコマンドを実行するときは,1, 2pみたいに行番号を2つまで指定するのですが,実はこの行番号,無限に指定すると最後の2つが取られるようになっているので,正規表現では多分パースできません. GNU edでは普通にループして解析してるみたいで

斜辺が2017になる三角形を探索してgnuplotでグラフ化

2017年です. 背景 2017の素因数分解がつくる多角形 - tsujimotterのノートブックを読んで,なんだかよくわからないがすごい!と思って,真似をしてみようと思って,挫折しました. そこから思考が迷走し始めて,ダウングレードして斜辺が2017になる三角形を探索してみました. 斜辺が2017になる三角形を探索 細かく調べたらキリがない上に,浮動小数点数の誤差が面倒なので

ネットワークスペシャリスト試験に合格したので学習方法などを書いておきます

ネットワークスペシャリスト試験に合格しました これまでの振り返り 学習方法 受験テクニック 背景 2016年秋のネットワークスペシャリスト試験に合格しました. これで私は ITパスポート 基本情報技術者 応用情報技術者 情報セキュリティスペシャリスト ネットワークスペシャリスト に合格したことになります. せっかくなので,これまでの情報処理技術者試験を振り返って,学習方法,受験

whitespaceプログラムをc++プログラムに変換するrubyプログラムを書きました

ifを並べ立ててラベルを表現しました ワンパスで変換したかった 背景 学校で「whitespaceプログラムを実行するrubyプログラムを書け」という課題が出たので書くことにしました. whitespaceのラベルは静的なので,c++に変換できるはずだと思ったので,c++に変換して実行するプログラムを書きました. 参考 この記事はWhitespaceをC言語ソースに変換する -

webアイコンに絵文字を使おう

絵文字 / Emoji Advent Calendar 2016 - Qiitaの12日目の記事です webアイコンに絵文字を使おう 従来のwebにおけるアイコンの表現方法 当初は素直に画像をアイコンとして配置する方法が使われていました. しかし,http/1環境では大量のファイルを配信すると非常にページが重くなるので,様々な方法が使われるようになりました. cssが普及した後,

yesodで全てのモデルにcreatedAt,updatedAtを作りたかった話

Yesod Advent Calendar 2016 - Qiitaの5日目の記事です 私のcreatedAt, updatedAtとの戦いの記録 背景 User email Text name Text createdAt UTCTime updatedAt UTCTime のように,それぞれのモデルに生成時間と更新時間を付けたい

prologによる格子点の個数からの円周率の近似値の計算

Prolog Advent Calendar 2016 - Qiitaの3日目の記事です 2015年07月に出た数学の課題をprologを使って解いてみました これがはじめてのprologでした 未だprolog初心者です 背景 格子点の個数を求め,\(\pi\)の近似値を計算せよ.という課題が2015年07月に数学の授業で出ました. 特に言語は指定されていなかったので,せっかくな

Hakyllの紹介

静的サイトジェネレーター Advent Calendar 2016 - Qiitaの2日目の記事 関連記事 ブログを作りました - ncaq hakyllのteaser設定方法が好みではなかったので自作した - ncaq 私はhakyllしかろくに使ったことはない hakyllとは Hakyllはhaskellで書かれた静的サイトジェネレーターである.このサイトもhakyllで

英辞郎は英語学習において害なのだろうか?

英辞郎 on the webの使用を禁止されかけた 背景 授業中にスマートフォンを使っていることを注意されたが,PCならOKだった,理由が謎だったので,何故なのか理由を推察してみた - ncaqの続編. 本来前の記事とまとめて1つの記事にするつもりだった.しかし意外と長くなったし本題が違うので分割する. 誰かを批判することを目的とするものではない. 事件 私はAdvanced

授業中にスマートフォンを使っていることを注意されたが,PCならOKだった,理由が謎だったので,何故なのか理由を推察してみた

授業中の授業のためのスマートフォンの使用を注意された 何故かPCならOKだった 謎なので理由を推察してみた 背景 この文書は人間の思考と社会観念を奇妙に感じて,私の思考と社会のズレに対して多少のおもしろおかしさを感じて書いている. 私は現在この事件に大して全く不満は持っていない.損をしていないからだ.奇妙さを感じているだけである. 誰かを批判することを目的とするものではない.

2016年02月に単純なLispを実装した

2016年02月に単純なLispを実装した 面白みはない 背景 48時間でSchemeを書こう - Wikibooksを見たら案外簡単そうだと思って手を動かしてみたようだ. 継続とレキシカルスコープの実装が難しく,やらねばならない課題などがあった(これは課題でも何でもない)ので,これ以上実装は進められなかった. かと言って教材をそのまま丸コピペするのも面白くなかった. フィボナッチ

MathJaxはCommonHTML出力で使うべきである

MathJaxはそんなに遅くない MathJaxのCommonHTML出力は速い 基本的にSVG出力よりも良い 背景 このサイトに数式表示を導入したかった. MathJaxの存在は数年前から知っていたが,数年前から知識をアップデートしていなかったため,「MathJaxは遅い」という認識だった. そこで\(KaTeX\)を使おうと考えていたが,調べ直した所,今の\(MathJax\)

haskellプログラマ向けのモノイドの解説

半群とモノイド 数学のモノイドとhaskellのモノイドの差異 背景 私は高校2年生(2012年)頃に,すごいHaskellたのしく学ぼう!を読んで,haskellを使い始めた. その中にはモノイドの解説もあり,当然haskellのコードでもモノイドを使っていたが,haskellのモノイドが何処からきた概念なのか,どうしてこういう設計になっているのか,それをさっぱり理解していなかっ

箱のようなものは鶏肉みたいな味のようなもの

このページは鶏肉みたいな味 - Wikipediaのパロディです クリエイティブ・コモンズ 表示-継承 3.0 非移植ライセンスの下で利用可能です 皮肉です 箱のようなもの(はこのようなもの)とは,日本語圏においてプログラミングにおける概念を比喩するときによく使われる表現である.但しあまりにも頻出するため,一種のクリシェ - Wikipediaのようになってしまっている.その結果,こ

hakyllのteaser設定方法が好みではなかったので自作した

hakyllのteaser設定方法が好みではなかったので自作した twitterがopen graphに対応していたことを知った 背景 twitterにdescriptionを設定したかった. hakyllのteaser設定方法 hakyll公式のteaser設定方法はmoreをmarkdownに書くものである. We use <!--more--&gt

LLVMでフィボナッチ数を計算する

2016-05にLLVMでフィボナッチ数を計算するプログラムを書いた LLVM Language Reference Manual — LLVM 4.0 documentationを参考にした 人間が書く言語ではない 背景 自作のプログラミング言語をLLVM対応させて,ネイティブコンパイルしたくなった. なので,まずLLVMの内部言語を知ろうと考えた.そのために,とりあえず,フィボ

wcのrubyによる簡易的な移植

wcのrubyによる簡易的な移植 wc (GNU coreutils) 8.23を参考にした ファイル引数のみの出力のエミュレート utf-8のみサポート 背景 学校の課題で2016-10に作成した. k-takata/Onigmo: Onigmo is a regular expressions library forked from Oniguruma.のunicodeプロパテ

google driveをlinuxで利用した話

dropboxからgoogle driveに移行した grive2がdaemon機能をもたないのでやっつけスクリプトを書いた 背景 google photosが便利そうなのでdropboxに写真アップロードする方法から移行したかった.ついでにファイル同期機能もgoogle driveに移行してdropboxを使うのをやめた. grive2 google driveには公式lin

stack buildがout of memoryした時の対処法

Home - The Haskell Tool Stackでstack buildやstack installしたとき,out of memoryでプログラムがビルドできないことがある. 他の人のPCやTravis CIで起きた.その対処法を書いていこう. –jobsオプションを使う stack --jobs 1 build こうすると並列にビルドが走らないため,メモリが足りなくなるこ

pixivにメールアドレスを「使用できません」と弾かれていたのが解決した話

pixivにメールアドレスを「使用できません」と弾かれていた MXレコードを設定していないせいだった 規格では設定しなくて良いらしい 独自のバリデーションには気をつけよう 背景 私はメールサーバを独自に運用している.そのメールアドレスがpixivで使えないトラブルがあった.どうでもいいやと放置していたけれど,丁度pixivのidが変更出来るようになった.その機会にtwitterで愚

Google カスタム検索を導入して,その進化に驚いた

Google カスタム検索を導入した 今のカスタム検索は進化していてwebサイトに統合できる 背景 ブログ記事からタグデータを削除した,そもそもブログにタグは不要 - ncaqに書いてあるように,このサイトにタグだのカテゴリだのの区分けはない.要するに,テキストが主体のサイトなのだから,全文検索すればいいだろと考えている. しかしgoogleの検索クエリにsite:www.ncaq

linux上のfirefoxでNoto Color Emojiを使う

Linuxでもカラー絵文字は普通に表示できる さまざまなフォントが利用できる Noto Color Emojiを使うときはビットマップを取り除かないようにする 追記 firefox 53からNoto Color Emojiを使うとサイズが異常に巨大化するようになりました.今の最新版のfirefoxでは組み込みの絵文字が利用できます.指定するのはやめておきましょう. 背景 Fre

PageSpeed Insightsに従ってサイトを最適化してみた

PageSpeed Insightsという,googleが提供する,webサイトのパフォーマンスを測定して,速度上昇の提案をしてくれるツールがある. 今回はそれに従って,パフォーマンスの向上を目指してみた. まあ,元々そんなに重いwebサイトではないのであまり最適化する必要はないのだが(早すぎる最適化),webの学習の一環として最適化を試みることにする. 改善前 スクロールせずに見

デジゲー博に行ってきました

デジゲー博 | 同人&インディーゲームオンリー展示・即売会に行ってきました. tweet [悲報]デジゲー博の開始時刻を10時だと間違える — エヌユル (@ncaq) 2016年11月13日 デジゲー博で展示してたからやってみたけど合理的で面白かった / “#rogue-hex” https://t.co/jFIFHtqR2r — エヌユル (@ncaq) 2016年1

強力なフィルタリングであるThe Spamhaus Project - ZENをpostfixで使って,スパムメールを拒否する

dovecotとspamassassinと限界を感じるGoogleAppsを契約してクラウドの民になろうか…面白みは全くないが、実用を考えると仕方がないんだよね — エヌユル (@ncaq) 2016年6月7日 @ncaq spamassassinの限界どこらへんです? — 武藤スナイパーカスタム🔫🕵🏻 (@__tai2__) 2016年6月7日 .@__tai2__

gulpもgruntも使わずにbootstrap4をカスタムビルド

bootstrapのカスタマイズのメリット bootstrap4はsassで作られているので,変数を設定することでフォントを変えたり,デフォルトの文字色を変えることが出来る. 他のcssを用意して上書きするのに比べて,この方法には以下のメリットがある. cssファイルが1つにまとまる ルールが1つになるため,どのルールが優先されるか気にする必要が無くなる デザインに統一感が生まれやす

xmonadでgimpを普通に動かす

xmonadの初期設定でgimpを使い,ウインドウを開くと荒ぶり操作が不可能になる. これを解決するにはmanageHookを以下のようにカスタマイズする. myManageHook :: ManageHook myManageHook = composeAll [ isDialog --> doFloat ]

gnome-shellを使うのをやめた

1年前ぐらいからxmonadからgnome-shellに移行して,気に入って使っていた. しかしディスプレイマネージャでxmonadを起動 - ncaqでわかるように,私はxmonadに戻って,gnome-shellを使うのをやめた. 使うのをやめる機会に,gnome-shellについてレビューする. gnome-shellの良い点 gnome-shellは言われているほど悪くない

ブログ記事からタグデータを削除した,そもそもブログにタグは不要

このブログでは,今までタグデータをyamlに書いていて,そのうちhakyllのタグクラウド機能でタグ検索を出来るようにする予定だった. しかし,それはやめて,記事データからタグデータを全て削除した. 理由は以下. タグを書くのが面倒くさい 記事からどのタグを抽出するか タグの表記ゆれの対処 新しいタグの追加 これらは私が楽しくやれる作業ではない. 他の人のブログでタグ機能を使っ

ディスプレイマネージャでxmonadを起動

デスクトップPCなどでは.zloginにexec startxを書いて自動でXが起動するようにしても良いが,ラップトップPCでは流石にロック機能などが欲しいので,lightdmなどのディスプレイマネージャ(ログインマネージャ)を使いたい. セットアップに少し詰まったのでメモ. 新しいセッション設定を書く必要はない /usr/share/xsessions/に新しいセッションを追加するの

XPS 13 9360(2016年発売)にgentooをインストール

パーティションの切り分け 本の虫: LenovoのWindows 10 Signature Edition PCにLinuxのインストールを妨害する機能が発覚 みたいな話があったので少し不安に思っていたが,案の定そのままだとSystemRescueCdではSSDを認識できないことが発覚した. しかし,DellはLenovoとは違い,RAIDモードをちゃんと無効化出来るようにUEFIを設

XPS 13 9360(2016年発売)を購入した

到着したので書く. 購入理由 これまで使っていたXPS 13 L322X(2013年発売)にあまり不満はなかったが, ファンがぶっ壊れたのか,少し負荷をかけると異音を放ち,静かな場所だとかなり気まずい CPUをケチってCore-i5でオーダーしたため,ビルドが遅い 新しいPCは全体的に昔のより軽いと聞いて魅力的に感じた ため新しいPCを探した. USキーボードのものを発注できて軽く

lightdmに引っ越したら,nvidiaドライバがkernel panicを引き起こす原因がgdmだったことがわかった話

問題 数年前から,PCを起動するとたまにnvidiaドライバが発狂して,linuxがkernel panicを引き起こして電源を落とすしかない状況になることがあった. NVidia/nvidia-drivers - Gentoo Wikiやnvidiaのフォーラムを見ても,似たようなログを出してpanicになる現象はあったが,その解決方法を試してみても,全く改善しなかった. しかし,全

highlight.jsを全ての言語に対応させる

このブログのシンタックスハイライトにはhighlight.jsを使っている. 膨大な言語に対応し,また多くのスタイルに対応しながらも軽量なフレームワークである. このライブラリをセットアップするときに多少ハマったので,問題点と手順をメモしておこうと思う. 最終的な方法だけ知りたい人はbrowserifyの項まで飛ばして良い. CDNは少数の言語にしか対応していない おそらく大半の人は,

edコマンド世界ではwqは1文字?

謎 ちょっとedを実装してたら謎を見つけました GNU ‘ed’ Manualより引用. All ed commands are single characters 全てのedのコマンドは1文字です (1,$)wq fileWrites the addressed lines to file, and then executes a ‘q’ command. (1,$)w

ブログを作りました

ブログを作る理由 月並みな話だが,アウトプットをしないと成長が鈍るからである 数カ月前の記憶を消失することがよくあるのでメモを取っておきたい 思考を文章化することによりストレスが減少するかもしれない 自分にとって価値のないと思う情報でも,他の人にとってはそうではないこともある なぜqiitaではダメなのか qiitaはきわめて便利なサイトであるし,私も記事を投稿したことはあるし,