webpack, Electron環境で__dirnameをfalseにするとDevtronが動かなくなり__dirnameをtrueにするとプロダクションでパスが参照できない問題を解決しました

Devtronという開発ツールがあります.ElectronのIPC通信を見てくれるやつです.優れものです. しかし困ったことがあって,Devtronはwebpackの設定を__dirname: trueにしないとディレクトリを正しく読み込みません. かと言って__dirname: trueにすれば良いのかというとそうではなく.__dirname: trueにすると,__dirnameがソ
gtagsでctagsとpygmentsを有効にしてJSXのタグを生成する

放置していましたがいい加減gtagsの設定を整えることにしました. 参考: GNU GLOBALの対応言語を大幅に増やすPygmentsパーサーを導入する - Qiita ctagsをpygmentsをオプション無しで有効にする ctagsとpygmentsを有効にしている環境で,/etc/gtags.confを, default:\ :tc=gtags:tc=universal-c
Immutable.js 4.0.0-rc.9はFlowでもTypeScriptでもgetとsetの文字列を検査してエラーを出します

Immutable.jsのRecordについて情報を察知しました. class extendでRecordを継承して独自の型を作るやつです. 生JavaScript版,型安全も何もない. const { Record } = require("immutable"); class Person extends Record({ name: "",
JavaScript標準関数Math.maxで配列の最大値を取得する方法とその罠

JavaScript標準関数にはC++のmax_elementのような｢配列の最大値を返す｣関数は存在しません(しないよね?). よってMath.max()を使います. Math.maxは与えられた引数から最大の数を返すので,配列を引数に分解してやれば良いわけです. つまり > Math.max(...[]) -Infinity > Math.max(...[], -1) -
Emacsの標準バックアップ機能で初回保存時に限らず常にバックアップするようにする

Emacsには標準でファイルバックアップ機能があります. (custom-set-variables '(backup-directory-alist `(("" . ,(concat user-emacs-directory "file-backup/")))) '(delete-old-versions t)
Zenbackを削除してGoogle AdSenceの関連コンテンツを追加しました

これまで関連記事の表示のためにZenbackを使ってきました.しかし,Google AdSenceの関連コンテンツの表示に乗り換えることにしました. Zenbackの広告表示領域がそこそこ大きく,内容も固定 精度があまり良くない ためでした. Google AdSenceの関連コンテンツはサムネイルを自動抽出してくれるのも良いですね.記事に画像が貼り付けられてないと何故かフッターのS
HaskellのOverloadedStringsでByteStringを作るとマルチバイトを切り捨てる罠があります

ずっと前に知っていたのですが,頻繁に忘却するので記事にすることにしました. {-# LANGUAGE OverloadedStrings #-} import qualified Data.ByteString.UTF8 as U main :: IO () main = do putStrLn $ U.toString "あ"
git pullした時に削除済みのリモートブランチとマージ済みのローカルブランチを自動削除する

GitHub Flowのように細かく機能別にブランチを分けてpull requestを作っていく形式だとブランチのゴミが鬱陶しくて仕方が無くなります. Gitにはgit fetch --pruneというオプションがあり,これでリモートブランチは削除を検知して消してくれます.しかしローカルブランチはそのままです. なんでそのままなのかわからないのですが,とりあえず削除するのがいい加減面倒に
日報をgit logから自動抽出してクリップボードにコピーする

私が今働いている会社は勤務時間を入力する際に｢今日何をやったか｣を入力する欄があります. 一々手でコピーしていたのですが面倒になってきました. なのでgit logから抽出してクリップボードにコピーするシェルスクリプトを書きました. alias git-daily='git log --all --format="%h %ai %s" --since=$(da
Gitでファイルを追加するだけの時に雑なメッセージを生成してコミットする

私は~/Documents/をGitで管理しています.Google Driveも使用していますが,基本的にデータはGitで管理して自宅サーバのプライベートGitリポジトリにpushしてpullして同期しています. 一度Dropboxの同期ミスでロールバックが発生して以来,ずっとこうしています. pushしてpullするのは少し面倒くさいですが,常にプログラムを待受させなくて済みますし,基
Semantic UIでツールチップを要素へのマウスホバーで表示するにはdata-tooltip属性を使う

Semantic UIにはPopup | Semantic UIというものがありますが,これはマウスホバーでツールチップを出すための専用の要素を作る使いにくいものです. ボタンなどに注釈としてツールチップを追加したいですよね.しかしHTMLネイティブのものは見辛いから使いたくない.せっかくSemantic UIを使っているのですから. 調べてみたらGitHubのissueが出てきました.
JavaScript(EcmaScript)では引数の評価順序は左から右と定められている

JavaScriptで引数が左から右に評価されること前提のコードを書いていました.そこでCやOCamlでは引数の評価順序が定められていないことを思い出しました. Big Sky :: gcc は副作用のある関数呼び出しを含む式評価順序を最適化する。 日本語で文献が無かったので検索に苦労しましたが,Stack Overflowの質問を見つけ出しました. What is the order
nginxで404ページをリダイレクトさせずに表示する

このサイトの404がnginxのデフォルトのままで流石にあんまりにもあんまりでした.日本語で説明を表示してトップページへのリンクぐらい残しておこうと思いました. nginxで404ページをカスタムする方法は簡単で, error_page 404 /404/index.html; と書けばそこのファイルを参照してくれます. しかしこのデフォルト設定には1つ問題があって,404エラー時に40
helm-ls-gitをhelm-for-filesで一緒に表示する

helm-ls-gitという現在いるgitの管理ファイルを表示するhelmコマンドがあります. これを私はhelm-for-filesで表示した時に一緒に表示させてrecentfなどと一緒に一括検索させていました. それを実現するためにはhelm-for-files-preferred-listにソースを追加すれば良いのですが,helm-ls-gitのソースはデフォルトではnilであり,
company-modeでタブキーで複数の補完候補がある時は候補をスクロールして補完候補が1つの時は補完を決定する

emacsの補完用パッケージcompany-mode - Qiitaに実現できそうな関数が載っていましたが.パッケージ化されていないコードをあまり取り込みたくなかったので敬遠しました. 調べてみると標準でcompany-complete-common-or-cycleという関数があってこれが思った通りの動作をしてくれました. 以下のように書けば完璧です. (define-key comp
company-modeでタブキーに補完もインデントも割り当てる

auto-completeには(ac-set-trigger-key "<tab>")という関数があります.これを実行すると普段はタブキーをインデントに使い,補完出来るときのみ補完することが可能になります. company-modeにはそのような関数はなかったため,補完をワンキーでサクッと実行したい私は困ることになりました. 探ってみるとcompany-i
SpamAssassinの学習フィルタを重視する

私のメールサーバの~/.spamassassin/user_prefsにはadd_header all Report _REPORT_と書かれていて全てのメールにスパムチェックレポートが追加されるようになっています. スパムが判定されなかったり逆に誤検知が起きた時に原因を知るためです. これを日々見ていると,どうも学習フィルタをあまり信用していないのが原因だとわかってきました. 例えばと
webpack, babel, node環境で例外時のスタックトレースに元ソースの場所を表示させる

問題 nodeに読み込ませるソースをwebpackとbabelでコンパイルするようにすると,エラー時のスタックトレースがat Object.eval (webpack-internal:///76:29:7)のような意味不明なものになってしまいます. これはソースマップを有効にしていても起きてしまいます. webpackのissueにも既にこの問題は報告されていましたが. Source
遅まきながらEmacsのHaskell開発環境をInteroに移行しました

InteroというHaskellのEmacs向け開発環境があります. Intero for Emacs commercialhaskell/intero: Complete interactive development program for Haskell 私はhaskell-modeとFlycheckを既にうまく強調させて動かしていたため.これを使う必要はないかと思って移行して
M570がチャタリングを起こすようになったのでMX ERGOを購入して満足しました

2014-10-21にM570トラックボール(正確にはM570t)を購入しました. 概ね満足していたのですが,ここ最近チャタリングを起こすようになってしまいました.もう数年使ってたから仕方ないですね. 普段あまりドラッグ動作はしないので,チャタリングを起こしてもスクリーンショットを選択して取得する時に,誤動作が起きてイラッと来るぐらいだったのですが.とあるものを購入してからチャタリン
webpack 4でJavaScriptソースをビルドすると__dirnameが/になってしまう問題の解決法がわからない

やっていた作業 今書いているElectronアプリはmainプロセス側はBabelもTypeScriptもFlowも使っていない生JSで書かれていました. 生JSというのも問題ですが,rendererプロセス側ではBabelを使っていたので,mainプロセスとrendererプロセスでコードを共有できず,同じコードがコピペして増えるという悪夢が発生していました. 私はこれを解決すべく,
Emacsのレジスタ機能を使って隔離された疑似クリップボード空間を手に入れました

Emacsのkill-region(カット)(デフォルトではC-wに割り当てられる)はクリップボードに文字列を追加します.いやカットがクリップボードに文字列を追加するのは当たり前ですね. Emacsはそれに追加してkill-line(行を削除する)コマンドやkill-word(単語を削除する)などもクリップボードに文字列を追加します. 行や単語をテキストファイルの中で移動させたいことはよ
YesodのShakespearean TemplatesのHamletで埋め込み形式を使うのはやめてwfsHamletSettings = (wfsHamletSettings def){hamletNewlines = NoNewlines}しましょう

YesodのShakespearean Templates :: Yesod Web Framework Book- Version 1.4はのHamletはインデントで閉じタグを表現します. <body> <p>Some paragraph. <ul> <li>Item 1 <li
JavaScriptで渡された配列引数をディープコピーする場合デフォルト引数を適当に使うより引数省略を検知してディープコピーを省略したほうが高速

とあるpull requestで.JavaScriptクラスのコンストラクタで.配列引数にundefinedが渡されていることをtypeof foo === 'undefined'によって検知して.引数が省略されている場合new Arrayして,引数が省略されていなかった場合配列のディープコピーを行っているのを見ました. 私は見た,思った,書いた.｢それデフォルト引数設定すれば良くないで
jest自体の動作確認は--no-cacheオプションを付けて行いましょう

ハマった順序 babel 7にプロジェクトのライブラリをアップデートしたらjestがbabelのビルドでコケるようになりました. 対応コードを色々書いてみて成功したので,本当に必要な記述だけを見極めるために変更を元に戻しました. そして失敗を確認するために再度テストを実行したら何故かテストが成功するようになりました. CircleCIでは失敗するのでそのリビジョンでは既に修正されていた
WebStorm(IntelliJ IDEA)に負けないEmacsのweb開発環境

最近はElectronとReactでアプリを書いています. web開発ならWebStormという風潮があるのでIntelliJ IDEAを使ってみたのですが3日でEmacsに戻ってきました. 周りはみんなIntelliJを使っていて.CTOの方針でVim, Emacs, Atom, VSCodeなどのテキストエディタを初心者に使わせるのはNGで.IDEを使わせるということになっているので
アプリケーションのパスが変更された時にwebpackのfile-loaderがファイルパスの先頭にスラッシュを付けないので下部のディレクトリを見に行って404になってしまう問題の解決法

環境 electron webpack babel-loader url-loader file-loader react-router 問題 importやrequireでurl-loaderのfallbackであるfile-loaderが出力するパスの先頭にはデフォルトではスラッシュが付いていません. よってReact Routerなどを使って下部のディレクトリ/foo/に
ReactにcomponentDidReceivePropsが欲しいと思ったけれど今回は無くても解決しました

React.Componentのライフサイクル関数には 新しいpropsを引数で受け取るcomponentWillReceiveProps 新しいpropsとstateを引数で受け取るcomponentWillUpdate propsとstateが更新された後に呼び出されるcomponentDidUpdate があります. ここでクラス内で複数propsを参照する処理を行っていると,
親が自宅サーバを物理的に落としてくるのでTwitterで死活監視結果を送ってくれるUptime Robotを導入しました

今日の8時頃に母親が自宅サーバを棚から物理的に落とすということが発生しました. それによりこのサイト,メールなどのサービスが1時間ほど全て止まりました.落ちていることはTwitterでフォロワーさんに教えて貰いました.その後父親にSkypeで通話して復旧して貰いました. こういう事件は定期的に起きています. これの対策法は全くわかりません.場所を変えるというのは家の配線の都合上不可能で,
PostgreSQLアンチパターン 自動採番される疑似キーを手動で入力する

SQL全般の話ではなくPostgreSQLの話です. IDリクワイアド Pseudokey Neat-Freak(疑似キー潔癖症) に関連するアンチパターン. 運用の問題なのでアンチパターンではないかもしれません. 問題 id bigint not null default nextval('foo_id_seq'::regclass) のような自動採番される人工キ
Haskellでファイルの変更を監視

別プログラムがファイルにデータの書き出しを行うのを監視する必要があったため. hinotifyというinotify APIのHaskell向けバインディングを使います. 非Linux環境?…何もわからない. import Control.Concurrent import System.INotify main :: IO () main = d
JavaScriptアンチパターン 関連するデータを別の変数に入れる

今日のJavaScriptアンチパターン. class Constant { static get kirby() { return 'kirby'; } static get kirbyColor() { return 'pink'; } static get metaknight(
Re:Haskellで書いてみたらC++の10倍遅かった 5倍程度になりました

10倍は遅すぎませんか? 本の虫: Haskellで書いてみたらC++の１０倍遅かった を読みました. 10倍は差が出過ぎなのではないかと思いました. C++ソースコード まずC++のソースコードが完全なものではないので補完しました. #include <algorithm> #include <array> #include <iostream
現在通信しているポートとプロセス名を確認するコマンド

数年前色々探った結果sudo netstat -aepWが便利だとわかりました. よく使うので,私は以下のエイリアスを設定しています. alias n='sudo netstat -aepW|less' サーバで実行すると以下のようになります.ソケット名は長いので省略.私のnginxにアクセスしているクライアントもリモートホストが開示されているので省略. ctive In
HaskellのGHCによるビルドをLLVMのリンカーLLDで高速化することが出来なかった

リンクが遅い 現在SYAKERAKEをHaskellとYesodで書いています. ゲーム販売webアプリケーションSYAKERAKEを支える技術,HaskellとYesodで作られています - ncaq 開発上常に問題が発生していて,それはビルドに時間がかかるということです. コンパイルが必要になる時はまあ仕方がないです.本質的に時間がかかることに対してはハードウェアの更新で対応するし
ゆうちょ銀行の銀行コードなどを確認する

今回Google アドセンスに支払い方法を追加する時に,Google アドセンスに銀行コードを要求されて困りました. ご丁寧にキャッシュカードの何処に書かれているのか画像が添付されているのですが,ゆうちょ銀行のキャッシュカードにはそれは載っていないようです. どうやるのかググって【Google AdSense】お支払い方法の設定（受取口座の追加）※ゆうちょ銀行にも対応！ | はぴすぷとい
Nintendo SwitchのJoy-Conの破損は保証期間内でも有償修理になるので気をつけましょう

2018-01-25日に,電車の中でJoy-Con(R)の故障に気が付きました. 故障の内容は,Nintendo SwitchのJoy-Conは本来,裏にある取り外すボタンを押しながらでないと本体から取り外せないはずですが,上にスライドさせようとするだけで取り外しされてしまう,というものです. 家に帰ってからJoy-Conグリップに接続して試してみたのですが,やはりボタンを押さなくても取
デュアルブートしている環境でVirtualBoxでホストOSをLinuxとしWindowsをゲストOSとして起動する

忘れると困るので自分用にメモします. 私のXPS 13 9360は買った直後にパーティションを切ってGentoo Linuxをインストールしています. その後Windowsは殆ど起動していなかったのですが,Windows環境を必要とする状況が出てきました. VirtualBoxで専用ディスクを生成しても良いのですが,せっかく別パーティションにWindowsが存在すること,vagrant
spamcがベイジアンフィルタの学習データを認識しない問題はspamassassinコマンドを直接使ったら解決しました

spamassassinの精度が悪すぎることから調査してみたらspamcコマンドだとベイジアンフィルタの学習データを認識しないことがわかりました. spamcというのはspamdと組み合わせて使うspamassassin用のクライアントです. spamassassinを一々立ち上げていると初期化コストがかかるため,これを使えば軽量にスパムチェックが出来ることになっています. 例によって私
GNU/LinuxでのCDのリッピングにはAudexがオススメです

最近CDをリッピングすることも少なくなってきましたが,GNU/LinuxでのCDのリッピングにはAudex - KDE UserBase Wikiがオススメです. audexでリッピングする前のメタ情報認識 5年前ぐらいに知って,ずっとこれを使っています. KDEのソフトウェアですが,もちろんKDE環境でなくても利用できます. おすすめポイントはMusicBrainzとfreedbの
mikutter-3.6.1.ebuildを書こうとしたけれどidn-ruby-0.1.0.ebuildが書けないので正常に動作するものが書けなかった

現在Gentooの公式portageリポジトリのmikutterは3.5.4-r1です.公式で提供しているdelayer-deferredの最新版に対応していないので古いものをインストールする奇妙な状況になっていました. ならばとりあえず私のoverlayにmikutter-3.6.1を追加しようと思いました. mikutter-3.6.1がdivaを要求して,divaがportageに
WebMoneyがつらい

電子マネーWebMoney（ウェブマネー）がつらい. 私はWebMoneyを個人顧客として使ったことはありません. 決済手段として導入しようとしていてとにかく仕様が地獄. 怒りのあまり文章が整ってないですし順序も支離滅裂です. 私の怒りを整理するために書いているのであまり参考にはならないかもしれません. 仕様書が簡単にアクセスできる場所にない ｢問い合わせ｣をしないと仕様書が見れません
私の誕生日なのでぜにぃ姫を使って親交のある人にBitZenyを配りましたが1ZNY配られると思ってたら10ZNY配られてしまい50人のつもりが5人になってしまいました

本当はスクリプトにして再実行できるような形で配布したかったのですが,忙しかったので適当に済ませました. 方法は雑すぎるので秘匿します.TwitterのAPI使いにくすぎる. 適当に親交のある人を取得してthanksで送りまくったら,ドキュメントに書いてある通り,1ZNY送信されると思ってたら,実際には10ZNY送信されて,50人に送信するつもりが5人にしか送信されませんでした.悲しいけど
D言語で(a == 1 && a == 2 && a == 3)をtrueにする

D言語で無かったので. import std.stdio; void main() { auto a = new N(); if (a == 1 && a == 2 && a == 3) { writeln("true"); } } class N { bool opEquals(in
Haskellで拡張無しでみそスープする

C++ では 2 + 2 の動作を上書きできないかもしれないが、ところで、ここに Haskell という言語があります — Make 生活リズム 正常 again (@mod_poppo) 2018年1月23日 「１＋１は？」Haskell「みそスープ」 pic.twitter.com/SF9wi21zeJ — Hideyuki Tanaka (@tanakh) 2018年
JavaScriptのexportはexport default以外禁止にしてしまった方が楽になる

相当遅ればせながらJavaScriptのモジュールについて調べて,自分なりの付き合い方をまとめました. 結論: export defaultのみを使おう,他のexportはやめよう. JavaScriptコードのimportがつらい状況になっている 本質的な問題ではないですが,以下のようなコードがあってつらい. import { actionFoo, actionBar,
計算理論のテスト用ノート

決定性有限オートマトン \(K\) = 状態の集合 \(Σ\) = 入力の集合 \(δ\) = 現在の状態状態 -> 入力 -> 新たな状態 \(q_0\) = 初期状態 \(F\) = 受理状態の集合 非決定性有限オートマトンは\(δ = K -> Σ -> \{K\}\)となっている.ε付きは入力が空白の入力を受け付ける. 正規言語 列の長さ: そ
アルゴリズムとデータ構造2のテスト用ノート

B木 各ノードは最大m本の枝を持つ, 恨と葉以外のすべてのノードはm/2以上の枝を持つ, 挿入時ノードの要素数がm-1を超える場合は真ん中の要素を親として2分割して部分木を作り,親のノードの枝の位置に挿入する,それを繰り返す, ノードの中間の要素を消す時は,子の最大の要素をそこに挿入する,葉がなくなってしまう場合は隣から貰ってくる,隣にも存在しない場合,子の要素2つを合体して新たな子とし
アルゴリズムとデータ構造2(テスト返却)

私のテスト結果は100点満点中68点でした.平均点は64.7,最高点は92点だそうです. 手計算が多くて全然駄目だと思っていたのですが,意外とそこそこ出来ていたそうです. 紙上でアルゴリズムの計算過程を書くよりも,プログラミング言語で書いて出すという形式の方が良かったと思いました.まあ自分が有利になるからそう思っているだけで,全体で良い講義になるという確証があるわけではないのですが. 間
mmapというファイルやデバイスをメモリーにマップするシステムコールの解説

選択3: mmap mmapについて説明しなさい。その際に必ずanonymous メモリーについて言及すること。 概要 mmapとは,ファイルやデバイスをメモリーにマップするシステムコールです. 一応mmapはPOSIXに含まれているシステムコールです.しかし,POSIXに定義されている動作はごく一部で,特にflags引数に指定できるのはMAP_FIXED, MAP_PRIVATE
UNIX(NeXTSTEP)

寝坊して20分遅刻したので最初何喋っていたのか全く把握してませんでした. スティーブ･ジョブズのNeXTのプレゼンがキャノンの日本語字幕付きでしか動画が残っていないらしい.ウケる. NeXTのアーキテクチャってメインフレームを参考にしてたんですね.メインフレームのアーキテクチャをワンボードに載せるという. コンパックとか懐かしい名前が出てきますが,HPは現役でIBMはPCをLenovoに
fioによるbcacheシステムのベンチマーク,あまりbcacheに期待しないほうが良い

ファイルシステム: Btrfs, マウントオプションは/dev/bcache0 on / type btrfs (rw,noatime,compress=zstd,ssd,space_cache,subvolid=5,subvol=/) SSD: Samsung SM961 HDD: TOSHIBA DT01ACA3 bcacheが正常に効いているのか確認するため,キャッシュデバイス
Linuxでは何故SSD向けのキャッシュ機構をZFSのようにファイルシステムに依存せずにbcacheのような形で提供しているのか考察

選択2: SSD向けのキャッシュ機構 SSD向けのキャッシュ機構bcache Linuxカーネル3.10ではSSD向けのキャッシュ機構bcacheが新たにサポートされた。ファイルシステムZFSなどではSSDをキャッシュとして使うメカニズムを持っているが、bcacheはファイルシステムなどに依存しない独立した形で提供されている。Linuxのアプローチではファイルシステムにも依存しないアプ
科学論･科学史102(元素合成)

電子には重さはあるけれど,大きさは点で無い.電子の大きさはめっちゃ小さいとかではなく,極限で0に近づく. ただ点だけれど電子には重さがあり,0.5MeVの重さを持っている. 原子核はもっと重たい. 太陽が石油の塊だとすると,あのエネルギーの放射では100年ほどでエネルギーが尽きてしまう.核融合のエネルギーが太陽を光らせている.核反応と化学反応には相当の違いがある. 太陽では小さいものから
systemdを使ってサーバーで優先度を低くしてBitZenyを採掘する方法

手元のwebサーバ兼ルータもCeleronですが,一応CPUが存在していて,BitZenyはCPUでもそこそこ掘れるので設定してみました. しかしこのサーバの本懐はマイニングではないので,あくまでCPUが空いている時にのみ動かしたい. 普通にsystemdのユニットファイルのNice値を設定することで可能のようでした. [Unit] After=network.service [Ser
Gentooでccminerをビルドしてmonacoinを掘る

どうもmonacoinを1モナ2000円で掴んだ負け組です. 今回はせっかく高級なGPUがあるんだからccminerでmonacoinを掘る環境を整えました. それまでもGPUだけはあったんですが,電源の能力が不足していたのでGPUマイニングは行っていませんでした. それが電源が変わって負荷に耐えられるようになったのでマイニングを行ってみることにします. PCの電源を750WのFSP R
nvidia-cuda-sdk-9.0.176がglibc-2.26-r5でビルドできない問題の解決方法

nvidia-cuda-sdk-9.0.176をglibc-2.26-r5環境でビルドしようとすると, /usr/include/bits/floatn.h(61): error: invalid argument to attribute "__mode__" /usr/include/bits/floatn.h(73): error: identifier
PCの電源を750WのFSP RAIDER RA-750から1000WのCorsair RM1000iに乗り換えたらGPUが安定駆動するようになりました

今までFSP RAIDER RA-750を使っていました. これをCorsair RM1000i PS562 CP-9020084-JPに変更しました. 変更した理由は,従来の電源でMSI KOMBUSTORのストレステストを実行したら,KP41でWindowsが強制終了するためです. 計算上Threadripper 1950XとGTX 1080 Tiの構成では750Wで足りるは
Haskell拡張で暗黙的なデータ変換を行って比較する型クラスを作ることは可能ですが,少なくとも私の素朴な実装は実用的ではない

Haskell, Maybe a型とa型を比較できるようEqとかOrdが定義されてないのはなぜだろう。Just x == y = x == yx == Just y = x == yみたいな。 — Ryou Ezoe (@EzoeRyou) 2018年1月12日 Eq a bというふうに型を2つとる設計にしなかったのはなぜだろう。NumとIntとFloatみたいに共通の型を作
UNIX(UNIXとIoT時代のセキュリティ)

Meltdownの時事ネタ. 最近の組み込み機器はLinuxが動いているという話.そう言えばIntelの組み込み機器死にましたね.Intel、「Galileo」「Edison」「Joule」の提供終了へ - ITmedia NEWS 下手な安いラップトップは物理コア数2ですよね.というか私が今使ってるXPS 13 9360もi7-7500Uなので物理コア数2.スマートフォンに載ってるAR
BitZenyをRyzen Threadripper 1950Xで採掘する時の良い環境とオプションを探しました

BitZenyをRyzen Threadripper 1950Xで採掘する時の良い環境とオプションを探します. 環境やオプションを変えてマイニングして,ハッシュレートを記録していきます. 検証環境. % uname -a Linux strawberry 4.14.8-gentoo-r1 #15 SMP Wed Dec 27 23:26:15 JST 2017 x86_64 AMD Ry
Threadripper 1950Xに対してメモリが足りなかったので16GBから32GBに増設しました

16コア32スレッドのThreadripper 1950Xを購入して,これで並列ビルドも楽々!clangやchromiumのビルドも超速で終わるようになる! と思っていたのですが,1つ誤算がありました. メモリが足りない. 最近のメモリの高騰から,メモリは送られた16GBのものを使っていたのですが,これでは到底32スレッドを活かすビルドができないことが判明しました. atopで見ればわか
情報リスク管理(総まとめ)

試験の話.持込禁止. 現代社会がバランスが崩れているというか,常に人間にモラルなんてない気がします. サイバーセキュリティ人材が不足しているという話本当だろうか…私は相手にもされなかったので懐疑的,私個人の問題と言えばそれはそう. 清掃員とサイバーセキュリティのエンジニアを並べられて強みは?と言われても困る. 情報リスク管理ということで実際の情報漏洩事案などをもっとバンバン知れるものだと
科学論･科学史102(量子力学の世界,小テスト)

蜜柑の色は橙色だが,黒体放射している橙色の物体と温度が異なるのは何故か 蜜柑は黒体ではないため,反射光があるだけ.光源を消去したら蜜柑の色も異なる.と回答しました 合ってるっぽいですね. プランクが導入した量子が実際に存在することを示したのは誰か,またその人は量子をどのようなものだとしたか アインシュタイン.電子を量子だとした.と回答しました.わからなかったのでダメ元でした. 正解
サービス情報システム(C言語には関数が存在しないという迷言)

早々に｢C言語には関数の定義はない｣｢getcharは関数ではない｣という発言が飛び出してきました.一体何を言っているのかわからない.もうこの講義についていける気がしません. 7.21.7.6 The getchar function と思いっきりC11(N1548)に書いてるんですよね. ｢HTTPのプロトコルは何を送っても良い｣????? 授業後に｢C言語には関数の定義はない｣と
スクリーンショット環境をimport(ImageMagick)からgnome-screenshotに移行できなかったので,PyGObjectで｢最近開いたファイル｣を追加するスクリプトを書きました

最近スクリーンショットを撮ることが増えたので,gnome-screenshotに移行しようとしました. importの不便な点は,スクリーンショットが｢最近開いたファイル｣に表示されないため,選択するのが面倒ということです. 当初はimportで取得したファイルをどうにかして｢最近開いたファイル｣に登録することを考えていましたが,gnome-screenshotを使えば自動登録されるので
alias pa='ps aux|ag'をag自身が見えないようにfunctionに変更して同期させましたがスマートな書き方ではない気がします

私は数年前から以下のzsh aliasを使用していました. alias pa='ps aux|ag' これを定義していると現在mozcが実行されているか調べる時にpa mozcと入力するだけで良いので便利です. しかしこのaliasには1つの問題がありました. agがps auxと同時に起動されてしまい,引数に検索キーワードが含まれるので検索にag自身が引っかかってしまい
certbot renewが今は使っていない削除したサブドメインのせいで成功しないのは誤ってSubjectに追加してしまっていたからでした

Let's Encryptから｢そろそろ証明書の期限が切れるよ｣というメールが来たので,更新しようとした所,更新ができない. 以下のようなエラーが出ました. 2017-12-29T23:24:36 ncaq@sonoda/pts/0(0) ~ % sudo certbot renew Saving debug log to /var/log/letsencrypt/letsencrypt
Linux版CS:GOで日本語が豆腐になり,解決できませんでした

Linux版CS:GOをGPUのテスト用に動かしてみたら,日本語化したくなってきたので頑張ってみましたが無理でした. CS:GOのLinux版はSteamのインターフェイスを日本語にしていても日本語で起動しないので起動オプションで-language japaneseを指定して起動する必要があります. これでゲームの前のインターフェイスは日本語化されます. しかし,ゲーム内のインターフェイ
Threadripper 1950XとGTX 1080 Tiで新しいPCを組みました,詰まったところなどメモ

買い物メモ. Ryzen Threadripper 1950X, GTX 1080 TiなどのPCパーツを購入して30万円ほど貯金を吹き飛ばしました - ncaq 旧 CPU: Intel Core i5-3570 4-Core capacity: 3800MHz CPUクーラー: Intelの付属品 マザーボード: Gigabyte H77-DS3H メモリ: DIMM DDR3 S
Stackの並列ビルド数は--jobsを指定しないデフォルトの場合CPUのコア数と等しくなります

Stackは--jobsオプションを指定することで,依存関係が独立したパッケージを並列にビルドすることが可能です. これはデフォルトで有効になっている機能です.CPUコア数とメモリのバランスが取れてない場合並列ビルドにメモリが耐えきれずにビルドが落ちてしまうので--jobs 1を指定する必要がありました.なので,デフォルトで有効だとはわかっていました. これのデフォルト並列数が気になった
Dell製のPC(XPS 13 9360)のIntel MEの脆弱性修正アップデートは手動で適用する必要があります

Intel Management Engineの脆弱性を修正しようと色々やりましたがDell XPS 13 9360向けの修正アップデートは2017年12月10日に来ることを知りました - ncaqに書いていたとおり,Intel MEの脆弱性への修正アップデートはXPS 13 9360では2017-12-10に来ることになっていました. しかし,WindowsでDell Updateを実
アルゴリズムとデータ構造2(AI,UI)

基本的に試験の話. 強いAIと弱いAIの話定期. AIの基礎トピックは探索と推論. なのでこれまで取り扱ってきた探索もAIだと言えるけど,当たり前になった技術はAIと呼ばれない.文字列探索も探索だし,将棋などのパターンの探索も探索. 推論.ソクラテス殿がまた死んでおられるぞ.ルールを書きまくるエキスパートシステムの話.インプットが大変.他のAIの話する人と違って,ちゃんと課題点を言ってく
UNIX(セキュリティ)

IoT機材がDDoSノードに使われているという話.PCに比べて常にネットワークに繋がっているし,機器は多いので脅威ですよね. Mirai亜種が国内の最大2万4000ホストに感染、ロジテック製Wi-Fiルーターの脆弱性を悪用 -INTERNET Watch時事ネタでしたね. ネットワークカメラは元々回線が太いから脅威という話.ネットワークカメラもルータもネットワーク回線が太いことが前提なの
計算理論(試験準備)

NPの中でも一番難しい問題を作ろうとしてNP完全問題という概念が生まれたが,実はNPな問題の多くはNP完全であることがわかってきた. クラスNPの問題を多項式時間で還元してNP完全にすれば良いのでクラスNPの問題は全てNP完全な気がしますけど,証明はされてないっぽい. NP完全な問題の1例として,3SAT問題が挙げられる. HAMPATH問題もNPに属することを説明したが,実はNP完全.
情報リスク管理(クラウドコンピューティング)

クラウドがちゃんとバズワードであること,既存の技術の組み合わせで構成されていることを解説していて良い. 地震でサーバが倒れる話,思い出すシリーズだ. 出た,コミュニケーション能力とかいう情報を伝えようという意志を感じない言葉. 経団連の調査で,企業が新卒に対して選考時に重視する要素として｢コミュニケーション能力｣がトップだったからと言って,現代でコミュニケーション能力が必要とされていると
科学論･科学史102(原子の構造)

CTやMRIは聞いたことありますし,MRIはこの間受けましたが,PETと言うのは聞いたことなかったですね. 光の強度が強いと高温. 量子はエネルギーにおける原子,これ以上分割出来ない単位.(素粒子の話は置いておこう)プランクは量子の概念を用いてプランクの法則を作って黒体放射の波長を分布した.しかし,量子の存在はあくまで数学的テクニックだった.アインシュタインは量子が実在することを示した.
サービス情報システム(Amazon, Google, Microsoft)

学年を調べるのに手を挙げろと言われたので4年生で手を上げたら｢じゃあ就職決まってるんだ｣と言われた.｢決まっていない｣と言ったら｢もう終わりじゃん｣と言われた… ｢Microsoftは受託開発していない｣という発言をしてますが,巨大化するグーグル、マイクロソフト、アップル--何で儲けているのか - ZDNet Japanを見たり,Microsoftの導入事例を見るにやってるのでは…と思っ
Haskellによるwebスクレイピングの方法をdic-nico-intersection-pixivを例に書く

Webスクレイピング Advent Calendar 2017 - Adventarの19日目の記事です. この記事では実際のwebスクレイピングの成果である,ncaq/dic-nico-intersection-pixiv: ニコニコ大百科とピクシブ百科事典の共通部分の辞書で書いた時の思考のログから,Haskellでwebスクレイピングを行う時の知見を抽出していきます. コアのソースコ
既存のプロジェクトのファイルにEmacsでインデントをかけていくスクリプトを書きました,しかしESLintのインデントルールとEmacsのモードが異なっていたので不採用

既存のプロジェクトのファイルが自動インデント規則に従ってない場合,全てに自動インデントをかけたいことがあります. JavaScriptとかならESLintである程度は抑制できるのかもしれませんが,どうもESLintはコードフォーマッティングツールとしてはあまり優秀ではないみたいです.prettier/prettier: Prettier is an opinionated code fo
Gentooのプロファイルが更新されて,GCCがデフォルトPIE有効になったので,Stackのビルドが壊れました,ビルドオプションを手で修正したらビルドできました,issueに報告しました

Gentooの新しいプロファイル17.0が先日リリースされました.New 17.0 profiles in the Gentoo repository – Gentoo Linux これに遅ればせながら気がついて,適用してみました. 新しいプロファイルではPIEがデフォルトで有効になっているようですね. eixとequery uの出力に違いがある. とりあえず寝ている間に全更新をかけた
アルゴリズムとデータ構造2(グラフ)

テスト用ノートが手書きのみということだったので,学習障害で手書きがひどく苦痛であることを伝えたら,私1人だけ印刷でも良いことになりました.良かった. グラフと隣接リストと隣接行列を描く例で,何も思いつかなかったのでポケモンのタマゴグループの繋がりを書きました.例題なのに7個もノードが作られてしまったので,リストはともかく行列は書くのが面倒でした.失敗. タマゴグループ 一生私はダイク
UNIX(TCP/IP)

TCP/IP - UnixClassWiki TCP/IPの話から入るの良いですね,何故か関係ない通信プロトコルであるOSIの話をする人が多すぎる. KA9Qなんて初めて聞いたプロトコルですね.と思ったら違った,TCP/IPの初期の実装がKA9Qなんですね. TCP/IPがUNIX上なのにファイルでアクセスできない問題,QUICとかを利用することを考えるともうずっとファイルでアクセスする
Qoo10というサイトでGTX-1080 Tiを注文したら,株式会社YAYAYOからCanon PowerShot G9X Mark Ⅱが届きました,現在返品申請中

Ryzen Threadripper 1950X, GTX 1080 TiなどのPCパーツを購入して30万円ほど貯金を吹き飛ばしました - ncaqに書いている通り,GTX 1080 Tiを購入しました. そうしたら違う商品が届きました. Qoo10.jp - お得で楽しいショッピングというサイトがあり,価格.com - MSI GTX 1080 Ti ARMOR 11G OC [PCI
計算理論(P vs NP問題,NP完全性)

P vs NP問題 これまでにPはその言語に属しているかどうかを多項式時間で判定できる言語のクラス,NPはその言語に属してことを多項式時間で検証できる言語のクラスだと学んできた. P ≠ NPだと多くの人が県警から信じているが,実際にPに属していないNPの言語は見つかっていない.多項式時間で判定できないことを証明するのは難しい.もしかしたら良いアルゴリズムが存在するかもしれない.
情報リスク管理(働き方改革と事業継続)

｢Windowsではメモリの内容をHDDにページングしているから電源を切っても消去されない｣ってマジですか?スリープやハイバネーションではなくて?それともスワップファイルに重要情報が入ってしまうという話でしょうか. ググっても出てこなかったんですが,確かに停電した時再起動したら,アプリケーションの状態が復元されたことがあるので,そういう機能があるのかもしれません. HDDを物理的に壊すセ
科学論･科学史102(黒体輻射と量子)

黒体とは光を反射しない物体のこと.反射しないので普通は黒色になる.しかし太陽も黒体. プランクはレイリー･ジーンズの法則とボルツマンの法則に矛盾が存在することを発見して,法則をハックしてプランクの法則を導出した.プランクの法則は量子を仮定しているが,プランク自身は量子に懐疑的だった.これは数学的なテクニックだと考えていた. アインシュタインは光は量子=光子の集まりだと考えた.光子を金属に
サービス情報システム(DRM)

｢スカパーやWOWOWなどの有料CS放送はどうやって契約してない人に見せないようにしてる?｣という質問をして,とある学生が｢B-CASでユーザー識別をしてる｣と答えたんですが,｢それは違う｣とのこと.正確にはB-CASのキーで復号をしてますが,合ってると思うんですけどね…その後B-CASカードに暗号キーが含まれているとか言っていて,やっぱり合ってるじゃないですか. なんでこの人生徒の答え
Ryzen Threadripper 1950X, GTX 1080 TiなどのPCパーツを購入して30万円ほど貯金を吹き飛ばしました

PCパーツを購入しました. 今使っているデスクトップPCは2013年に組んだもので,そろそろ新調したかったのです. 学生の今年のうちに新調しないと,Windowsのライセンスが更新できないかもしれないという懸念があったため,年内に新調を済ませたかったという事情がありました.そこに丁度サイバーマンデーが来たので,PCパーツを買うことにしました.しかし,サイバーマンデーの影響は殆ど無かったど
Windowsをアップデートしたら勝手にパーティションを作ってまたGRUBがrescueモードになってしまったのでSystemRescueCdでchrootしてfstabを書き換えてgrub-mkconfigをやり直したら治りました

Delphiコードをビルドするために,Windows環境が必要になるかもしれなくなりました.なので,ラップトップPCの放置していたWindowsを最低限使えるように,最新版にアップデートしていたら,GRUBが壊れてgrub rescueを出すようになりました. あああああー!明日使うのに! pic.twitter.com/EasM8Mkm56 — エヌユル (@ncaq) 2017
アルゴリズムとデータ構造2(動的計画法),Haskellで総当たりでナップザック問題を解く

アルゴリズムとデータ構造2 - 専修大学 今回寝坊して,起きたら12時で,行けませんでした! 講義資料は配布してあるのでそれを見ると,授業内課題でナップザック問題が出たようですね. 問題内容 13kgの容量のナップザックに 品名 重さ 価格 A 4 450 B 5 570 C 2 225 D 1 110 E 6 670 の商品を詰めて,価格を最大化し
Google 認証システムの端末移行に失敗していました

Google 認証システムはGoogle以外のサイトでも利用することが出来ます. 私はStripeとZaifで有効にしていました. しかし引き継ぎに失敗しました.私はこの認証システムはGoogleアカウントに紐付いていて,GoogleにログインしているAndroid端末なら全てで利用できると思っていました.しかし,それは間違いでした.端末ごとに管理されていたようです. Googleアカウ
HakyllサイトのHTML特殊文字が二重エスケープされてしまうのを正規表現によって解決

このサイトのdescriptionやteaserといったものは teaserFieldByResource :: Int -> String -> Snapshot -> Context String teaserFieldByResource l key snapshot = field key $ \item -> escapeHtml . take
計算理論(時間の複雑さの議論)

前回のおさらい 全ての整数\(n >= n_0\)に対してある正の整数\(c\)と\(n_0\)が存在して\(f(n) <= cg(n)\).という言い回しなんか直感的じゃない気がします. 一階述語論理で書けば一見\(∀n(∃c ∈ N^+(∃n_0(n >= n_0 ∧ f(n) <= cg(n))))\)のように見えて,実は\(∃c ∈ N^+(∃n_0(∀
情報リスク管理(先輩SEの仕事,運用管理リスク)

先輩SEの仕事 客先常駐SEの話が来てこれはヤバいと思いましたが,システムエンジニアというのが和製英語だと認識していました. 1日のスケジュールか.09:55時出社で19:30帰宅はきつすぎる…まあ若手時代だし?次のページの最近のスケジュール見たら08:30分出社で19:30帰宅になって悪化してるじゃないですかー!ヤダー! 定時で帰れる日がないとか嫌すぎる… 1日のスケジュールでプログ
科学論･科学史102(小テスト(原子論,X線))

原子論を受け入れる時に障害になったものは何か 私の回答 4大元素などの固定観念 目に見えるものでは無かったこと ブラウン運動の説明は他のものでも出来そうに思えること 模範回答 目に見えないものを証明するのが困難. 実証主義に縛られすぎていた.原子が顕微鏡などで目に見えない時代では実証できないので受け付けられなかった.証拠を求める姿勢がむしろ足かせになってしまっていた.
サービス情報システム(圧縮)

｢インターネットでは相手のコンピュータが動いているかわからない場合が多い｣と言っていたので,そうか?TCPだとハンドシェイクするのでは?と思ったけれど,｢経路が切れているかコンピュータが落ちているかわからない｣という意図だったのでそれならまあ納得ですね. aがUTF-8では1バイトではないと言っていたのでそれはUTF-16では?と突っ込んでしまいました. aを1万文字送る場合の圧縮方法を
MELPAに自作のEmacs Lispパッケージauto-sudoedit, recentf-remove-sudo-tramp-prefix, symbolword-modeを登録するpull requestを送信しました

Emacs Advent Calendar 2017 - Qiitaの5日目の記事です. 私の.emacs.d/mineには自作の5つのパッケージがあり,自前で読み込んでいます. 作ったのは大体2014~2015年で,ずっと放置していました. 自分で使う分には全くこれで問題ないのですが,せっかく作ったのだから公開して普通に使えるようにするべきだと思ったので,アドベントカレンダーを機にme
Stackage Serverのちょっとした便利な使い方,Hoogleをブラウザのカスタム検索エンジンに追加しましょう,よく使うパッケージをブックマークする時はPackageRのURLにしましょう

Haskell (その3) Advent Calendar 2017 - Qiitaの4日目の記事です. 前回ゲーム販売webアプリケーションSYAKERAKEを支える技術,HaskellとYesodで作られています - ncaqはかなりの長記事になりましたが,今回はちょっとした小ネタです.Stackage Serverのちょっとした便利な使い方を紹介します. Hoogleをブラウザの
J:COM回線が繋がらなくなったのでUCOMに戻してみたらレイテンシが超改善されました,しかし自作ルータは不安定なのでどうにかしたい

jcomの 回線遅く 不満持ち サポートに連絡したら改善 したけどやはり遅くて不満 - ncaqに書いているとおり,マンションの回線はUCOMからJ:COMに切り替わっていました. 今日何気なくリビングで親と世間話をしていたところ,Wi-Fi経由でインターネットに繋がらなくなりました.あれっと思って有線で接続確認してみましたが繋がりません. ルータかモデムに不具合が生じたのかと思い,一度
ゲーム販売webアプリケーションSYAKERAKEを支える技術,HaskellとYesodで作られています

Haskell (その3) Advent Calendar 2017 - Qiitaの3日目の記事です. この前｢Haskellで書かれたwebサービスって何がある?｣と聞かれて,HackageとかStackageのようなHaskellに関連したサービスぐらいしかパッと出せませんでした. なので,webアプリケーションであるSYAKERAKEがHaskell製であることと,これを構成する
jQueryが必要とされなくなってきたのは,Reactなどの他のフレームワークが登場したせいではなく,標準DOM APIが進歩したおかげです

JavaScript Advent Calendar 2017 - Qiitaの2日目の記事です. 何故この記事を書こうと思ったか JavaScriptの定番ライブラリであるjQueryは,最近以前と比べて必要とされなくなってきました.その理由はよく,Reactなどの他のフレームワークが登場したせいだと勘違いされています.しかし,jQueryが必要とされなくなってきた理由は標準DOM
私のHaskellコーディングスタイルガイド,改行出来るポイントを紹介

Haskell (その3) Advent Calendar 2017 - Qiitaの2日目の記事です. Haskellは各構文を文ではなく式として扱えるため,適当に書いていくと,どんどん一行が長くなっていきます.その結果,ワンライナーのようなコードが作られることがよくあります. この目のチカチカを避けるためか、どうか、出来るだけ間隙を狭くするために、Haskellプログラマーは無意識
アルゴリズムとデータ構造2(探索)

BM法の一致サフィックスの話細かいのでスルーされてしまった.まあ地味なところだから仕方がないですね. この学部に声優居たんですね…どうもサイトを見ても専修大学出身という情報が出ていないので真偽は不明ですが. ｢"声優名" "専修大学"｣で検索しても23件しか出てこないんですが,隠してるんですかね…? 8クイーン問題ですね,Prologの出番か.と思
UNIX(プロセス間通信,ネットワーク通信)

プロセス間通信 - UnixClassWiki 現状私が自分用にホストしているTiny Tiny RSSはnginxとPHPを接続する時にfastcgi_pass unix:/run/php-fpm/php-fpm.sock;と書いて,UNIXソケットを使っています.しかし,デフォルトでTCPが使われていて,設定を変更するのも面倒ですし,そんなにパフォーマンスを気にしているわけでもないの
HaskellのStateの必要性が,プログラミング言語の処理系を書いた時にわかったので,Stateの良さを語ります

Haskell (その3) Advent Calendar 2017 - Qiitaの1日目の記事です. Haskell初心者の頃はStateが何故必要なのかわからなかった 私はHaskellを書き始めてから2年ぐらいはStateの存在意義がわかりませんでした. こんなものは無くて良いと考えていました. Haskellは純粋関数でシステムを構成して,引数と返り値だけでものごとを構成して
ストラテラとコンサータの作用と副作用についての個人の感想

ADHD Advent Calendar 2017 - Adventarの1日目の記事です. 私は高校1年(2011年)の頃から発達障害の診断を受けていて,ADHD向けの薬を飲んでいます. 精神障害者保健福祉手帳3級も取得しています. この記事では,私が服用したADHD向けの薬について感想を書いていこうと思います. 私は強迫性障害向けの薬や睡眠薬も飲んでいますが,この記事では扱いません.
情報リスク管理(情報セキュリティ基礎技術まとめ)

プレゼンにWikipediaからの引用載せるのは良いんでしょうか…いや,私は全く気にしませんけど,既に読んだというのは感じますね. nmapと言えばzmapって今はどうなんだろうなと思って使ってみましたがnmapと違って詳細なログを出力したりしないし,完全に用途が異なるんでしょうね. ウォー・ゲーム (映画) - Wikipediaにも人工知能の名前がウォーパーで,ホストコンピュータの名
ASKfmからのメールなど,Dateヘッダフィールドを設定していない規格違反のメールがトップにソートされてしまう問題を,ThunderbirdとK-9 Mailで解決する方法

ASKfmなど,メールのヘッダフィールドに発信日付であるDate:を設定していないメールがあります. ASKfmから来るメールのヘッダー このメールはおそらく規格違反です. 必須のヘッダフィールドは発信日付(origination date)フィールドと発信元アドレス(originator address)フィールドだけである。それ以外のすべてのヘッダフィールドは文法的にはオプショ
スパムメールの学習コマンドsa-learnの実行をsystemd.timerで自動化しました

SpamAssassinのメール学習を行うコマンドラインプログラムであるsa-learnをこれまで手動で実行していました. alias sa-learn-maildir='sa-learn --ham ~/.maildir/cur --spam ~/.maildir/.Junk/cur --progress' というaliasを書いて,時々実行していました. あまり迷惑メ
科学論･科学史102(X線の発見)

1895年にレントゲンによりX線の発見が行われ,1901年にノーベル賞が贈られた.どうしてこんなに早く受賞が行われたかと言うと,発見が素晴らしかったため.再現性とインパクトが優れている.書かれたとおりに装置を作れば骨が見える.素晴らしい. ペランの原子の発見などは理論的なもので,ブラウン運動を見てもあまりインパクトがない.X線の発見は骨が見えるというインパクトが強い.目に見える驚きがある
サービス情報システム(メディア)

｢なぜ皆タブレットではなくコンピュータを使うのだろう｣と言ってますが,タブレットPCも立派なコンピュータなのでは… ｢2 in 1はタブレットですかPCですか｣という質問をしてみたんですが,｢わからない｣とのこと.｢タブレットとPCの区別の定義はわからない｣と言ってますが,それで｢PCで無ければいけない理由は?｣と言われても答えようがない… 誰も答えないので｢いわゆるタブレット用OSであ
WebMoneyのCamelCaseどうするの問題にぶちあたったので便宜的にWebmoneyという表記を使うことにしました

電子マネーWebMoney（ウェブマネー）という決済システムがあります. 今回語る内容はこれの決済システムなどには一切関係しません.名前の話です.いわゆるiOS問題(いわゆるのか?)ですね. これの正式名称はWebMoneyです.Web Moneyでもwebmoneyでもありません. もちろんユーザに表示するテキストはWebMoneyと表記すれば良いのですが, コード上には混乱をもたらし
Amazon EC2上のUbuntuでGentooのeix --selectedに相当する,初期パッケージに含まれていない手動でインストールしたパッケージ一覧を表示する方法

需要と模索 プロダクション環境のUbuntu Serverでアプリケーションの構成の変化で不要になったパッケージを消滅させたくなりました. EBS容量を20GB取っていないため,一応容量を節約したいということと,不要なパッケージは存在するとセキュリティ上の不安が高まる問題があるため,削除したいですね. apt-getとapt-cacheは今のUbuntuでは標準ではなく,全てaptコマ
Intel Management Engineの脆弱性を修正しようと色々やりましたがDell XPS 13 9360向けの修正アップデートは2017年12月10日に来ることを知りました

Intel Management Engineなどに8個の脆弱性が発見 ～第6世代Core以降が影響、ThinkPadなどがすでに対策開始 - PC Watchなどで報道されてる通り,Intel Management Engineの脆弱性が発見されましたね. 私のDell XPS 13 9360もこの脆弱性に当てはまるので,修正しようとしましたが,最終的にアップデートが2017年12月1
アルゴリズムとデータ構造2(文字列探索(2))

前回のおさらい KMP法のnext配列生成の方法を全く記憶できていません. 難しいというのも理由の1つですが,BM法の方が高速なのにKMP法のアルゴリズムをちゃんと覚える気にならないということもあります. BF法とKMP法とBM法 BF法による比較回数の数え上げがあまりにも面倒臭くてついRustでコードを書いてしまったのですが, fn bf(source: &[char],
UNIX(ユーザ権限とアクセス制御)

ユーザ権限とアクセス制御 - UnixClassWiki アプリケーションプログラマは権限何もわからない.雰囲気でユーザ権限をやっている. ｢MacにNetInfoって今存在してるっけ?｣という話があったので調べたらもう死んでました.OS X ハッキング! (251) Leopard解体新書(2) ～さようならNetInfo～ | マイナビニュースApple Open Directory
計算理論(時間計算量)

前回の復習 \(\{w2w | w ∈ \{0, 1\}^*\}\)ってどういう意味かと思ってたけど,\(w\)をスター演算の結果の一例として,\(2\)の両隣に同じ記号列があるということだったんですね. big-O記法 時間計算量って高級言語だと,どの式や文がステップを消費してどの行為がステップを消費しないのか今ひとつわかりませんでしたが,チューリングマシンだと1ステップがハッキ
情報リスク管理(映画に学ぶ情報セキュリティ基礎技術)

20 CENTURY FOX｢デデーン｣ ウォー･ゲーム(WarGames)という映画を見て,映画の中で使われていたクラッキング技術を記述することになりました. 公開日時は1983年…1984年の1年前ですね. 適性検査とかAIによる制御とかSCP財団みたいですね. 核兵器の発射をAIに任せるとか正気かな?しかも30日で作り変えるとは…｢コンピュータをそこまで信用できない｣って言ってる人
サービス情報システム(クラウド)

専修大学Web講義要項 サービス情報システム ネットワーク情報学部 兼任講師 北川 和裕 Macの源流 ｢Macの源流は1990年代｣という話を聞いて,｢Macの源流は1973年のAltoじゃないですか?｣って言ったら全否定されました.ええ…ウィンドウシステムとかマウスとかの源流なのに…｢OSが違う｣とか全否定されました.NeXTにしたって1988年だし1990年代ではないのでは?
今度こそ画像のアスペクト比を4:3に指定してCSSで内接リサイズしました

画像のアスペクト比を4:3に指定してCSSで内接リサイズしました - ncaq で行っていた内接リサイズは,画像が縦長の状態を全く考慮していませんでした. 縦長のはそのままになってしまいました… そこでもう諦めてwidthはpx指定してheightはheight: calc(200px * (3 / 4));したのですが,この場合モバイル環境で縦いっぱいに表示されないんですね. CSSで
アルゴリズムとデータ構造2(文字列探索(1)),またクイックソートの実装をしました

クイックソート 文字のデータ列のクイックソート. き,い,お,あ,え,う,か か,い,お,あ,え,う,き (か,い,お,あ,え,う),き (う,い,お,あ,え,か),き ((う,い,お,あ,え),か),き ((あ,い,お,う,え),か),き (((あ,い),(お,う,え)),か),き (((あ,い),(う,お,え)),か),き (((あ,い),(う,え,お)),か),き あ,い,う,
UNIX(ファイルシステム)

ファイルシステム - UnixClassWiki むかしのUNIXではディレクトリは特殊なファイルで、catをすると本当に中身を表示できました。 マジですか,昔のUNIXを動かしてみたらわかるかな… 今のUbuntuってインストール時にワンタップでLVMを使うことを選択できるんですね…Ubuntu 16.04: LVMでファイルシステムを拡張・縮小する - Narrow Escape
障害年金の給付が行われることになりました日本生きろ

今日の夜,急に父親に｢話があるからリビングに来なさい｣と言われて｢また1人でお菓子食べすぎたかな…｣と思いながら行ったらこれを渡されました. 年金証書 国民年金法に基づく障害年金の給付が行われることになりました! バンザーイ! 就活の影響で今年の4月頃に倒れてしまい,私はまともに働けないのではないかと思って,障害年金の申請をお願いしていました. 広汎性発達障害で障害基礎年金2級を取得
Amazon Music Unlimitedの30日間無料体験をオススメするのがオススメです

Amazon Music Unlimitedが始まりましたね. Amazonのサービスによくあることですが,30日間無料体験をすることが出来ます. 私自身はまだSpotifyの無料体験期間が残っているので,Spotifyの無料体験期間を使い切った12月頃に試してみようと思っています.なので,Amazon Music Unlimitedの使い勝手については殆ど述べることが出来ません.
動的モデルの単位を自主的に諦めることにしました

散々このサイトで｢わからない｣｢難しい｣と書いていた動的モデルですが,中間試験が全然出来なかったことを受けて単位を諦めることにしました. 動的モデル(中間試験),試験爆死しました - ncaq 本当は今日は一応行って中間試験の点数を確かめてから諦めようと思っていたのですが,今日起きたのが11時で講義に間に合わないことが発覚したので早めに諦めることにしました. 履修中止期間は過ぎてしまった
計算理論(チューリング機械)

ついに有限オートマトンからチューリングマシンに入りました.アラン･チューリングはよく計算機のない時代にチューリングマシンなんて思いつきましたね.天才か?(天才です) 計算機で解ける問題はチューリングマシンで解ける. チューリングマシンと有限オートマトンの違い チューリングマシンはテープに対し書き込みと読み出しのどちらも可能 ヘッドは左右どちらにも動くことが出来る テープの長さは無限であ
情報リスク管理(Webアプリケーションへの脅威)

WebがwebではなくWebなのが気になる,webはもはや固有名詞ではないので小文字にするのが今の私のポリシーなので.「Internet」と「Web」が終了 – Dan高橋のIT散歩 TwitterのXSS懐かしいですね.XSS対策としてはCSPがかなり有効なんですが,広告を配信してるとなかなかCSPを使えないのが困りものですね… そもそもフレームワークがCSPを考慮してくれないことも多
科学論･科学史102(原子の実在)

第3章である｢原子の実在と放射線の発見｣に入ってきました. これまで触れてきたミクロの視点の根源は原子にある. 科学が発展していない時代,多くの人は地動説ではなく天動説を信じていた.それは動いているように見えるのは太陽だから.科学的観測結果をもって,天動説から地動説に移り変わっていった. 原子の実在はコペルニクス的転回ほど衝撃的なことだった. 原子の概念は古代ギリシャから考えられていた.
サービス情報システム(テナント)

前半30分遅刻したので聞いてませんでした. 【シングルテナント】 IT の分野でシングルテナントというと、クラウドコンピューティングなどのサービスで、ひとつのシステムやサービスを 1社で利用している状態のこと。一方、同じシステムやサービスを複数の企業が共有している状態をマルチテナントという。 用語解説辞典｜【公式】NTTPC CPUが高速化してきて,CPUの使用率がそんなに多くない,
画像のアスペクト比を4:3に指定してCSSで内接リサイズしました

内接リサイズと外接リサイズが逆に伝えられてきました 画像を内接リサイズするという話があって,それには賛成したんですけど.実際コードを見てみるとobject-fit: cover;していたので外接リサイズにしているように見える問題がありました. 余白を無くしたいという話だったので外接リサイズしたいのかもしれませんが,外接リサイズには反対です.Twitterの投稿画像のサムネイルなどは外接
xmonadとPulseAudioを使ってキーボードで音量ミュートをトグルする方法

私はウィンドウマネージャにはxmonad,オーディオ管理にはPulseAudioを使っています. ラップトップPCを使う時,時たまスピーカーで音楽を聞きたいことがありますが,普段は通知音などはミュートにしておかなければなりません. そういう時,今まで私は,ミュートをトグルするために一々pavucontrolを起動して切り替えていました. xmonadからPulseAudioを操作してミュ
アルゴリズムとデータ構造2(ソート(2))

ヒープの表現ってノード要素とポインタで表すのと,配列で表現するのとどっちが良いんでしょうね. まあ,どっちが絶対的に良いとかはなく,挿入や削除が多ければポインタが良くて,あまり変わらず閲覧するだけなら配列が良いのでしょうが.実際どれぐらい挿入することがあれば配列ではなくポインタが良くなるのでしょう.何も考えずに配列の方が優位ってことが多すぎるんですよね. 実装の楽さはGCが無ければ配列の
GNU/Linux環境の作成,Gentooの魅力とインストール方法

この記事はUNIXという講義で出た｢GNU/Linux環境の作成｣という課題のレポートを流用しています. 既にレポートは提出しました.せっかく書いた文章が勿体ないため多少改変して,サイトでも公開します. ディストリビューションの選択とGentooの解説 Gentoo Linuxを選択しています. 昔はUbuntuやLinux Mintを使っていましたが,高校3年の頃にGentooに落ち
UNIX(デバイススペシャルファイル)

テープデバイスが最近はほぼ使われていないという話.ちょっと前まではバックアップに使われていたことが多いですが,最近はパブリッククラウドに載せてしまってそのクラウドのバックボーンはHDDだったりしますし本当にそうですよね. テープの寿命性は高いですが,自前で分散管理するのは大変なので分散して置いたほうが良さそうに思えてしまいます. IBM AIX使ったことないんですよね,AIXプラットフォ
dic-nico-intersection-pixivの直リンクを見て意味わからないと言われてしまったのでファイルにコメントを追加しました

今までで最も意味わからないサイトhttps://t.co/qiQSFKqozQ — KOKOTI (@titose_2004) 2017年11月8日 そうですね…辞書本体のテキストファイルを見るだけだったら意味がわからないと言うのは当然だと思います. というわけで,生成する辞書にコメントを追加しておこうと思います. 今まで雰囲気で辞書を生成していましたが,まず辞書のコメントの文法
動的モデル(中間試験),試験爆死しました

動的モデルの中間試験がありました. 試験内容 予想通り爆死しました. 他の人はみんな時間内に提出して,チャイムが鳴るまで解いていたのは私だけでした. ε-δ論法 ε-δ論法は教えられた当初から意味がわからず,しかも出るかもしれないと思ってなかったので何も復習しなかったので,全く意味がわからなくて何も書けませんでした. 導関数の定義 これは自分では出来たと思ったのですが,これでち
Nexus 6PからHuawei P10 liteに乗り換えました,オススメのスマートフォンです

taosero07(@reotasoda)さんからプレゼント,新しい自作PCを組もうと思います,Nexus 6Pが早期シャットダウンする問題が未解決,HUAWEI P10 liteを購入しました - ncaqに書いたように,私の持っているNexus 6Pには早期シャットダウン問題が発生してしまいました. 症状はNexus 6P 早期シャットダウン問題（と対処法） - ブログの方と同じよう
計算理論(正規表現と有限オートマトン)

前回の復習 列\(x\)の長さを\(|x|\)と書く.普通に受け取ってしまったけど,そう言えばなんで絶対値記号を使うんでしょうね,absとlengthに同じ記号を使うのはおかしいのでは? スター演算\(a^*\)ってプログラミング言語で言う正規表現の何に値するんだ?と思ったけど,よく考えたらそのまま*ですね. 言語\(L\)が正規表現で表現されるなら,\(L\)を識別するε入力付非
情報リスク管理(ネットワークへの脅威)

ロールベースのアクセス権限はUNIXのグループとどう違うか,UNIXグループではrootユーザーに全てを割り当てるが,ロールベースのアクセス制御はもっと細かく実行権限を割り当てる. 例えば,passwdを実行するユーザにはそれだけできるグループを与える. ということは,UNIXグループでもファイルの実行権限を細かく割り当てればロールベースのアクセス制御になるんでしょうか?今でもdisk,
mozcをアップデートしたらmarkdown-mode限定で変換前文字列が赤くなってしまいます

mozcをアップデートしたらmozc.elもアップデートされたようなのですが,これが変換前文字列の背景を真っ赤にしてきて非常にうるさく感じるようになりました. ひじょうにうるさい 変換前に色を変えるのはちょっと鬱陶しいけれど問題ないのですが,その替える先がこんな真っ赤な色では流石に目ざわりです. まあ,変更すれば問題ないだろうと思って,brownを指定しているコードを探して, (se
サイトのURL設計を変更しました

何故変更が必要なのか? これまでこのサイトのエントリーはwww.ncaq.net/2017/11/07/のように,日付だけを含んでいました. 主にクールなURIは変わらない -- Style Guide for Online Hypertextを参考にした結果です. これには問題があり,1日に複数のエントリーを投稿しようとしたら1つのページに複数の投稿が混ざってしまいます. このサイト
科学論･科学史102(エントロピーと時間の小テスト)

熱力学の第二法則を表すような例を挙げよ 私はインクを水に混ぜた例を挙げました.インクが混ざることがあっても,インクだけが集合することはない. エントロピーが高いという状態をインクが混ざっているような状態と思っていて,それは正しかったのですが,これを秩序だっているという状態だと思っていました.エントロピーが高いのは乱雑な状態です.逆に覚えていました. 新幹線モデルを使ってエントロピー
サービス情報システム(ECサイト)

ECサイトで買われるものとして辞書を挙げてたけどみんな辞書を持ってなかったから話が成り立ってませんでした. 私も紙の辞書は持っていません.NetBSDを載せている紙の辞書を見たことがありません.私の用途では紙の辞書は英辞郎に比べて単語数が貧弱すぎて全く役に立ちません.いわゆる電子辞書も紙の辞書をソースにしているから同様です. IDの正式名称は｢identification data｣らし
ファイルは月別に分けて~/Documentsに置いてgitで管理しています

私のファイルの管理方法ですが,4年ほど前から,リポジトリのようにはっきりしないものは,基本的に月別に~/Documentsに入れてgitで管理しています. 大学の配布資料やレポートなどもここに入れています. メモや残す意義がなさそうな書き捨てのプログラムでも,変更履歴を後から見返すことが出来るから便利です. 2017-11-06T16:34:23 ncaq@akaza/pts/0(0)
Haskellのregex-compatはUnicode文字に対応していないのでregex-compat-tdfaを使いましょう

タイトルにwbr要素を使ってカンマの後に改行を行ってもらうようにしましたで titleWbr = field "title_wbr" (\item -> (\mTitle -> R.subRegex (R.mkRegex ",") (fromJust mTitle) ",<wbr>") <$
GNU/Linuxの端末エミュレータはLilyTermがオススメです

GNU/Linuxの端末エミュレータはLilyTermがオススメです. 端末エミュレータではGnome TerminalやKonsoleなどが有名です. 私がオススメするのはLilyTermです. LilyTermはGNOME 端末と同じくlibvteを使っているので,ほとんど動作はGnome 端末と同じです. シンプルな端末エミュレータです. UIが素直でシンプルです.Gnome 端末
タイトルにwbr要素を使ってカンマの後に改行を行ってもらうようにしました,Googleアナリティクスの実装をanalytics.jsからgtag.jsに移行しました

タイトルにwbr要素を使ってカンマの後に改行を行ってもらうようにしました 日記の一覧表示のタイトルの改行がよく以下のようになっていて気持ちが悪かった. 改善前 改行制御する文字は無いかなあとか,カンマの後にスペースを入れるとか,CJK以外の文字でも改行するようにするとか,カンマの後に全て改行を入れてしまうとか,ゼロ幅スペースを入れるとか,考えました. 最終的に,wbr 要素という,
manページはEmacsでhelm-man-womanを使って見るのがオススメです

みなさんはUnix向けのmanページをどうやって見ていますか? 私はEmacsとhelmを使って,helm-man-womanを使ってmanページを見ています.オススメです. Emacsでmanのmanページを表示している様子 Emacsでmanページを見るための方法 Emacsにhelmをインストールして,以下のような設定をします. (global-set-key (kbd
計算理論(正規言語と有限オートマトン)

形式言語における言葉の定義 アルファベットΣ上の文章: Σの記号を重複を許して並べたもの.記号列や列とも呼ぶ. 列の長さ: その列に含まれる記号の個数,列xの長さを|x|と書く.また長さ0の列を空列と呼び,εで表す. 列xとyの連接とは,列xの後ろにyをつなげた列のことでxyと書く.またxxを\(x^2\)と書くこともある. 列xの逆あるいは逆語とは,列xを逆から並べた列のことで,\
サービス情報システム(ECサイトの要素),科学論･科学史102(エントロピーと時間の流れ),Spotifyを使い始めました,情報リスク管理(認証とアクセス制御)

サービス情報システム(ECサイトの要素) ｢スマートフォンは日本向けはハイエンド,インドとかのは5000円ぐらいで売ってるローエンド｣という発言がありましたが,Pixelシリーズは日本では売ってなくて,インドでは売ってるんですよね… もはやハイエンドは日本ではなくインド向けに作られていると言っても過言…ではありますか,一例ですし. ｢クラウドサービスと言えばIBMとGoogleの2社｣
マークアップとスタイルシートをシンプルにしたくてデザインを多少破壊したら困られました

前回bootstrapのcard使えば改行がされてバンザイと思ってそれ以降の調査はしていませんでしたが,真面目に調べてみたらword-wrap: break-wordの効果で改行がされるようになったようですね. .cardをそのまま使ったデザインは気に入らないらしく,これ.card使わなくても良いじゃんって感じにcssが上書きされたものが出てきました.これなら自前で全て書いたほうがメンテ
RSSリーダーにはTiny Tiny RSSを使うのがオススメです

Live Dwango Readerの終了がニュースになってから結構経って今更感がありますが. RSSリーダーにはTiny Tiny RSSを使うのがオススメです. 私は最初のRSSリーダーにはOpera(Presto時代)を使い,そこからGoogle Readerに移行しましたが終了して,Feedlyなどを使ってみましたが満足できませんでした.しかし,4年ほど前にTiny Tiny R
taosero07(@reotasoda)さんからプレゼント,新しい自作PCを組もうと思います,Nexus 6Pが早期シャットダウンする問題が未解決,HUAWEI P10 liteを購入しました

taosero07(@reotasoda)さんからプレゼントしてもらいました taosero07(@reotasoda)さんから色々プレゼントしてもらいました 梅酒,本,本,メモリ ガム ありがとうございます. 私にものを送りたい人は,http://amzn.to/2gPm1nLを参照してください.フッターにもAmazonアカウントへのリンクが貼られています.何かネタで送りつけ
UNIX(記憶管理),間違ったリポジトリ名を変更しました,WebMoneyのAPIがCGI必須になっててつらい,アルゴリズムとデータ構造2(ソート(1))

UNIX(記憶管理) 記憶管理 - UnixClassWiki MMUの話. 今はCPUに内蔵されていることが多い. 家庭向けのMMUのページサイズは8KBぐらいだけど,HPU向けには増やしてあったりする. 本来の意味でのスワッピングとは,プロセスの使っているメモリをまるごと外部記憶領域に移動することを指す.Linuxはページングのことをスワッピングと言っている. ｢スワップの意味が変
動的モデル(定積分)

定積分 関数\(f(x)\)が\([a, b]\)間の任意の\(x\)について,\(|f(x)| < M\)を満たす定数\(M\)が存在するとき,\(f(x)\)は\([a, b]\)で有界である. \([a, b]\)で有界な関数\(f(x)\)について\([a, b]\)を\(n\)個の小区間に分割する.この分割を\[Δ: a = x_0 < x_1 < …
Travis CIのキャッシュ異常の解決,chromeでoverflow-wrapが効かないのを解決,計算理論のバケツの状態遷移図を公開,計算理論(オートマトンの計算能力の等しさ)

Travis CIのキャッシュ異常の解決 科学論･科学史102(エントロピー),微分積分の演習問題が出来る気がしない,情報リスク管理(OSにおけるセキュリティ),travisのキャッシュ更新が失敗していたのでtimeoutを変更しました - ncaqに書いたTravis CIのキャッシュ更新の失敗は,travis.ymlに cache: timeout: 1000 yarn:
科学論･科学史102(エントロピー),微分積分の演習問題が出来る気がしない,情報リスク管理(OSにおけるセキュリティ),travisのキャッシュ更新が失敗していたのでtimeoutを変更しました

科学論･科学史102(エントロピー) エントロピーとは何か? 分子の移動速度の位置分布が異なるものがあるが,統計上同じ温度になる.同じ温度になると区別がつかない.そこでエントロピーを使う. エントロピーは秩序の度合. ｢計算はどうやってやるんですか?｣｢高校の数学の組み合わせのように,袋の中のボールを取り出すように計算する,組み合わせが多いとエントロピーが大きい,同じ動きをしている球は
広告の追加,デッドロックの原因はcall stackを取っても不明,自動テストに1時間かかるので一部削除,object-fitにはwidth設定が必要

広告の追加 自分のサイトで一番下の広告が唯一有効だったことからシステムにも一番下に広告を配置してみました. yesodアプリケーションのデッドロック問題の原因はcall stackを取っても相変わらず不明 デッドロック問題は今のrunDB内部でのrunDBを減らしたのを取り込むことにしました. しかしやはり気になるため,callStackを見るためにステージング環境でstack b
2017衆院選に投票してきました,@tk1024_botさんと会ってきました

2017衆院選に投票してきました 埼玉1区で投票してきました小選挙区は極めて遺憾ですが希望の党のたけまさ公一に投票してきました,どうせ死票だし比例区は立憲民主党,民の字を書き間違えて二重線で訂正したので無効票になってないか不安裁判官審査は何も書かないと信任になることへの抗議で全部✗ — エヌユル (@ncaq) 2017年10月22日 小選挙区で希望の党に投票した言い訳をします
KeePassクライアントをKeePassXからKeePassXCに移行しました,みんなもパスワード管理にはKeePassを使いましょう

KeePassの紹介 みなさんパスワード管理には何を使っていますか?1Passwordとか,LastPassとか色々ありますよね. 私はKeePassというものを使っています. KeePassはオープンソースソフトウェア(GPL-2)で,完全に無料かつローカルで動くのが特徴です.1PasswordやLastPassと違って,｢お金を払う｣ことや｢サービス提供元がクラックされることを心配
UNIX(プロセス管理),アルゴリズムとデータ構造2(再帰),yesodアプリケーションのデッドロックの根本的原因がわからない

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

中間試験が持ち込みありの場合難しくなるという話があり,暗記力が無いので持ち込みはあった方が出来るのかな…という思いと,高度な数学の問題を解けるかわからないという思いがあり,持ち込みありかなしかの投票に手を挙げられませんでした. ｢中間試験の点数が悪かったらその先の授業についていくのは絶望的になる｣という絶望的な宣言がなされました. ｢中間試験にε-δ論法は出ますか?｣｢出ないとは言えない
計算理論(非決定性有限オートマトン,ε入力付非決定性有限オートマトン)

非決定性有限オートマトン 決定性オートマトンは遷移先が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)\)で表す. すなわち,\(f''(x) = \l
他の方の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} \frac{a^3 +
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 (warpSet
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-company-mode
dic-nico-intersection-pixivをpixivのサイトマップを使って生成するように変更しました

ncaq/dic-nico-intersection-pixiv: ニコニコ大百科とピクシブ百科事典の共通部分の辞書 東方天空璋が発売されたので,IME辞書を再生成しようと思いました. 軽量なネット用語辞書が欲しかったので,ニコニコ大百科とピクシブ百科事典の共通部分の辞書であるdic-nico-intersection-pixivを作りました - ncaqにも書いている通り,最後にサイト
大学院の入試に行って,教員に苦笑いされてきました

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

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

今日,院試の勉強をしていて,あまりにも何もかもがわからなくて,何故か論理式処理系を書いていました. 途中でよく考えたらCNFが元の真理値と等しいかQuickCheckで検証をする用途にパーサーを書く必要は無いと気が付きました. 中途半端なものですが,これ以上書き足す予定が無いので公開します. 未来にparsecの参考になるかもしれない. 以下のように使えます. λ> execPr
｢明利酒類 梅香 百年梅酒｣と｢『俺の妹がこんなに可愛いわけがない』とやり直す中学英語｣をプレゼントしてもらいました

こんな大きなもの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("input
これからの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はコスパが悪いか? iMac Pro - Apple（日本）が発表されましたね. 私はGentoo GNU/Linuxユーザで,ラップトップはDellを使用して,デスクトップは組み立てる人です.MacはGNU/Linux向けのドライバが中々提供されない
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系のみ対応とかやろ？ｗ」俺「…マジだった………」 — ば
エビリファイを投与された結果アカシジアによって静座不能になり地獄に居ました

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

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

帯状疱疹とは水痘ウイルスが体内で暴れ出して猛烈な痛みを伴う病気です. 知覚神経の走行に一致して、皮疹出現の数日前から違和感や疼痛が出現することが多い（皮疹と同時、或いは出現後の事もある）。その後一般に帯状に紅色丘疹・浮腫性紅斑・紅暈を伴う小水疱が列序性に出現し、疼痛やそう痒感を伴う。[5]。神経痛・神経障害のみで皮疹が出ないという病態(zoster sine herpete)もある。2
newspicksと欝の波がヤバかったので,就職活動で鬱病が悪化した,へのコメント返しを書きました

就職活動で鬱病が悪化した - ncaqへのコメント返しです. 鬱が多少回復してきたと思ったら時間帯の影響かウオーってなってきて電車内で叫びたくなってきたので電車内で代わりに追記しました.途中から冷めてきましたが,電車内で殆ど書いたのでせっかくなので書きました. 具体的なコメントが思いつかないのは言及していませんが割と読んでいます. 記事に追記しようかと思いましたが,結構な分量になったので
私は密接なコミュニケーションで交換された情報の公開権限がハッキリしないことを理解出来ませんでした

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

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

水没事故 うっかりNexus5を水没させてしまいました.ちゃんと乾かしてから起動したら動作はちゃんとしたのですが,何故かデータが全て吹き飛んでしまった.ストレージがやられた?復旧過程で一度データを全てwipeする作業が入った?原因はもはやよくわかりません. 大事なデータはクラウド上に置いてあるので,データが吹き飛んでも損害はないのですが,色々な再セットアップが面倒くさい.面倒くさいので
軽量なネット用語辞書が欲しかったので,ニコニコ大百科とピクシブ百科事典の共通部分の辞書であるdic-nico-intersection-pixivを作りました

データは現在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--> for th
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はきわめて便利なサイトであるし,私も記事を投稿したことはあるし,
このエントリーをはてなブックマークに追加 fb-like g-plusone チェック pocket