みしょのねこごや

Diary - 2010年07月

RSS 1.0

07月02日

みしょの今後の予定について

各位

みしょの8月から10月にかけての予定がまとまりましたので御連絡申し上げます。東京にいない日々が続きますので,御注意下さい。

  • 8月5日~8月11日は,原子核三者若手 夏の学校のため,長野県に滞在しています。
  • 8月12日~8月19日は,SI2010のため,山梨県に滞在しています。
  • 8月20日~9月10日は,東京にいます。
  • 9月11日~9月14日は,日本物理学会 2010年秋季大会のため,福岡県にいます。
  • 9月15日~9月23日は,大分県の実家に帰省しています。
  • 9月26日~10月1日は,東京にいますが,COSMO/CosPA 2010に参加しているため時間はありません。
  • 10月3日~10月中旬にかけては,欧州にいます。

というわけで,8月20日~9月10日と9月24・25日以外は全て予定が埋まっておりますので,御注意下さい。

Comments

Commented by 名無しさん  at  2010/07/19(Mon) 16:37:43

その様子だと今年度の国1は落ちたな

Commented by みしょ  at  2010/07/19(Mon) 17:18:03

あ,受かってますw

もうすぐ人事院から成績が届くのでそれと一緒に書こうと思って……。

07月29日

gfortran + Flymake

最近,仕事の都合で,Fortranで数値計算をしている。CompilerとしてはGNU Fortranを使っているのだけど,GNU Fortranのerror出力が

test2.f:8.72:
 
      COMMON/PYDAT1/MSTU(200),PARU(200),MSTJ(200),PARJ(200)
                                                                       1
Error: Unexpected COMMON statement at (1)
test2.f:10.72:
 
      CALL PY3ENT(0,1,21,-1,30D0,0.9D0,0.7D0)
                                                                       1
Warning: Procedure 'py3ent' called with an implicit interface at (1)

みたいな破滅したカンジになっているので,あの有名なFlymakeが使えない。いや,使えるんだけど,警告がerror扱いされてしまって非常に困る。

と言うわけで,このメッセージをいわゆる「Flymake的に正しい」形,具体的にはgccのエラー出力

