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

【お知らせ】プログラミング記事の投稿はQiitaに移行しました。

Skypeで読書会をやろう

勉強会

ノウハウの紹介です。ちょっとした勉強でも気軽に集まってできれば、一人では見落としていたことも見えて来ます。

しかし何か勉強したいことがあっても、知り合いは誰も興味を示さないということはよくあります。ネットで参加者を募集してSkypeで開催すれば、場所を借りるなどの手間もなく家にいながらにして勉強会が開催できます。分野も数学やIT系に限定するものではなく、語学や文学などにも適用できます。

技術的な面はSkype数学勉強会さんが既に確立されており、それをベースにアレンジした方法を紹介します。ここに改めて御礼申し上げます。

続きを読む

論理包含の定義に関する違和感について

論理学

論理包含という論理演算子があります。A ⇒ B は「AならばB」と読み、ブール代数的には !(A && !B)(または !A || B)と定義されます。

A B A ⇒ B !(A && !B)
T T (T ⇒ T) = T !(T && !T) = !(T && F) = !F = T
T F (T ⇒ F) = F !(T && !F) = !(T && T) = !T = F
F T (F ⇒ T) = T !(F && !T) = !(F && F) = !F = T
F F (F ⇒ F) = T !(F && !F) = !(F && T) = !F = T

後ろ2つ(AがFのとき)の定義に違和感があり、なぜこういう演算を考えたのか腑に落ちませんでした。あまり拘っても仕方ないのですが、一応、自分の中では決着が付いたので、現時点での理解を書いておきます。

続きを読む

MS Officeの数式をTeXに変換

F# Win32

Microsoft Officeで数式を書くのに慣れてTeX形式で入力するのが苦痛になって来たので、変換プログラムを作りました。Windows専用です。

【注】自分の必要とする範囲しか実装していません。変換部は200行程度なので、不足があればその都度手直しして使うことを想定しています。

続きを読む

Windows Updateを無効にするウィルス

ここ半年くらい自分の関係する範囲で、CPU使用率が張り付いてWindows Updateが無効になるという問題が頻発して悩んでいました。結論から言えばExpiroというウィルスの亜種が原因でした。

なお、似たような症状はサービスやドライバの不具合でも発生します。

使用しているウィルス対策ソフトウェアでは検出されなかったため原因を誤認し、ウィルスが原因だと気付くのに半年程度掛かってしまいました。同じ現象で悩んでいる方への情報提供として記事に残しておきます。

【注意】筆者はセキュリティの専門家ではありません。回答できるだけの知見もなく、ご相談には応じかねます。

続きを読む

Springer 無料本の紹介 (2016年1月5日現在)

2015年末にSpringerが本を大量に無料提供して話題になりましたが、特にアナウンスもないまま数日で提供は終了しました。

2016年1月5日現在、無料提供の本がまた少し増えているようです。その中からいくつか面白そうなものを選んでみました。いつまで提供が続くか不明なため、興味のある方はお早目に。

続きを読む

池袋バイナリ勉強会のシリーズ

勉強会

【お知らせ】2015年8月23日をもって会場は閉鎖となりました。一部の勉強会につきましては別会場にて存続します。

池袋バイナリ勉強会では色々なテーマを試して来ましたが、最後に残った勉強会をまとめました。

不定期
池袋バイナリ勉強会看板勉強会です。コンパイラやOSで遊びます。
池袋物理学勉強会古典力学からきっちり学んで、相対論、量子論の理解を目指します。
※ 別会場にて存続
毎月(休日)
初級ラテン語リーディング言語学的意義が非常に大きい言語です。勉強して損はありません。
※ 別会場にて存続
初心者のための線形代数勉強会行列やベクトルの性質を扱う数学の分野を勉強します。
※ 別会場にて存続
隔週(水曜日)
「理論から学ぶ データベース実践入門」読書会リレーショナルモデルによるデータベースの理論を本で勉強します。
※ 別会場にて存続

Windows上のXamarin StudioでF#プロジェクトをビルド

Mono F#

Windows上のXamarin StudioでF#プロジェクトをビルドしようとすると、最近のバージョンでは失敗します。

Xamarin Studio F# Language Binding 結果
4.0.12 3.2.15 OK
4.0.13 3.2.15 ビルドに失敗しました。. MSBuild operation failed
4.0.13 3.2.19 ビルドに失敗しました。. MSBuild operation failed

本体とアドインの組み合わせから推測すると、どうやら本体側の仕様変更が影響しているようです。

【追記】この件に関して、既にgithubのプロジェクトIssueが上がっていました。

続きを読む