読者です 読者をやめる 読者になる 読者になる

それわかるぅ〜

日々「それわかるぅ〜」と思ったこと、忘れたくないことを徒然なるままに。Inputした情報を定着させるためのOutputの場として使用しています。誤字脱字等はたぶん仕様です。

遊戯王デュエルリンクスを英語ではなく日本語設定で遊ぶ方法

「遊戯王デュエルリンクスを英語ではなく日本語設定で遊ぶ方法」 これ、色んな人が悩んでるし、どのまとめとか二次情報適当に乗っけただけのサイト見ても、 setting=>languageから変えられるとかほざいてるし、「いや、ねぇよ糞ボケ!!!!」ってなる状態で…

鈴木このみさんの曲のサイリウムの色

今度初めてワンマンに行くので自分用にメモ。 間違えがあればご指摘ください。 CHOIR JAIL、残像未来、囚人、ワタモテ、AVENGE WORLD、追憶の黒き魔剣士、約束の続き 赤 DAYS of DASH、 I say "happy day! ピンク Fly to the stars、Teas BREAKER、Open hea…

JavaScriptのfor〜in文は値渡しである

タイトル通りJavaScriptのfor in文の値渡しについて、注意点をメモ。 var a = 1; var b = 2; var c = 3; var arr = [a, b, c]; var func1 = function(inputArr){ for(var n in inputArr){ n = 999; } }; func1(arr); console.log(arr); //出力は[1, 2, 3] fo…

JavaScriptでPOSTメソッドの必須でないパラメータの扱い

ちょっとメモ サーバ側の処理をJavaScriptで書いている時にPOSTメソッドで必須でないoptinalなパラメータがくっついてない場合をどう判定すればよいのかわからずいろいろと試した。 たとえば、/hogeというエンドポイントがサーバにあって、必須パラメータがi…

ChinaPostの追跡ができない件

Amazonでイヤホン買ったら「ChinaPostで送るやで〜」と2/26にメールで言われたのだが、本日3/1に自宅に到着するまで一瞬足りとも「お問合せ伝票番号」なるもので 発送状況を確認できなかった。いつホームページにアクセスして問い合わせ番号を入力しても無効…

dist_not_existsとdist_exists_or (ソフトウェアの基礎、Coq)のメモ