foobar.c:1: error: expected identifier or ‘(’ before ‘%lt;’ token
foobar.c:98:46: warning: unknown escape sequence '\c'

みたいに翻訳してくれるscriptを書いた。

#!/usr/bin/perl
  
our @hold;
our ($fname,$line,$ch);
 
foreach(<STDIN>){
  if($_ =~ "^ " || $_ =~ /^\s*$/){  # ignore 
    push(@hold,$_);
  }
  elsif($_ =~ /^(Warning|Error):/ and $fname && $line && $ch){ # The last line of Message-block
    chomp($_);
    print "$fname:$line: $_ (ch.$ch)\n";
    &clear_all;
  }
  elsif($_ =~ /^(.+?):(\d+?)\.(\d+):(\s*)/){ # The first line of Message-block
    push(@hold,$_);
    ($fname,$line,$ch) = ($1,$2,$3);
  }
  else{ # just print the line if it seems not in a Message-block
    push(@hold,$_);
    print @hold;
    &clear_all;
  }
}
  
print @hold; # print rest lines
exit 0;
  
sub clear_all{
  undef(@hold);
  undef($fname);
  undef($line);
  undef($ch);
}

これをerrwrapper.plとかで保存して,g77の標準error出力を標準出力に持っていった上でpipe使ってこいつに食わせてやると幸福が実現するんじゃないかと思います。つまりg77 -fsyntax-only test1.f 2>&1 | perl errwrapper.plとか。

で,こいつをflymakeに設定してやれば良いわけですね!


Fortran + Flymakeの設定をもう少し詳しく説明してみる

さて,Flymakeを使うには,makefileを使う方法と,.emacs中で直接commandを指定する方法の2通りが在りますが,このwrapperを使う方法はmakefileによる方法でしか使えません!!!

まぁもちろんみなさん当然makefileを使っているはずなので大丈夫でしょうが。

基本的に,.emacsの中に

;makefileがある場合にどういうcommandで文法確認をするかの設定
(defun flymake-fortran-get-make-cmdline (source base-dir)
  (setq source source)
  (list "make"
	(list "-s"
	      "-C"
	      base-dir
	      (concat "CHK_SOURCES=" source)
          "LANG=C"
	      check-syntax-f)))
  
(defun flymake-fortran-init ()
  (setq buffer-dir (file-name-directory buffer-file-name))
  (if (file-readable-p (expand-file-name (concat buffer-dir "makefile")))
      ;makefileがある場合
      (flymake-simple-make-init-impl
       'flymake-create-temp-inplace t t "makefile" 'flymake-fortran-get-make-cmdline)
      ;makefileが無い場合
      (let*
          (
           (temp-file   (flymake-init-create-temp-buffer-copy 'flymake-create-temp-inplace))
           (local-dir   buffer-dir)
           (local-file  (file-relative-name temp-file local-dir)))
        (list "gfortran" (list "-Wall" "-Wextra" "-fsyntax-only" local-file)))))
  
(defconst flymake-allowed-fortran-file-name-masks
  '(("\\.f$" flymake-fortran-init flymake-simple-cleanup flymake-get-real-file-name)))
  
(setq flymake-allowed-file-name-masks flymake-allowed-fortran-file-name-masks)
(flymake-mode t)

のような形でflymakeの設定をしていると思います。makefileがある場合にはcheck-syntax-fにより文法を確認する,という設定ですね。だから,makefileの中のこいつを,通常の

check-syntax-f:
	$(FC) -fsyntax-only $(FFLAGS) -S ${CHK_SOURCES}

から

check-syntax-f:
	$(FC) -fsyntax-only $(FFLAGS) -S ${CHK_SOURCES} 2>&1 | perl errwrapper.pl

に変更してやればよいだけです!簡単ですww

Comments

Commented by 名無しさん  at  2010/07/29(Thu) 23:50:49

ある家では、ペットボトルの天然水を毎月8本消費する。従来は全てスーパーで購入していたが、通信販売で6本入りケースを購入すると、1本当たり価格はスーパーの半額であり、別途、1回の配送につき、ケース数にかかわらず一律の配送料金がかかることが分かった。また、毎月、通信販売で1ケースを、スーパーで残り2本を購入すると月ごとの経費は従来より300円安くなり、3か月間に2回、通信販売で2ケースずつ購入すると月ごとの平均経費は従来より680円安くなることが分かった。この時、スーパーでの1本当たりの価格はいくらか。

1.160円

2.180円

3.200円

4.220円

5.240円

Commented by みしょ  at  2010/07/30(Fri) 12:26:02

中学校の宿題みたいだな……。

Commented by Elisa Brown  at  2017/04/29(Sat) 11:08:53

This is a comment to the Comment書き込み - Diary - みしょのねこごや webmaster. Your website is missing out on at least 300 visitors per day. Our traffic system will dramatically increase your traffic to your website: http://shorturl.van.ee/h - We offer 500 free targeted visitors during our free trial period and we offer up to 30,000 targeted visitors per month. Hope this helps :) - Unsubscribe here: http://www.arvut.org/1/eCN

Commented by Sarah Hughes  at  2017/06/14(Wed) 14:43:36

I came across your Comment書き込み - Diary - みしょのねこごや website and wanted to let you know that we have decided to open our POWERFUL and PRIVATE website traffic system to the public for a limited time! You can sign up for our targeted traffic network with a free trial as we make this offer available again. If you need targeted traffic that is interested in your subject matter or products start your free trial today: http://url.laspas.gr/hr Unsubscribe here: http://tdil.co/5p

Commented by Ann Weaver  at  2017/07/06(Thu) 07:14:35

I came to your Comment書き込み - Diary - みしょのねこごや page and noticed you could have a lot more traffic. I have found that the key to running a website is making sure the visitors you are getting are interested in your subject matter. We can send you targeted traffic and we let you try it for free. Get over 1,000 targeted visitors per day to your website. Start your free trial: http://stpicks.com/27 Unsubscribe here: http://pcgroup.com.uy/2a

Commented by Ann Weaver  at  2017/08/05(Sat) 05:14:15

I came to your Comment書き込み - Diary - みしょのねこごや page and noticed you could have a lot more traffic. I have found that the key to running a website is making sure the visitors you are getting are interested in your subject matter. We can send you targeted traffic and we let you try it for free. Get over 1,000 targeted visitors per day to your website. Start your free trial: http://stpicks.com/27 Unsubscribe here: http://pcgroup.com.uy/2a

Commented by Sarah Carlson  at  2017/08/20(Sun) 18:14:03

I came across your Comment書き込み - Diary - みしょのねこごや website and wanted to let you know that we have decided to open our POWERFUL and PRIVATE web traffic system to the public for a limited time! You can sign up for our targeted traffic network with a free trial as we make this offer available again. If you need targeted traffic that is interested in your subject matter or products start your free trial today: http://url.euqueroserummacaco.com/ifa Unsubscribe here: http://pcgroup.com.uy/2a