|
|
|
|
|
||
|
||
すべて | グループ指定なし | 伺か | 人工無能 | 身内 | その他 | プログラミング
2024-11-13
複圏〈オペラッド〉とプレ準同型射の圏
雑記／備忘
「論理や型理論の圏論的意味論 // 導出システムの圏と圏の圏」において、導出システム達を対象とする圏に触れました。しかし、導出システムのあいだの準同型射（それが圏の射となる）を素朴に考えていては、どうもうまくないようです。導出システムは、複圏…
複圏〈オペラッド〉とプレ準同型射の圏
2024-11-05
私の心を揺さぶったプログラミング言語
'Programming Languages That Blew My Mind'というブログ記事で、8歳からプログラマーとして活動しているDavid Tellerさんが、人生で出会った革新的なプログラミング言語について紹介している。
BASIC
A language designed to make programming simple.
Mind blown: Programming my own games!
Mind blown: Arrays (or DIM, as they were called)!
Mind blown: GOTO!
Mind blown: GOSUB!
Original, line-based, Basic is dead, but its legacy lives on in VB.Net, V
2024-10-20
ChromeのPDFリーダーでDark Readerを使って色反転する方法
LinuxではほぼデファクトスタンダードになっているPDFリーダー Evince (または派生のAtril)では色反転ができるので目にやさしい。 macOSでも同様のことがしたかったが、デフォルトのPDFリーダーPreviewだと色反転ができなくて困った。XQuartzを入れた上でHomebrewからEvinceを入れることもできるが、やはりあまりmacOSとの統合はよくない。
そこでChrome内のPDFリーダーを色反転できることが分かったのでメモしておく。
Dark Readerを入れる
darkreader.org
拡張機能の設定でローカルファイルへのアクセスを許可する
Chromeの拡張機能のリストからDark Readerの詳細ボタンを押して設定に入る
Dark Readerの設定で
www.textfile.org
読者になる
いまさらVC++
TẤT CẢ 78TRẬN HOT23HÔM NAY68ĐANG ĐÁ31
A LEAGUE
6'
Perth Glory
Western Sydney
blv：TẠ BIÊN GIỚI
BLV CÁ
BLV CRIS
BLV TAP
AFC U20W C
45'
Australia U20(w)
South Korea Women U20
blv：BLV A TÀI
BLV ENZO
BLV HOPE
ViệtName
GIẢI HẠNG NHÌ HÀN QUỐC
62'
LIVE
Gyeongnam FC
1
-
2
Chungnam Asan
XEM NGAY
blv：BLV EDWARD
GIẢI NGOẠI HẠNG TRUNG QUỐC
62'
LIVE
Chongqing Tongliangloong FC
1
-
1
Heilongjiang Lava Spring
XEM
shinichiro_h 2023-08-27 16:00 読者になる
yaneurao 2015-02-18 00:00 読者になる
▼ ▶
2012
2012 / 10
▼ ▶
2011
2011 / 8
▼ ▶
2010
2010 / 2
2010 / 1
▼ ▶
2009
2009 / 11
2009 / 10
2009 / 9
2009 / 8
2009 / 7
2009 / 6
2009 / 5
2009 / 4
2009 / 3
2009 / 2
2009 / 1
▼ ▶
2008
2008 / 12
2008 / 11
2008 / 10
2008 / 9
2008 / 8
2008 / 7
2008 / 6
2008 / 5
2008 / 4
2008 / 3
2008 / 2
2008 / 1
▼ ▶
2007
2007 / 12
2007 / 11
2007 / 10
2007 / 9
2007 / 8
2007 / 7
2007 / 6
2007 / 5
2007 / 4
2007 / 3
2007
Forbidden
https://kizz.hatenadiary.org/ は非公開に設定されています。
はてなブログとは
はてなブログ アカデミー
法人プラン
アプリ
テーマ ストア
旬のトピック
グループ
著名人ブログ
今週のお題
機能変更・お知らせ・ヘルプ
はてなブログ開発ブログ
週刊はてなブログ
ヘルプ
障害情報
FAQ / お問い合わせ窓口
利用規約
プライバシーポリシー
はてなブログの活用事例
OSSコミュニティ支援プログラム
学校支援プログラム
NPO支援プログラム
図書館支援プログラム
クリエイターのためのはてなブログ
広告掲載について
関連サービス紹介
はてなブックマーク
はてなフォトライフ
はてなブログ タグ
カラースター
日本語 English
Copyright (C) 2001-2021 Hatena. All Rights Reserved.
書き残そう、あ
意外かもしれないが、初デスクトップ。今回はサイコムというところで注文した。自作という選択肢もあったが、自分の不器用さをよく承知しているので(最近では液漏れで止まった時計を修理しようと分解して、再起不能にした)、BTOに。スペックは、
それに比較対象がThinkPad T460s (Core i7 6600U) 2 core 4 threadだからねえ
追記
サイコムから返事来た。送料着払いでボード２枚を返却したら、ボードぶんの代金を返金するとのこと。やさしい。
Common Lispからweb browserを操る
12月 27th, 2017
Web browser (以下、ブラウザ) 上でのちょっとした作業を自動化したいことは時折あると思います。そういった自動化をCommon Lispで出来ないものかと思い、色々と調べながら試してみました。
Selenium
テキトーに調べた所、Seleniumというのを使うと簡単にブラウザ上での作業を自動化できるようです。ブラウザを動かしたいマシンでSelenium Standalone Serverとやらを動かして、そこにHTTPリクエストを投げるとそれに応じてブラウザが色々やってくれるとかなんとか。とにかく自分で書く自動化用のプログラムはHTTPリクエストを投げるだけで、難しいところはSeleniumが全部やってくれると。簡単。詳しくは詳しい人に聞いてください。
CL Selenium WebDrive
アクセスが禁止されています。
ブラウザで再読み込み(Reload)や再起動していただいても表示されない場合は、URLが間違っているか、
ココログ開設者がココログを閉じた可能性があります。
ココログトップへ戻る >>
>> すぐに@niftyトップページを見る
ジャンプさせない
―――――――― AD ――――――――
個人情報保護ポリシー
■ Google、「Chromium OS」を公開
http://www.publickey.jp/blog/09/chrome_os.html
■ シャットダウンも日本語入力もできない?
http://blog.livedoor.jp/dankogai/archives/51325262.html
■ Chronium OSのコンパイル手順
http://d.hatena.ne.jp/showyou/20091120/1258687525
■ IBM developerWorks:Scitter(ScalaのTwitterクライアントライブラリ)を使ってTwitterを更新する
http://www.ibm.com/developerworks/jp/java/library/j-scala10209.html
■ IBM developerWorks:Web アプリケーションのセキュリ