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があるのでこれを使います. ``` {.sourceCode .hs} (port, foundation, app) と言った感じでYesodアプリケーションををghciで
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
awsパッケージは出来る子でした,大容量のファイルのS3へのアップロードが出来なくなりました,yesodにpull requestを出しました
バケット名にドットを付けていたのが全て悪かった,AWSパッケージは出来る子でした AWSのS3にhaskellでアクセスするのに苦戦してます,flycheck-stackはもう不要になってました,optparse-applicativeがいい感じ - ncaqに書きましたが,aws :: Stackage Serverで上手くpre signed urlを生成できなかったので
optparse-applicativeはいい感じでした,Data.ByteString.readFileは/dev/stdinを読み込めない,GitPythonを使いました,python好きになれない
だるすぎる だるすぎてやるべきことがあるのに,ずっと世界樹の迷宮IV 伝承の巨神をやっていました.最近これを再開して,ちょっと前にクリアしました. - ソードマン/ルーンマスター - ナイトシーカー/ミスティック - メディック/ダンサー - スナイパー/ミスティック - ルーンマスター/メディック の構成でやっています. それで第六迷宮に潜っていた
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つあって,片方はそのままredire
emacsの自動補完をauto-completeからcompany-modeに移行しようとしましたがやめました
新しい言語の補完が大概company-modeにしか対応していないため,company-modeに移行しようとしましたがやめました. 設定ファイルは以下のような感じでした. ``` {.el} ;; -*- lexical-binding: t -*- (require 'company) (require 'company-quickhelp) (global-company-
dic-nico-intersection-pixivをpixivのサイトマップを使って生成するように変更しました
ncaq/dic-nico-intersection-pixiv: ニコニコ大百科とピクシブ百科事典の積集合の辞書 東方天空璋が発売されたので,IME辞書を再生成しようと思いました. 軽量なネット用語辞書が欲しかったので,ニコニコ大百科とピクシブ百科事典の積集合の辞書を作りました - ncaqにも書いている通り,最後にサイトマップが存在することを指摘されました. なので,そのように
大学院の入試に行って,教員に苦笑いされてきました
リクエストがあったので書きます.明日の面接の内容、日記にしてくれますか？ | ask.fm/ncaq_ask 面接 今日面接がありました. 内容は以下の通りでした. そのままの内容ではありません. 面接は教員数人に学生1人というスタイルでした. 大学院を志望する動機は? コンピュータサイエンスをもっと学びたいと思ったのですが,私の所属する専修大学には情報系の
twitterでブロックしたアカウントを全てブロック解除するやりかた
私はtwitterでは適当にブロックを行って定期的にブロック全解除を行っていました. そのためにunblock.ioというまさにブロック全解除を行うためのwebサービス(個別のアカウントは解除しないなどのブラックリスト機能付き)を使っていましたが,サイトが閉鎖してしまいました. なので,同じ機能を持つwebサービスをelmの学習ついでに自分で作ろうとしていましたが,自分が使うだけなら
論理式処理系を途中まで書きました
今日,院試の勉強をしていて,あまりにも何もかもがわからなくて,何故か論理式処理系を書いていました. 途中でよく考えたらCNFが元の真理値と等しいかQuickCheckで検証をする用途にパーサーを書く必要は無いと気が付きました. 中途半端なものですが,これ以上書き足す予定が無いので公開します. 未来にparsecの参考になるかもしれない. 以下のように使えます. ``` {.
｢明利酒類 梅香 百年梅酒｣と｢『俺の妹がこんなに可愛いわけがない』とやり直す中学英語｣をプレゼントしてもらいました
こんな大きなもの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: F
yesodアプリのketerへの切り替えを試しましたが,icuライブラリのバージョンが一致せず,静的リンクもできなかったので,切り替えができませんでした
問題解決を目指したログですが,問題は解決できませんでした. KETERへの切り替えを試してみる 自作のyesodアプリケーションが度々落ちる状況にあり,これがとてもストレスになり,死にたい. haskell - Applications written by Yesod sometimes stop responding - Stack Overflow 試しにngin
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に足してやります. ``` {.sourceCode .js} const element = doc
これからのHaskellプロジェクトではcabalではなくpackage.yaml(hpack)を使いましょう
sol/hpack: hpack: An alternative format for Haskell packages HPACKとは hpackとは,cabalファイルを生成してくれるツールです. package.yamlファイルからcabalファイルを生成します. JavaScriptに対するAltJSのようなものです. 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プログラムがファイルを投稿すると,メモリ
入院を目標にTOEICのスコアを265から500に上げたいと思います
入院を目標にする あまりのTOEICの点数の悪さと,就職活動による欝就職活動で鬱病が悪化した - ncaqで大学院進学を一度は諦めましたが,躁転してなんかいけそうな気がしてきました. 躁転したまま入院したいと思います. 少なくとも修士は生涯年収的に採算が取れるはず 統計上修士は取ってる人のほうが生涯年収が高くなるそうです. まあ,元々の家庭環境の違いが関
一体型PCであるiMac Proは本当にコスパが悪いのか?似た自作マシンで試算して検証してみた
IMAC PROはコスパが悪いか? iMac Pro - Apple（日本）が発表されましたね. 私はGentoo GNU/Linuxユーザで,ラップトップはDellを使用して,デスクトップは組み立てる人です.MacはGNU/Linux向けのドライバが中々提供されないため基本的に使いません. しかし,学校などのコミュニティでMacユーザの手助けなどをしなければいけないため
Nexus 6P(angler)にLineageOSをインストール
Pixelを買おうと思ってましたが,日本で発売されずに難民になっていました. 私の使っていたNexus 5は酷使されているため,バッテリーのヘタレ具合が酷く,ケーブル端子がバカになっていて接続が頻繁に切れ,メインメモリも足りないという状態で,不満だらけでした. そこでフォロワーさんがNexus 6Pを売ってくれる(大きすぎたらしい)という話があったので,これを機会に数年遅れで乗り換え
南山まさかず(minamiyama1994)の話
要約と注意 この文章の主張内容の要約は - わからないことがわからないままでつらい - 友人の死を納得して受け入れられなかった - 自殺者が居なかったことにされるのはつらい - 自殺はやめてくれ ということです. 誰かを誹謗中傷したり,私がわからないことを邪推することを目的とするものではありません. 私は何もわかっていません. 南山まさか
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 ; U
ギークハウスZEROで人生へのアドバイスを受けてきました,面接を公開するのはやめよう
ドワンゴ1次面接に行ってきました,面接内容を書き起こして,反省も書きます - ncaq 普通の人間はリアルの会話というのは非公開だと思っているので,それを公開すると不快に思います.だから,面接を公開すると普通の人というものは不愉快に思うようです. 私は小学校にも中学校にも馴染めず,ずっとTwitterにハマっていたので,会話は公開情報という誤った認識を持っていました. 損害を与える
ドワンゴの選考に2次面接で落ちました,そろそろ就活を終わりにしたいです
ドワンゴ1次面接に行ってきました,面接内容を書き起こして,反省も書きます - ncaq ドワンゴの選考に2次面接で落ちました. 面接内容を口外しないことは誓ったのでそれ以外に言うことはありません. 以下は愚痴.読む価値はいつにも増してないです. 就活疲れた,そろそろ終わりにしたい 私は根がネガティブで普通に会話しててもナチュラルに｢死にたい｣とか｢つらい｣とか｢私は何
エゴサーチのススメ
最近web上でボコボコに批判されることが多いのでエゴサーチにハマりました. GOOGLE アラート Google アラート - ウェブ上の面白い新着コンテンツをチェックに自分の名前を複数登録します. 私の場合は - Haaaa_N - ncaq - エヌユル - 実名 ですね,me on the webなんて欄があるあたりエゴサーチ推奨です. これで
私は自己肯定感が殆どなく,それは致命的なことですが,社会に希望は持っているのかもしれない
私は - 自己肯定感がない - 自尊心がない - 自分に自信がない 自己肯定感が無いことが就職活動で一番困難 私は自己肯定感が殆ど無い.私の私へつける評価は｢東芝の経営陣よりはマシ｣というぐらい. 本当は自分に問題があることなど,とっくに分かっています.それを鬱病状態のまま考えると,自殺したくなるから,防衛機制として攻撃に走っているだけです. だって,私が
ドワンゴ1次面接に行ってきました,面接内容を書き起こして,反省も書きます
一応録音していた面接内容を書き起こし,していますが,かなりいい加減です.相槌などは混ぜるのが難しく,仕方ないので削除しています. 自分の発言文章がぐちゃぐちゃなのは,なるべくそのまま書き起こしを行っているからです.読みづらいでしょうが,ご了承ください. また,音質が悪いため,かなり聞き取れない部分があるので,そこにはunclearをつけています.伏せたいところもunclear. 録
perl6の速度が現在どれぐらいなのか気になったのでマイクロベンチマークを取ってみました
perl6はまだまだ開発途上です.この記事はすぐに古くなるでしょう. 動機 googleがpython2からpython3に移行せずにpython2だけ対応したライブラリをリリースしやがる. Google「新しいDeepNet系のライブラリ出したで https://t.co/kEsEvS4kLy」 俺「どうせまたPython2系のみ対応とかやろ？ｗ」 俺「…マ
エビリファイを投与された結果アカシジアによって静座不能になり地獄に居ました
エビリファイを飲んで,ちょっとでも変なことが起きたらすぐに病院に相談しなおしましょう.まず電話でも良いです. ちょっと前に起きたことを思い出しながら書いているので,いくつか間違いが存在するかもしれませんが,御容赦願います.自分のtwitterを見返せば日時がわかることに気がつきました,天才かな. 3月28日 心療内科に行って｢最近死にたい死にたい言ってベッドで泣き叫んでい
Rustは実行時オーバーヘッドを生じさせないという意味でやっと出てきたC++の後継言語です
RustをOCamlなどの仲間だと勘違いしている人は居るでしょうか.私がそうでした.しかしRustはC++の後継言語です. C++は言語レベルのGCを持ちません.つまり実行時オーバーヘッドはプログラマが選択しない限り発生しません. C++の問題点 C++の有名な問題点は,ポインタの寿命が把握できないことです. ``` {.sourceCode .cpp} #incl
死にたいほど痛い肩こりが帯状疱疹(ヘルペス)でした
帯状疱疹とは水痘ウイルスが体内で暴れ出して猛烈な痛みを伴う病気です. 知覚神経の走行に一致して、皮疹出現の数日前から違和感や疼痛が出現することが多い（皮疹と同時、或いは出現後の事もある）。その後一般に帯状に紅色丘疹・浮腫性紅斑・紅暈を伴う小水疱が列序性に出現し、疼痛やそう痒感を伴う。[5]。神経痛・神経障害のみで皮疹が出ないという病態(zoster sine herpete
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 fr
stackageにアプリケーションをアップロードしました
だいぶ前に作った haskell-import-graph :: Stackage Server haskellのimportのグラフ関係をgraphvizで出力する uniq-deep :: Stackage Server unixのuniqコマンドは隣り合ってない重複行を削除してくれないので削除する というアプリケーションをstackageにアップロードしました
jcomの 回線遅く 不満持ち サポートに連絡したら改善 したけどやはり遅くて不満
半年前ぐらいにマンションの回線がucomからjcomに切り替わりました.どうも価格が安いということで決定されたらしいです.マンションの管理側で決定されたことで,議決権を持たないしがない子供の私に反論を差し込む余地はありませんでした… JCOM回線が遅い 別にIPアドレスなどに対してこだわりはないので,品質が同じなら構いはしないのですが,その肝心の品質がひどい. - m
尊敬するプログラマと口実を羅列する
1年半ほど前に,大学の先輩に｢尊敬するプログラマって誰か居る?｣的なことを聞かれたことがありました.その時は｢私はソフトウェアの凄さには興味はあるけれど,誰が作ったかなんてあまり興味はないし,今使ってるソフトウェアは大抵複数人の共同作業で作られているので,特定の誰かを上げるのは難しいですね｣と答えました.今でもこの考えはあまり変わってないですが,この答えってすごくアスペルガーっぽいですし
bootstrap-v4.0.0-alpha.6のリリースノートハイライトの日本語訳
Release v4.0.0-alpha.6 · twbs/bootstrapの日本語訳です.bootstrap-flex.scssが消滅してビルドできなくなって30分悩んだので初翻訳です.google翻訳を頼っています.超意訳.我英語力皆無. 翻訳 あけましておめでとうございます!これはBootstrap 4の最終的なアルファです. 詳細 - v4 Alph
2015年06月の,TypeScriptで世界各国の人口を表すインフォグラフィックスを作成するレポートを見直して自己評価
背景 2015年06月の,簡単なアドレス帳のレポートを見直して,web技術と自分のwebに対する姿勢の変化を観察する - ncaqの続きです. オブジェクト指向技術の第2回レポートでは世界各国の人口を表すインフォグラフィックスを作成するという課題が出ました. おそらく私以外全員の受講生はネイティブのJavaScriptを使っていたのですが,その時期は私はAltJSにハマっ
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 | めがねをかけるんだ タッチパッドがクソ:タッチパッドがボタンと一体になっているため、
専修大学のhttpによる認証を必要とする腐ったwifiに,NetworkManagerのdispatcherを使って自動ログインする
2017年度より,専修大学のwifiにもWPAエンタープライズ認証が導入されました.よってこの記事は早くも腐りました. 背景 2014年に専修大学に入学して,困ったことが1つありました. それは,専修大学の学内wifiSENSHUWLはまるで空港のような形でwifiの認証を行うということです. 1. http通信に中間者攻撃をしてhttps://wcgw.senshu
項書換えシステム記述言語maude
背景 大学の_分散情報システム_という講義で,maudeという項書換えシステムを使うことになったので,コードを書きました.コードを書いたので,せっかくなのでgistにuploadしました.gistにuploadしたので,せっかくなのでここで解説したいと思います. 途中から大学に提出したレポートの写しになっているので,なんだかちぐはぐです.注意してください. M
iijmioの契約を家族のファミリーシェアプランにまとめました
背景 これまでiijmioとは自分と父親が2人分ミニマムスタートプランで契約していました. ファミリーシェアプランを2人で使ったほうがお得なのに,何故ミニマムスタートプランを2つ契約していたのか?それは｢自分がファミリーシェアプランへ変更して親の分のSIMを追加しよ!｣と思っていたけれど,契約の変更は月末にならないとできないことを知らなかったので,仕方なく新規追加になってい
unixコマンドの使用頻度を計測する
背景 2015年08月に書きました. 大学で｢unixコマンドの自分用のマニュアルを書け｣という正直言って謎な課題が出たためです.そのためにまず自分の使っているコマンドを計測するために.zsh_historyの内容を解析することにしました.最初は当初学んでいたerlangで解析しようとしましたが,文字列操作がわけわかめで疲れてやめました. ソースコード 純
haskellによるLZ78の実装
背景 2015年07月の大学の講義｢情報理論｣で｢Ziv Lempel符号について調べて解説せよ｣という課題が出ました. 情報理論という名前の講義ですが,プログラミングは直接は関係していない,数学寄りの講義でした.しかし私はプログラミングで理解したほうが楽なため,LZ78 - Wikipediaによるデータ圧縮プログラムを実装してみることにしました. なぜLZ78なのか.
c++によるbrainfuckの実装
背景 2015年05月に書きました. 課題の提出結果をbrainfuckで書いたら先生混乱するかなあと思って,まず同梱するための処理系を書こうと思いました. 私にとっては初めての言語処理系記述でした. ソースコード 今見返した感想 初めてにしてはそこそこうまく出来ているのではないでしょうか. メモリは巨大なテープという安直なイメージから
c++によるマージソートの自前実装
背景 2014年11月にc++で安定ソートを実装しました. 学校の課題で何らかの成績の順位付けをする必要がありました.秒数が同じ時はインデックスが小さいほうが順位が高いという指定があったため安定ソートを使う必要がありました.別に課題の指定では自前でソート関数を実装する必要はありませんでしたが,constexpr対応させたかったのでマージソートを自前で実装しました.本当に対応
haskellによるquine
- haskellによるquine - クワインを書くコツ 背景 2014年4月に書きました. 当時クワイン (プログラミング) - Wikipediaを知って,ちょうど暇だった. 一応wikipediaのサンプルコードは読まずに書きました. ソースコード main :: IO ()はなくても良いので,これをなくせば1行になります.
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++に変換して実行するプログラムを書きました. 参考 この記事はWhit
webアイコンに絵文字を使おう
- 絵文字 / Emoji Advent Calendar 2016 - Qiitaの12日目の記事です - webアイコンに絵文字を使おう 従来のWEBにおけるアイコンの表現方法 当初は素直に画像をアイコンとして配置する方法が使われていました. しかし,http/1環境では大量のファイルを配信すると非常にページが重くなるので,様々な方法が使われるようになりました
yesodで全てのモデルにcreatedAt,updatedAtを作りたかった話
- Yesod Advent Calendar 2016 - Qiitaの5日目の記事です - 私のcreatedAt, updatedAtとの戦いの記録 背景 User email Text name Text createdAt UTCTime updatedAt UTCT
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で書かれ
英辞郎は英語学習において害なのだろうか?
- 英辞郎 on the webの使用を禁止されかけた 背景 授業中にスマートフォンを使っていることを注意されたが,PCならOKだった,理由が謎だったので,何故なのか理由を推察してみた - ncaqの続編. 本来前の記事とまとめて1つの記事にするつもりだった.しかし意外と長くなったし本題が違うので分割する. 誰かを批判することを目的とするものではない.
授業中にスマートフォンを使っていることを注意されたが,PCならOKだった,理由が謎だったので,何故なのか理由を推察してみた
- 授業中の授業のためのスマートフォンの使用を注意された - 何故かPCならOKだった - 謎なので理由を推察してみた 背景 この文書は人間の思考と社会観念を奇妙に感じて,私の思考と社会のズレに対して多少のおもしろおかしさを感じて書いている. 私は現在この事件に大して全く不満は持っていない.損をしていないからだ.奇妙さを感じているだけである. 誰かを批判する
2016年02月に単純なLispを実装した
- 2016年02月に単純なLispを実装した - 面白みはない 背景 48時間でSchemeを書こう - Wikibooksを見たら案外簡単そうだと思って手を動かしてみたようだ. 継続とレキシカルスコープの実装が難しく,やらねばならない課題などがあった(これは課題でも何でもない)ので,これ以上実装は進められなかった. かと言って教材をそのまま丸コピペするのも面
MathJaxはCommonHTML出力で使うべきである
- MathJaxはそんなに遅くない - MathJaxのCommonHTML出力は速い - 基本的にSVG出力よりも良い 背景 このサイトに数式表示を導入したかった. MathJaxの存在は数年前から知っていたが,数年前から知識をアップデートしていなかったため,｢MathJaxは遅い｣という認識だった. そこで\(KaTeX\)を使おうと考えていたが,調べ
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 fo
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 O
google driveをlinuxで利用した話
- dropboxからgoogle driveに移行した - grive2がdaemon機能をもたないのでやっつけスクリプトを書いた 背景 google photosが便利そうなのでdropboxに写真アップロードする方法から移行したかった.ついでにファイル同期機能もgoogle driveに移行してdropboxを使うのをやめた. GRIVE2
stack buildがout of memoryした時の対処法
Home - The Haskell Tool Stackでstack buildやstack installしたとき,out of memoryでプログラムがビルドできないことがある. 他の人のPCやTravis CIで起きた.その対処法を書いていこう. –JOBSオプションを使う ``` {.sourceCode .sh} stack --jobs 1 build
pixivにメールアドレスを｢使用できません｣と弾かれていたのが解決した話
- pixivにメールアドレスを｢使用できません｣と弾かれていた - MXレコードを設定していないせいだった - 規格では設定しなくて良いらしい - 独自のバリデーションには気をつけよう 背景 私はメールサーバを独自に運用している.そのメールアドレスがpixivで使えないトラブルがあった.どうでもいいやと放置していたけれど,丁度pixivのidが変更出来るよ
Google カスタム検索を導入して,その進化に驚いた
- Google カスタム検索を導入した - 今のカスタム検索は進化していてwebサイトに統合できる 背景 ブログ記事からタグデータを削除した,そもそもブログにタグは不要 - ncaqに書いてあるように,このサイトにタグだのカテゴリだのの区分けはない.要するに,テキストが主体のサイトなのだから,全文検索すればいいだろと考えている. しかしgoogleの検索クエリに
linux上のfirefoxでNoto Color Emojiを使う
- Linuxでもカラー絵文字は普通に表示できる - さまざまなフォントが利用できる - Noto Color Emojiを使うときはビットマップを取り除かないようにする 追記 firefox 53からNoto Color Emojiを使うとサイズが異常に巨大化するようになりました.今の最新版のfirefoxでは組み込みの絵文字が利用できます.指定するのはやめて
PageSpeed Insightsに従ってサイトを最適化してみた
PageSpeed Insightsという,googleが提供する,webサイトのパフォーマンスを測定して,速度上昇の提案をしてくれるツールがある. 今回はそれに従って,パフォーマンスの向上を目指してみた. まあ,元々そんなに重いwebサイトではないのであまり最適化する必要はないのだが(早すぎる最適化),webの学習の一環として最適化を試みることにする. [改善前] 改善前
デジゲー博に行ってきました
デジゲー博 | 同人＆インディーゲームオンリー展示・即売会に行ってきました. TWEET [悲報]デジゲー博の開始時刻を10時だと間違える — エヌユル (@ncaq) 2016年11月13日 デジゲー博で展示してたからやってみたけど合理的で面白かった / “#rogue-hex” https://t.co/jFIFHtqR2r — エヌユル (@
強力なフィルタリングであるThe Spamhaus Project - ZENをpostfixで使って,スパムメールを拒否する
dovecotとspamassassinと限界を感じる GoogleAppsを契約してクラウドの民になろうか… 面白みは全くないが、実用を考えると仕方がないんだよね — エヌユル (@ncaq) 2016年6月7日 @ncaq spamassassinの限界どこらへんです? — 武藤スナイパーカスタム🔫🕵🏻 (@__tai2__) 2016年6月7日
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モードをちゃんと無効化出来るよう
XPS 13 9360(2016年発売)を購入した
到着したので書く. 購入理由 これまで使っていたXPS 13 L322X(2013年発売)にあまり不満はなかったが, - ファンがぶっ壊れたのか,少し負荷をかけると異音を放ち,静かな場所だとかなり気まずい - CPUをケチってCore-i5でオーダーしたため,ビルドが遅い - 新しいPCは全体的に昔のより軽いと聞いて魅力的に感じた ため新しいPCを探した.
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’ comma
ブログを作りました
ブログを作る理由 - 月並みな話だが,アウトプットをしないと成長が鈍るからである - 数カ月前の記憶を消失することがよくあるのでメモを取っておきたい - 思考を文章化することによりストレスが減少するかもしれない - 自分にとって価値のないと思う情報でも,他の人にとってはそうではないこともある なぜqiitaではダメなのか qiitaはきわめて便利なサ
