|
|
|
|
|
||
|
||
2024-04-09 (Tue)
#1 Coq の P -> False を ~P に変える
先に結論を書いておく: change (~ P) もしくは change (?p -> False) with (~ p) を使えばよい
Coq で、~P というのは、not P の notation である。
not は以下のように定義される。
Definition not := fun A : Pro
散財日記
読者になる
Generated by tDiary version 5.2.3
Powered by Ruby version 3.1.2-p20
4774151661
4798116904
483992967X
4839928266
4844325795
4774132551
4274066347
Generated by tDiary version 5.2.3
Powered by Ruby version 3.1.2-p20
Powered by Ruby version 2.7.4-p191
[URL] [View Log(0)] [Trackback] Name: Comment:
« February 2022
10月上旬
2019年10月2日(水)
■ 正当なメールアドレスが使えないのは不当か
_ Jリーグチケットは正当なメールアドレスを受け付けないという話。
_ 自分も y@ という1文字ローカルパートなメールアドレスを使ってるのでときどき同じ罠にひっかかるけど、まあそういうもんだと思うけどね。イラッとすることは否定しないけど。RFC で制限されてないからといって、アプリケーションが独自に制限
bkブログ
プログラミングやバッドノウハウについてのブログ
2004-2011年に書いていたブログのアーカイブです。
机の上のもののワイヤレス化 - Microsoft Arc Keyboard の導入
iPodは何を変えたのか? 人が問題にぶち当たったときには、どうするか?
ソフトウエアの肥大化について、の続き
ソフトウェアの肥大化について
ある程度の年齢を迎えたプログラマが抱える悩み
Unic
Hena Hena Nikki
2003|05|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08
- 名無しのリーク (02-15)
指定されたページは存在しませんでした。
> TOPページへ戻る
当サイト内のコンテンツ・画像データの、転載・転用・加工・無断複製は禁止いたします。
Copyright © TAMURA YUKARI. All Rights Reserved
2015年12月29日(火)[n年日記]
[天気:??] 体重:75.8 (19.5;8)Kg 睡眠:4時間
#1 5時半起き。
ふむ。
洗濯*2、ながらジョギング + 録画番組消化(早見早聞)。
2015年12月28日(月)[n年日記]
[天気:??] 体重:75.1 (19.7;7)Kg 睡眠:5.5時間
#1 5時半起き。
ふむ。
久しぶりに寝付きが悪かった…
ながらジョギング + 録画番組
平成25年8月17日(土曜日)
☆今日
．.
2012/09/19 (水)
■Android のノベルゲーム (android, ADV)
_いくつか入れていろいろ確認してみた。動作確認環境は SC-05D(ICS)。金かけてそうな著名2タイトルと、最近なんかはやってるぽい Artemis Engine 採用タイトルを一つ
_とりあえず全体雑感。いずれのタイトルも横画面固定起動になってしまっているのは微妙。起動時の画面のまま動いてほしい。縦画
make your @data_path to writable via httpd. directory /var/tdiary/teranisi does not exist (TDiary::PermissionError)/home/gohome/htdocs/teranisi/news/tdiary/pstoreio.rb:32:in `transaction’/home/gohome/
2011年06月11日(土)
★ ruby on Mac OS X
OSX ではどの ruby を使うのが良いの?
OSX 付属版
/System/Library/Frameworks/Ruby.framework/Versions/Current/usr/bin/ruby
ruby 1.8.7 (2009-06-12 patchlevel 174) [universal-darwin10.0]
■ webif.cgiが使えないにゃ
Tweetしょうがないのでサーバにログインしてviで書いています。
trackback [http://yar-3.net/d/hns-tb.cgi/201102203]
2009|01|02|
Posted by issei 2010-07-02 22:38:55 | コメント(1) | トラックバック(0)カテゴリ: 雑記
The tuesday birthday problem
2010年04月20日(火)[同じ日付をまとめて見る]
#1 納品書兼領収書
amazonから届いた箱を開けて内容を確認すると納品書に見覚えのない文字が...納品書の宛て名を確かめるとわしの名ではない文字が...うぅぅ! 梱包ミスか!!と思って中身を確かめるとわし宛ての納品書とそれに従った中身が入っていた。つまりはわし宛てではない納品書がまぎれて梱包されている。
わし的には何ら問題は無いのだけれど
Smells Like Teen Spirit の適当なギター、、、おぉ!! って感じ !?全体的にいい感じなのだが、ライブでの音圧(ライブ感)が足らないという気がする。
7月の日記 | 掲示板
7月7日(月)
http://chig.vis.ne.jp/d/200807.html#d07
■ たなばた
｜
｜
+----＋----+
| ○ |
| ★ |
| ☆ |
| |
| |
| う |
| な |
| じ |
| が |
| た |
| り |
| な |
| い |
| |
| |
| |
| |
| ★ |
| ☆ |
| ★ |
+--------