まもなく2012年も終わりですね． 某同期に習って，今年のまとめを． 結婚式を挙げました プライベートで最も大きな出来事でした． 準備はじっくりと，そして式自体はあっという間． 皆様が来てくれたおかげで，幸せな時間を過ごすことができました． ありが…

SAT(充足可能問題)を解く必要があったので，高速なSATソルバーのMiniSatをPythonから触るラッパーを書いてみた． ダウンロード githubにあげてあります．shtaxxx:pyminisat 使い方 SatSolver()がソルバーでSatVarが変数． SatSolver.append()で節を追加して…

svn mergeを使う svn merge -r current_rev:past_rev path 参考 こちらを参考にさせて頂きました．ありがとうございました．

コマンドプロンプトで以下のコマンドを実行する． 管理者権限が必要なため，コマンドプロンプトを右クリックして「管理者モードで実行する」を選択する． フォルダのシンボリックリンクを作成する場合は/dオプションをつける． ファイルの場合は/dオプション…

/etc/udev/rules.d/60-udev.rules KERNEL=="ttyUSB*", GROUP="grpname", MODE="0666"

Queue.put()とQueue.getを使う． import threading import thread from Queue import Queue def threaded_func(a, b, q): #return a + b ret = a + b q.put(ret) def main(): q = Queue() th = threading.Thread(target=threaded_func, args=(1, 2, q)) th.s…

休日のプログラミングネタのメモ． flymakeでVerilog HDLのSyntaxチェックをダイナミックにできるようにしてみよう． iverilog -tnull src.v でSyntax Checkだけにできるみたい．

stderrの出力をlessなどで見たいときには command 2>&1 |lessでstderrがstdoutに渡される．

リモートsvnリポジトリを持ってくる (svn co) git svn clone svn+ssh://url.com/svnroot/projectname/trunk ローカルコミット git commit -m "message" リモートsvnリポジトリにコミット (svn ci) git svn dcommit リモートsvnリポジトリの状態を反映させる …

Subversion使いの自分がgithubを使うためのコマンド集． ローカルのリポジトリを作成する git init 既存のリポジトリを持ってくる (svn checkout) git clone https://github.com/shtaxxx/projectname.git ファイルを管理対象に加える (svn add) git add file…

tx_data0とTX_DATA0は別の変数ですか．そうですか． 基本同じ字面で大文字小文字が異なるだけの変数名は使ってはいかーん．

eth0のリンク速度を見るにはethtoolをつかう． CentOSでは/sbin/にあります． Ubuntuではどうやら標準ではインストールされていないようなので，apt-getでインストール． ethtool eth0

-L オプションを使うとよい． ps auxww -L

昼過ぎに自宅でまったりコーヒーブレイク． 夕飯はハンバーグ． 自分はこねるのを担当． いつもより大きめで焼くのに時間がかかったらしいけど，おいしかった． 頭を使わなければいけないことが沢山あるんだけど，解決法の糸をたぐり寄せるのが大変． この二…

計算機資源は豊富にあるのに，かっこいい研究ができていないこのもどかしさ． 足りないのは我慢か自制か努力か，それとも頭脳か．うーん．

せっかくgithubのアカウントを作成したので，普段僕が最も利用している，SSHポートフォワーディングを管理するRubyスクリプトを公開しました．shtaxxx / portforwarding sshポートフォワーディング sshのポートフォワーディング機能を利用することで，ゲート…

今日は自転車でちょっと遠出をしてリフレッシュ． 運転中は余計なことを考えないので頭がすっきりする． カフェでちょっとPygraphvizとNetworkXと戯れたあと，つけ麺を食べに移動． 夜はVerilog HDLのデータフローをPygraphvizで可視化できたので満足． 条件…

PythonのPygraphvizとNetworkXって何が違うの？ わからんぞー．

ThunderbirdでGmailを利用する際に，ツール→アカウント設定の「送信控えと特別なフォルダ」を正しく設定しないと，Web版Gmailを利用したときに下書きなどをうまく管理できません． メッセージ送信時に自動的にコピーを作成する チェックを外す アーカイブの…

教員の皆様は，自分の発言によって学生のモチベーションを引き出すのは難しいことを理解してください． そして，自分の発言によって学生のモチベーションを劇的に下げることが簡単にできることを肝に銘じてください．

今日から毎日の記録を公開用日記でつけてみたいと思います． 支障のない範囲で研究内容についても書いておきたいと思います． 10時からミーティング×２．講義で出席できない人も多かったようです． 先々週の合同ワークショップでの発表を振り返ってもらい，…

３連休をエンジョイしてしまった後に気づいたこの絶望． 明日，10時からゼミじゃん． それまでに発表資料作らなきゃいけないじゃん． 明日のゼミでは次の研究会発表に向けていろいろ話さなきゃいけないじゃん． そして今週末が発表申し込み締め切りじゃん． …

通る研究・使える研究やってんの？ 寝不足だっていってんの

自分の理想像って大きいんだなぁ． 気づけば理想と現実との差が大きくなっていく． あーよくわかんねー． ２，３ヶ月ニート生活したいわー．

えー情報系の学生なのにgithubのアカウントも持ってないのー？な感じになったので，githubのアカウントを作りました． 大したものはあげていませんが，いろいろ公開していきたいと思います．https://github.com/shtaxxx

仮想ウィンドウシステムscreenではhardstatusの設定をすることで，こんな感じに現在のウィンドウ一覧を画面下方に表示することができます． ウィンドウ名はデフォルトではシェルの名前（bash使いの僕の場合はbash）となっています． コマンドを実行すること…

自分用の解決方法メモ Virtualboxの設定を確認する Virtualbox一般の環境設定→ネットワークvboxnet0が追加されているか 仮想マシンの設定でホストオンリーアダプタが追加されているか いくつかファイルを編集 /etc/udev/rules.d/70-persistent-net.rules中の…

今人気のコミュニケーションアプリLINE． スマートフォンでのみ利用している方が多いと思いますが，iPad等を持っているとそちらでも利用したくなりますよね．そこでiPadにLINEをインストールし，「メールアドレスで読み込み」をしてログイン完了すると，以前…

また論文がRejectされました． 最近，全然論文が通らない． 通るような研究できていないんだろうなぁ． ちょっと冷静になろう．どうすればいいんだろう． 良い研究をして良い論文を書く． そのための，1ステップずつの具体的なフローが必要． 今が踏ん張りど…

シミュレーション実行時に引数を渡す $value$plusargs("arg_description", arg_var)を使う．当該引数がない場合には$value$plusargs()は0を返す． テストコード (test.v) ARG0とARG1が引数名，var_aとvar_bが実際に引数が渡される変数． module test; reg [7…