存在証明が絡むとややこしくなったのでメモ (** **** Exercise: 1 star (dist_not_exists) *) (** Prove that "[P] holds for all [x]" implies "there is no [x] for which [P] does not hold." *) Theorem dist_not_exists : forall (X:Type) (P : X -> Pr…

「コンピュータアーキテクチャ」を読んでる

世の東大生なる方々がどういう勉強してるのか気になって、 東大の教科書である坂井先生のコンピュータアーキテクチャを買って読んでみようと思った。 まあ京大の情報学研究科も東大の電子情報もテスト範囲だいたい被ってるし、 情報理論の教科書なんか一緒っ…

Coqの帰納的命題定義の型

ちょっと複雑だったのでメモ. Coqで帰納的に命題を定義する. 例: 自然数nは自然数m未満である. Inductive It : nat -> nat -> Prop := | It1 : forall n:nat , (It (S O) (S n)) | It2 : forall n:nat m:nat , (It n m) -> (It (S n) (S m)). とする. このと…

イヤホンケーブルを修理するときの端子のハンダ付け位置

秋葉原のオヤイデ電気のイヤホンケーブル(MMCX)がプラグのとこで断線したから修理した。 プラグだけぶった切って買ってきた新しいプラグにハンダ付けしようとしたけど、配線が三本あってどれがどう繋がるのかわからなくて、 テスターでどこが導通してるのか…

Emacsのアイコンをえとたま仕様に変える

テスト勉強で疲れたので息抜き。 Emacsのカスタムアイコンを作った。 「ソルラルゲットだにゃ〜」的な感じで、「えとたま」の「にゃ〜たん」仕様。 github.com 使い方 icnsフォルダのなかの好きなアイコンをEmacs.icnsという名前に変更して、Emacs.appを右ク…

講義 ヒューマンインタフェースのメモ

テスト対策メモ システムのインタフェースのユーザビリティ評価について 目次 目次 ユーザビリティ評価 種類 インタビュー 構造化インタビュー 非構造化インタビュー 半構造化インタビュー フォーカスグループ アンケート リカート尺度 SD尺度 ヒューリステ…

はてなブログの目次をカッコよく(?)付ける方法

目次 目次 はじめに はてなブログに目次を付ける方法! 枠をつける(カスタマイズする)方法! はじめに Markdownではてなブログで目次を付ける方法なのですが、 はてなブログが進化したっぽいので、前にも記事にしていた点をまとめ直します。 ちなみに過去…

false_beq_nat (ソフトウェアの基礎、Coq)のメモ

Coqの帰納法を忘れかけてたのでメモ (** **** Exercise: 2 stars (false_beq_nat) *) Theorem false_beq_nat : forall n m : nat, n <> m -> beq_nat n m = false. Proof. intros n. unfold not. induction n as [ | n']. - intros m H (**ここでmをintros**…

Macのtreeコマンド

Macのtreeコマンド導入したのでメモ。 フォルダの階層構造をテキストにして出力してくれる。 インストールは $ brew install tree でできる。使用方法は、階層を木構造で出力したいディレクトリに移動して、 $ tree -N -L 1 という感じでOK。ちなみにオプシ…

はてなブログのインラインコードの色を変更する方法

ちょっといじったのでメモ はてなブログのインラインコードの色を変更する方法です。 カスタマイズするには、CSSの.entry-content code {〜}のなかをいじればいい感じなんですね。自分は、 /*インラインコードの色*/ .entry-content code { font-size: 90%; …

替えてもらったばかりの新品のチェーンが切れた話

チェーンが切れた。 ついこの前の日曜日にとあるサイクルショップでチェーンの交換をしてもらったがそれがものの一週間もせずに切れた(金曜日しかもクリスマス)。 朝ジテツウで信号待ちから漕ぎだした瞬間、ペダルがカクンと軽くなった。 まじかよと思って…

Originの支払いがなかなか反映されない

なぜか久々にふとシムシティやりたくなってOriginでポチってコンビニ支払いしたら支払いしてから支払い完了になるまで3時間51分かかった。調べたら結構同じような人いるみたい。 あとは、この非力なMacBook Airでどこまで動くかが問題。

応用代数学 ~群論入門~

応用代数学の講義メモ 確認しておくべき事項とか群論を学ぶ上で知っておくべき用語. 群の条件 「結合法則」、「単位元の存在」、「逆元の存在」を満たす二項演算を持つ集合. 位数 群Gに含まれる元の個数を位数といい、と書く. 巡回群 1つの元のべき乗で全て…

emacsとAtomのキーバインドを自分好みにカスタマイズする

emacsとAtomのキーバインディングを自分用に割り当てる方法です. emacsのショートカットキーでコードの整形を行うC-M-\ってのが有りますけど、Macだとなぜかコマンドでバックスラッシュが入れられなくて困ってた. というわけで、これを書き換えます. 現在の…

ソフトウェア工学(ウォータフォールモデルの流れとアジャイル開発の方法)

序 ソフトウェア工学の講義の事項とその流れをざっと ソフトウェア設計方法のうち主にウォータフォールモデルに焦点を当て、 その上流工程である、「要求定義、分析」と、「設計」段階の流れを確認する さらに、ソフトウェア開発のプロジェクト管理の主流で…

数値解析(Euler法とか)~確認事項これだけ~

単精度実数 ただし、nは-126〜127 倍精度実数 ただし、nは-1022〜1023 漸化式の誤差 参考 http://www.misojiro.t.u-tokyo.ac.jp/~murota/lect-suchi/recrel131007.pdf 2次方程式での桁落ちによる誤差の拡散を防ぐ計算方法 定番 引き算(a-bなど)の桁落ちを防…

ラブライブ(アニメ/劇場版)のロケ地に行ってきたずら!!

インターンシップで東京に来て休日がしっかり取れたのでラブライブのロケ地を巡ってきたずら!! 俗にいう「聖地巡礼」ってやつです。 劇場版の公開も殆どの劇場で終わり、これ以上ラブライブ関係のコンテンツは新しい物は出てこないと思われるので、これか…

Markdownでのアンカーリンクの活用と目次の作成方法(テンプレ)

追記:本記事ではHTMLの基本に従って目次を付ける方法を記していますが、 2015年9月9日から新しく簡単にはてなブログに目次をつける記法が追加されました。 その点については emeraldwar.hatenablog.com で新しくまとめ直しました。よければ御覧ください。 …

MacでのAndroid端末のファクトリーイメージの焼き方、ダウングレードの方法 

Android端末のファクトリーイメージを焼く機会があったのですが、その時に少し苦労したので 今後のためにここにまとめておくこととします。 実際に僕はMacを使ってリリースされたばかりのAndroid 6.0のマシュマロのファクトリーイメージをNexus5にインストー…

Macのsed

先日シェルスクリプトをかじってみたらターミナルのコマンド"sed"の扱いがMacだけちょっと違うというかちょっと違ったコマンドがインストールされているみたいなので忘れないように書いておく。 sed -i '' 's/絢瀬絵里/南條愛乃/' hogehoge.txt これでhogeho…

コンパイラ作成のメモ書き

実験でコンパイラを作成した過程で必要になった事項を適当にまとめておく。 関数フレームとは実験で使う仕様に変更して書いてあるので一般的なものとすこし仕様が違うからちょっと注意。あと最後に例が少なくて本当に苦労したので実際のプログラムをアセンブ…

MacでのJDKのバージョンを簡単に切り替える方法

前からJDKは1.6を使っていたんだけれども半年ほど前に1.8に変えたらなんかバッテリーの減りが異常に早かったのでよく調べてみたら、どうやらJDKのバグで1.7とか1.8はバッテリーの減りが早くなるとのこと。それでいままでずっと1.6を使ってきたんだけども今回…

人工知能

講義メモ 具体的なアルゴリズムとかはここには書かない. 経路探索問題の定義 初期状態から目標状態までに至るオペレータの系列を発見する問題. 幅優先探索 探索木の接点をあるレベルの接点を全て展開してから次のレベルの節点を順次展開する. すなわち、早い…

ハフ変換(Hough変換) #メモ

メモ ハフ変換(Hough変換) 画像中の方程式を原点からの距離dと原点から引いた法線の角度θを用いて d = xcosθ + ysinθ として表し、格点(x, y)をパラメータ空間(d, θ)上にプロットし曲線を引き、その曲線が最も多く交わっている点を探し出しそこからパラメ…

語句対策自分用メモ(計算機アーキテクチャ2)

テストにでそうな語句とか事項の中でこれ多分テストとに出たら詰まりそうだな思うものを挙げておく. とりあえず今回はまる覚えでもいいや. またこんど必要になったらその都度調べれば良い???(自問自答..) というか点で覚えて解答書くときに線で繋げられ…

ホイールをアルテグラ(ULTEGRA WH-6800)に交換した感想

エントリーモデルのロードバイクを買ってみて、いろいろ調べてるうちにロードバイクの魅力にどっぷりハマってしまいました。 そんなわけで前々からホイール交換したいななんて思ってたのですが、バイト代が入ったのでアルテグラ買いました。 ULTEGRA アルテ…

Racketのeq? とequal?の違いについて

バグ探しで1時間ぐらい無駄にしたのでもう懲り懲りなのでここに書いておく。 そもそもこのまえコードをTAの方に見せたときに、「そういえば私もよく覚えてないんだけどeq?とequal?の違い分かってる??」って聞かれて、その時は適当に「えーっと、、評価結果…

Racket言語におけるconsとlist*、listの違い

学校の授業では嫌になるほどRacketでコードを書いていたけど、今日久々にlet*に遭遇してすっかり忘れていることに気づいた。 まとめておくと (list 1 2 3) は (cons 1 (cons 2 (cons 3 '()))) になって、 (list* 1 2 3) は (cons 1 (cons 2 3)) になる。 ち…