群の自分自身への写像をと定義する. (は反準同型と呼ばれる)を示せ. の部分群に対し, は,

AstahとC#の間の連携がショボい。C#のソースコードをインポートする、非サポートのAstahプラグインがあるけど、 「Doxygen使います」とか、コメントのインポートに対応してなかったりとか。悲しい。C#コードからヘルプファイル(.CHMなど)を生成するツールと…

うーむ、位相幾何は面白いんだけど、都合がつかないー。http://surikenclub.fc2web.com/study/study.html

http://kokucheese.com/event/index/82794/個人的な勉強として始めました。

https://github.com/taskadapter/ ってところに、redmine-java-apiというのがある。規模的に、Scalaの練習にちょうど良いのでコンバートしている。https://github.com/kencoba/redmine-scala-api

https://www.coursera.org/course/progfun次回は2013/3/25開始。

Scalaで。 selection関数の参考にさせていただいたサイトを失念・・・。 /** 4種類のアルファベット "A,C,G,T" から成るn文字の文字列のうち、"AAG"とい う並びが含まれる文字列を全て列挙するプログラムを書きなさい。ただし、nは 3以上の整数とし、文字列…

私は形式手法とか数学に近い技術大好きです。 近々「MAUDE」の調査勉強会を開こうと画策してます。 そんな私が、Soft Systems Methodologyとか、World Cafeに 強い興味を示すと、「違和感がある」とおっしゃる人がときどきいます。理由は簡単なことです。理…

スライドにソースコードを貼りつけることがしょっちゅうあるんですが、 キーワードハイライトがやりにくくてしょうがないです。 うまい方法があったら教えてください。 Option Explicit Public Sub CSharpのキーワードの色を変更する() Dim keywordList() As…

http://topse.or.jp/2012/12/1678サンプルファイル群はこちら。 https://github.com/kencoba/alloy-introduction

なんで「全てを検索」ボタンはあるのに、ExcelVBAの標準機能として提供されとらんのだ。 Option Explicit Public Function 全件検索(ByVal シート名 As String, ByVal 検索範囲 As String, ByVal キーワード As String) As Integer 全件検索 = 検索(Workshee…

「ディレクトリ名,ブック名,シート名,コピー先シート名」 のリストを2行目以降に書いて、下記のマクロを実行すると、 新しいブックに全部集約してくれる。 Option Explicit Sub ワークシート集約() Dim bkInput As Workbook Set bkInput = ThisWorkbook Dim …

異なるn個のものからr個とる順列 異なるn個のものからrとる組み合わせ

どうしてみんなGUIでやりたがるんだろう。 いや、最初はGUIでもいいのかもしれないが、 保守できるわけなかろう。 というわけで、以前からPlantUMLには注目していました。 http://plantuml.sourceforge.net/index.html 標準のUMLの記号と違っている部分が結…

新人研修のプログラム課題においては、標準入出力を使うものが多々あります。 そういったものは目視で動作確認してるんですが、 やはり問題集を作るとなると、自動テストを回したい気がします。 import java.io.IOException; import java.io.InputStream; /*…

clj.batを準備 @echo off setlocal enabledelayedexpansion set CLOJURE_HOME=d:\usr\clojure set CLOJURE_HOME_VERSION=clojure-1.4.0 set CLASSPATH=%CLASSPATH%;.;.\src;.\classes for %%i in (%CLOJURE_HOME%\%CLOJURE_HOME_VERSION%\*.jar) do set CLAS…

Option Explicit ' 大項目、中項目、小項目形式で書かれた表の罫線を綺麗に整理する ' 空白のセルは罫線を引かないように整理する Sub FormatRuledLine() For Each c In Selection c.Borders.LineStyle = xlContinuous If c.Value = "" Then c.Borders(xlEdg…

Formal Methods Forumにて、MAUDE 2.0 Primerを輪読中。 fmod AUTHOR is protecting STRING . sort CatalogCard . sorts Name Title PublDate Location . subsort String < Name . subsort String < Title . subsort String < PublDate . subsort String < L…

auto-install-batch Symbol's value variable is void: ●● <- ●のところはwgetが出力するusageってのがでて、anything.elがインストールできない。どうもWindowsに入れてるwgetには --no-check-certificateというオプションが無いみたいですね。 というわけ…

みなさんのまわりの「信頼できる」エンジニアは、コンピュータをどう操作してますか?新人研修を終えたあと、「新人が使えない」と言われる原因の一つに、研修を終えた後もPCの操作は素人と同じ、というのがあるんじゃないだろうか。全部マウスでいちいち操作…

技術講師の採用人事とかやることになったらどうしよう、と思ったので書く。 みなさんは技術講師できる人って、どういう人だと思いますか? なんでも即答しちゃう講師に当たった受講者が抱く印象として、「何でも知ってるすごい人」 「何でもできるスーパーエ…

5月13日はスタートAlloyでした。 http://atnd.org/events/27160http://d.hatena.ne.jp/nishiohirokazu/20120513/1336914770個人的には、モデリングのコツが見えた気がした。うまくモデリングを進められたチームは、 「こういうインスタンスを出したい!(図を…

形式手法をきっかけに、純粋数学の勉強を続けています。 位相空間とか、ルベーグ積分とか。とかとか。「数学を勉強していっても、関数型プログラミングには関係ないよ。」 「形式手法と純粋数学が直接結びつくわけじゃない。」 「プログラミングに応用されて…

研修のコースウェア、テキストは重要です。それはわかります。 だけど辞典のように完璧に作ろうとすると、結局受講者のためにはならないよね。 最終的に信頼できるのは一次情報でしょう。規格、原典、バイブル。それを読めるようにサポートするのが研修コン…

みなさんのまわりの「信頼できる」エンジニアは、コンピュータをどう操作してますか? 新人研修を終えたあと、「新人が使えない」と言われる原因の一つに、研修を終えた後もPCの操作は素人と同じ、というのがあるんじゃないだろうか。全部マウスでいちいち操…

新人研修をしていると、プロジェクトチームメンバとして活躍できる人を 考え直す機会になる。 大事なのは、チームワークができるかどうかだ。 体力的、精神的にタフであること。 前向きで明るい、笑顔であること。 周囲の状況を良く確認しながら行動できるこ…

今年も新人研修講師。 みんなにはプログラミングを楽しんでほしい。 ソフトウェアエンジニアとしての楽しみを見つけてほしいと切に願います。というわけで参考にするためのリンク。 http://d.hatena.ne.jp/tamuken1986/20080825/1219690549 http://seino-tak…

http://xahlee.org/visual_basic/emacs_visualbasic_mode.htmlすごいプログラミング言語があってね・・・とかいうのは好きですが。 実務で間違いを無くしたいなら、 そもそも雑多なデータをなんとかしないとなぁ。 というわけで、今更ながら、VBAをemacsで編…

与えられた台集合と空間が、位相空間の条件を満たすかどうかを調べる関数を 作っている途中。 (use '[clojure.contrib.combinatorics :only (subsets)]) (use '[clojure.set :only (subset? superset? intersection union)]) (defn equalset? [set1 set2] (a…

http://maude.cs.uiuc.edu/primer/Maude 2.0 Primerは全6章。例題と解答付。 1. Foundation 2. Functional Modules 3. System Modules 4. Full Maude & Object-oriented Modules 5. Parameterization 6. Meta-Programming ということで、全6回で勉強会を進め…