Jekyll2025-07-17T14:49:20+00:00https://www.calc.mie.jp/feed.xml計算研究会計算研究会のホームページです。私たちは三重大学を主軸に活動する「計算」の研究会です。計算研究会HPの環境について@20252025-07-17T00:00:00+00:002025-07-17T00:00:00+00:00https://www.calc.mie.jp/2025/07/17/HPenv32024年度版から変わったこと

このPRでやったことを書きます。

そもそもvscodeから開発できない

ページ内容を更新しようとcloneしコンテナを立ち上げると、エラーで終了します。

大体は「バージョンがどうのこうの」というエラーだったので、諸々のバージョンを雑に上げていきます。

docker imageのバージョンはすぐに上げられたのですが、Gemfile.lockがあるのにエラーを吐いているruby周りはよくわかりません。 エラーを斜め読みしていた限り、imageのバージョンを上げたことでgemの何かしらと相性が悪くなったんだろうと思います。

そこでGemfile.lockを削除し、ついでにGemfileで指定しているgithub-pagesのバージョンを上げ、最後にbundler installでライブラリを入れ直します。

これですんなりと動きました。

jekyllの自動更新が止まらない

index.mdを更新して保存すると、ページの自動更新が無限ループしています。

ログを見ると、_siteフォルダ内の更新を検出してしまい、_siteの中へ記事をレンダリングし直したものを書き込み、再び更新を検出し……という状態に陥っていました。

そこでjekyllのオプションを眺めると、excludeがありました。

以前は_siteはデフォルトで監視対象外だったような気がするのですが、ともかく、これを_config.ymlに書けば自動更新の無限ループが止まりました。

おまけ

imageのバージョンを上げbundler installを一旦コメントアウトすると、コンテナは建つもののすぐに落ちてしまいます。

compose.yml記載のcommandが動いていないため、コンテナが起動し続ける理由がなくなり終了していたようです。

いつもはcommandにワンライナーでsleepをfor文でぶん回すのですが、どうやらtty: trueだけでいい感じに接続が維持できるようでした。

おわり

割とさくっと終わりました。

古い記事を眺めていたら数式のレンダリングができていないことに気づきました、気が向いたら修正します。Jektexなるものを見つけたので、これを試すつもりです。

]]>85yago計算研究会HPの環境について@20242024-04-06T00:00:00+00:002024-04-06T00:00:00+00:00https://www.calc.mie.jp/2024/04/06/HPenv22023年度版と変わったこと

このPRでやってたことを書きます。

dockerfileを更新

以前使っていたjekyllのdocker imagerockstorm/jekyll:pages-v228-minimalが更新されなくなってたので手書きしました。

FROM ruby:3.3-alpine3.19

RUN apk --no-cache add \
    build-base
RUN gem install bundler

COPY Gemfile /tmp/
COPY Gemfile.lock /tmp/
WORKDIR /tmp
RUN bundler install

重要なのはこれだけです。

bundler installするのを.devcontainer/devcontainer.jsonのpostCreateCommandとかでするべきか迷いました。 ビルドし直すたびに下で開いて動いてるのは遅いのと、そう変わることはないだろうということでdockerfileでやってしまいます。

ついでにGemfileの中身もすっきりしておきました。

記事のyaml headerにlayoutを追加

仕様が変わったのか、手元で動かしていたら以下のようにCSSが適用されなくなっていました。

yaml headerにlayoutを追加する前の記事

使っているレイアウトのリポジトリを見に行くと、yaml headerに諸々書いてあるようなので追記しておきます。

記事の2行目に書いておけば良さそうなので、_postsフォルダへ移動してから、 sed -i -e "2i layout: post"みたいな感じで片付けました。

jekyll serveのオプション色々

一通り直し終わってimageをビルドし直して開くとページが見れなくなっていました。 コンテナの中からcurlで叩くと見えるので、おかしいなぁ～と思っていたんですが、-Hオプションで0.0.0.0を指定してやることで直りました。 なんで今まで動いていたんですか……？

helpを眺めていたら--futureというオプションも見つけたのでこれも追加しておきます。 未来の日付の記事を描画してくれます。

書いている途中に気付いたのですが、_postフォルダの中を更新してもビルドが走らず、--watchオプションが微妙に機能していません。 りどみを保存すると走ります。 composeで雑にマウントしてるのが原因なんじゃないかとにらんでいます。

おわり

さらっと書きましたが、「なんで動かないんだ～～～～～」を100回くらいやっていたので時間が掛かりました。

]]>85yago計算研究会HPの環境について@20232023-04-28T00:00:00+00:002023-04-28T00:00:00+00:00https://www.calc.mie.jp/2023/04/28/HPenv一言で

Jekyllを用いてマークダウンで書かれた記事を変換しGitHub Pagesに置いています。

Jekyll

Jekyllはシンプルな静的サイトを作成できるRuby製のソフトです。

Directory Structureで定義されているようなファイル構成をとっています。本HPの実際のファイルはここにあります。

マークダウンに加え、Liquidというテンプレートエンジンも利用可能です。また、HTMLとCSSも使用可能です。

GitHub Pages

GitHubのホスティングサービスで、リポジトリの内容をそのまま公開したり、Actionsを使ってページを生成することもできます。

Jekyllとの連携がかなり優秀で、簡単にこのHPのようなサイトを生成できます。いくつかのファイルを設定し、Pagesを使う設定をすることで、このHPは生成されています。

詳しくはJekyllを使用してGitHub Pagesサイトを設定するを確認してください。

]]>85yagoGrowiを計算研究会のwikiとして利用を開始しました2020-12-19T00:00:00+00:002020-12-19T00:00:00+00:00https://www.calc.mie.jp/2020/12/19/growi-setupはじめに

計算研究会では以下の2つのツールを用いていました.

  1. 学祭の会議の議事録や$n$人で集まってゼミをする$n$頭勉強会の共有資料として HackMD(https://hackmd.io)
  2. https://wiki.calc.mie.jp のサーバアプリケーションとしてdokuwiki(https://www.dokuwiki.org/)

HackMDを使って複数人で文書を操作し, 出来上がったものをwikiに保存,継承するという形式をとっていました.

しかし,別々のmarkdownの方言を使っているのでwikiへの保存がかなり大きなタスクとなっていました. この点を解決する方法を探していたところ,Growi(https://github.com/weseek/growi-docker-compose)がモダンで使いやすいGUIを持っていて良さそうだったので導入してみたところかなり好評でした.

この記事ではGrowiのセットアップで特に困った点を記述します.

手順

  1. docker-composeをインストールする(https://docs.docker.jp/compose/install.html)
  2. growi-docker-composeをクローンして各種設定をする.
  3. docker-compose up -dでサーバを立ち上げる
  4. systemdのファイルを作成する.

各種設定(抜粋)

今回はCodiMD(md.calc.mie.jp)とGrowi(wiki.calc.mie.jp)を それぞれ別のドメインに割り当てました. Growiのconfigで設定すべき環境変数を以下に示します.

  • docker-compose.yml
services:
 app:
  ports:
   - 3000:3000
  environment:
   - HACKMD_URI=https://md.calc.mie.jp 
   - APP_SITE_URL=https://wiki.calc.mie.jp
  • docker-compose.override.yml
services:
 hackmd:
  environment:
   - GROWI_URI=https://wiki.calc.mie.jp
   - CMD_PORT=3100
   - CMD_ALLOW_ANONYMOUS=false
  port:
   -3100:3100
  • nginxのmd.calc.mie.jpのためのconfig
server {
        server_name md.calc.mie.jp;
}

server {
        # CodiMD
        location / {
                proxy_pass http://127.0.0.1:3100;
        }
}
  • nginxのwiki.calc.mie.jpのためのconfig
server {
        server_name wiki.calc.mie.jp;
}

server { 
        # Growi
        location / {
                proxy_pass http://127.0.0.1:3000;
        }
}

現在起こっているエラーと暫定的な回避方法

CMD_ALLOW_ANONYMOUS=falseの状態で作られたGrowiのページは永久的に(?)HackMD連携が行われませんでした(解決しませんでした…) GrowiクライアントからCodiMDのページに複製するときにANONIMOUSで新規ページを立てることになるからかと考えていますが, CMD_ALLOW_ANONYMOUS=falseでない状態で作成されたページをCMD_ALLOW_ANONYMOUS=falseの状態で起動した状態でHackMD連携をすると正常な動作をするのでよくわかっていません.

暫定的な回避方法として,CodiMDにアカウントを登録してGrowiクライアント内でログインして新規ページの作成をするとうまく連携がとれるようです.

まとめ

https://calc.mie.jp は外部向けの文書を公開し, https://wiki.calc.mie.jp は内部向けの文書を公開しながらも蓄えておくように運用していきます.

]]>flow_6852もっとHaskellでAtCoderに参加したい2020-12-16T00:00:00+00:002020-12-16T00:00:00+00:00https://www.calc.mie.jp/2020/12/16/atsubmit2はじめに

以前記事にした(なるべく)HaskellでAtCoderに参加したいの改良をしました.

https://github.com/flow6852/atsubmit

にソースがあり,使い方やサーバの詳しいAPIは載せようと考えています. ここでは前回からの改善とGADTsをどこで用いているかを記述します.

前回からの改善

  1. 各APIをGADTsを用いた実装に変更しました.
  2. 筆者はvimmerで,いちいちブラウザで問題文を読むのも億劫なのでvimのtex_concealを使ってvimの中で完結できるようにvimscriptを書きました.
  3. 今までのコマンドを確認するlogコマンドを追加しました.
  4. 問題のhtmlファイルがクライアントコマンド実行時のカレントディレクトリに存在したときにそのhtmlから取得するようにして,相手サーバへのアクセスを減らしました.
  5. languageidを取得できるようにしました.

GADTsを用いた実装

Generalized Algebric Data Typesの事で,一般代数的データ型といいます. [1][2]を参考に実装しています.

-- 自動提出の型.ユーザが可能なアクション.
-- リクエストを受け取ってレスポンスを返す
data SHelper a where
        Login  :: Username -> Password -> SHelper () -- ユーザ名とパスワードを受け取ってログインする.ContestStateのcookieとscrf_tokenの更新.
        QGet   :: V.Vector QName -> Userdir -> SHelper (V.Vector GetResult) -- 問題名を受け取って問題を入手する.ContestStateのQuestionsを更新.
        CGet   :: V.Vector CName -> Userdir -> SHelper (V.Vector GetResult) -- コンテスト名を受け取ってそれに所属する問題のすべてを入手する.
        Test   :: Socket -> Source -> QName -> SHelper ()-- ファイルと問題名を受け取って結果を出力する. 
        Submit :: Source -> QName -> SHelper () -- ファイルと問題名を受け取って提出する.
        Debug  :: Source -> DIn -> SHelper DebugBodyRes -- ファイルと入力を受け取って出力を返す.
        Print  :: SHelper (V.Vector QName) -- ContestStateのQuestionsのすべてを返す.
        Show   :: QName -> SHelper Question -- 問題を受け取ってその問題入出力を返す.
        Result :: CName -> SHelper CResult -- コンテストを受け取ってコンテストの結果を出力する.
        Log    :: SHelper (V.Vector RLog) -- ログの出力
        LangId :: Lang -> SHelper (V.Vector LanguageId) -- data.LanguageIdの表示
        Stop   :: SHelper ()
        Logout :: SHelper ()

このSHelper型を使ってリクエスト用とレスポンス用のデータ型を作ってそれぞれに分けて実装しました.

サーバ側

ソケット通信を管理する関数

runServer :: FilePath -> (Socket -> IO Bool) -> IO ()

リクエストを受け取って評価関数に渡してレスポンスをクライアントに送信する関数

server :: (Socket -> SHelperServerRequest -> SHelperServerResponse) -> Socket -> IO Bool

リクエストを評価を渡してレスポンスを作成する関数

actionSHelper :: MVar Contest -> Socket -> SHelperServerRequest -> SHelperServerResponse

実際にリクエストを評価する関数

evalSHelper :: MVar Contest -> SHelper a -> IO a

に分けられます.この関数のSHelper a型が得にGADTsでAPIを表現したことの利点が生きてきます. 例えば以下のような実装があります.

evalSHelper mvcont (CGet cn (Userdir ud)) = do
 contest <- readMVar mvcont
 (res, quests) <- V.unzip <$> mapM (\x -> getContestInfo x ud contest) cn `catch` \(e :: SHelperException) -> throwIO e
                                                                          `catch` \(e :: SomeException) -> throwIO e
 swapMVar mvcont $ contest {questions = questions contest V.++ (V.filter (/=nullQuestion).V.concat.V.toList) quests}
 return $ (V.concat.V.toList) res

コンテストの名前とクライアントアプリのワーキングディレクトリをサーバが受け取ってその結果(各問題について取得が成功したか,localから拾ってきたかなどの情報)を クライアントに返すようにSHelper a型の定義をしたときにGADTsを用いて規定してそれを evalSHelperという関数をその型に従って実装するように制限できてます. なので実装時に足りなかった場合にはSHelper a型とそのAPIに対応する部分だけを修正すればいいため,機能の修正や追加がとても簡単にできると感じました.

クライアント側

サーバ側と同様で,SHerlper a型はevalSHelper関数の実装を制限しています.

ソケット通信を開始する関数

sendServer :: FilePath -> (Socket -> IO a) -> IO a

リクエストをサーバに送ってレスポンスを受け取る関数

evalSHelper :: SHelper a -> Socket -> IO a

に分けられます.

まとめ

GADTsを用いると実装すべきAPIを型によって決定してそれに基づいて内部実装を考えるという流れができるので,問題を分割しやすくなってくれてうれしく感じました.

参考文献

[1] Generalised Algebraic Data Types (GADTs). https://downloads.haskell.org/~ghc/6.6/docs/html/users_guide/gadt.html.

[2] 逢坂 時響 本間 雅洋 類地 孝介 . Haskell 入門 関数型プログラミング言語の基礎と実践 . 技術評論社 , 2017.

]]>flow_6852Surface Pro 3にlinuxを導入した2020-07-27T00:00:00+00:002020-07-27T00:00:00+00:00https://www.calc.mie.jp/2020/07/27/change-Surface-to-iPad僕はlinux環境に興味を持っています. 論文を読んだりノートを取ったりするために最初はiPadを購入しようと考えていましたが, 僕は持っているほとんどの端末がlinuxとなっているためiPadを購入するよりも 何かしらのタブレットを購入してそこにlinux環境を入れる方がメンテナンスがしやすく, iPadよりも使いこなせるのではと思ってSurfaceにlinuxを入れてiPadのように使うことを目的としました(そしてそれをiPadと呼ぶことにしています). この記事は今後同じようなことをするかもしれないので備忘録として残しておきます.

ハードウェアの購入

僕はSurface Pro 3(本体とタイプ入力カバー)のバルク品が安かったためそれを購入し, 充電器やペンがなかったためサードパーティ製のものを,フィルム合わせて一つずつ追加で購入しました. それぞれ順に.15290円,3580円,5990円,945円です.

linuxのインストール

ArchLinuxを導入しました.(archwiki install guide)

インストール自体はデスクトップ等と変わりなかったのでそこまで苦労しませんでした.

補足

僕の購入したSurface Pro 3は最初からbit lockerとSecure bootがオフになっていたのでそこで苦労はしませんでしたが もし新品を購入した場合はその2つをオフにしないとインストールに失敗する(起動ができないのほうが正しいかもしれない)ので bit lockerとSecure bootをオフにするようにしてください.

その他のアプリケーション(ディスプレイマネージャ等)

主に導入したものは以下の通りです.

(タブレットPCと archwiki Surface Pro 3を参考にしました)

モニタの自動回転について

Linuxで画面＆タッチスクリーンを90度回転を参考に自作のbashスクリプトを作成しました.

#!/bin/bash

while read i ; do
	check=$(echo $i | grep A | awk -F ':' '{print $2}')
	case "$check" in 
		" normal" ) num=0; rot="1 0 0 0 1 0 0 0 1";;
		" right-up" ) num=3; rot="0 1 0 -1 0 1 0 0 1";;
		" left-up" ) num=1; rot="0 -1 1 1 0 0 0 0 1";;
		" bottom-up" ) num=2; rot="-1 0 1 0 -1 1 0 0 1";;
		* ) continue;;
	esac
	xrandr -o $num
	# xsetwacom set stylus Rotate $rot
	while read i; do
		id=${i#*id=}
		xinput set-prop ${id%%[*} 'Coordinate Transformation Matrix' $rot
	done < <(xinput list | grep pointer | grep NTRG)	
done

i3の設定ファイルにexec --no-startup-id monitor-sensor | ${PATH}/rotate.shを追加してあげれば, モニタを傾けた時に自動でディスプレイとタッチスクリーンを変更してくれます.

wi-fi接続に関して

ここまでの設定では特に苦しんだところはありませんでしたが, wi-fiに接続している時に突然繋がらなくなるという問題が発生していました. これはカーネルモジュール(mwifiex_pcie)が省電力モードをデフォルトで行っていることがわかりました. (https://wiki.archlinux.org/index.php/Talk:Microsoft_Surface_Pro_3) (もしかしたらまた突然切れるかもしれない)

]]>flow_68522-week-game-jam2020-06-14T00:00:00+00:002020-06-14T00:00:00+00:00https://www.calc.mie.jp/2020/06/14/2-week-game-jam計算研 2 Week Game Jamみたいなのやろう

開催期間

2020/6/11(木)　〜　2020/6/25(木)　の2週間

目的

  • コンテンツを作って経験をつもう
  • プログラムを書こう
  • なんか作ってみよう
  • コンテンツ作りで発想力を鍛えよう

という大義名分をもとに，軽い気持ちでなんか作ってみましょう

テーマ

基本的には自由．「最近JS勉強したしJSでなんか作るかぁ」「ダイクストラのアルゴリズム面白いし脱出ゲーム考えるかぁ」とかそんな理由で構いません

なんか作りたいけど何も思いつかないそこのあなた！そんなこともあろうかとテーマを用意しました

  • 1P型のゲーム
  • 敵を倒していく
  • スコアを表示する

この要素を持ったゲームづくり

例）

  • まちなかでゾンビを蹴り倒していく
  • シューティング要素を盛り込む(照準やタマ数などの管理)
  • タイピングゲーム(単語そのものが敵だったり，打ち込んだ単語で攻撃したり)

言語・プラットフォームは不問

特にこだわりがなければ Unity/C#がおすすめ

プログラミングがまだできない，かけないっていう人は Unityのチュートリアルや コンソール型(ターミナルで出力するタイプ)の対話型ゲーム(チェスやオセロなど)がおすすめ

とにかく何か一つのものを一人で作ってみようっていうのが今回の一番の目的です

作ったものを発表するとかは特に考えてはいませんがGitやドライブにあげて他の人にやってもらうのは全然ありです．

]]>SKsan新入生の方へ ～計算研究会のご紹介～2020-02-29T00:00:00+00:002020-02-29T00:00:00+00:00https://www.calc.mie.jp/2020/02/29/calc-introduction計算研究会という大層な名前を聞くと、どうしても敷居が高いサークルに思えてしまいます。しかし現実にはコミュニティとしてのとってもゆる～い集まりです。

そこで、計算研究会の活動と雰囲気を正しく知ってもらうためにこのページを作りました。

是非サークルに興味がある方は読んでいただければと思います。

1. なんで「計算研究会」？

この名前ゆえによく次のような勘違いをされます。

「計算研究会ってそろばんか何かをしてるサークルでしょ？」

違います。暗算を習得するそろばんサークルではありません。

“計算”というのはコンピュータを意味する「計算機」や数学理論の「計算理論」などから来ています。例えば三重大学の電気電子工学におけるコンピュータに関する研究室は「計算機工学研究室」です。決して速く暗算をする場所ではありません。

そもそも、計算研究会の源流はパソコン/プログラミング/数学好きの人の集まりとしての「コミュニティ」でした。

そして、「数学」「Linux(パソコン関連)」「競技プログラミング」など、それぞれの趣味をまとめて説明する単語は何かと考えた時に「計算研究会」という名前が誕生したのです。(計算理論など、理論面で計算という言葉は数学的な側面を持っています)

今でも同じような趣味を持つ人々のコミュニティという側面が強いです。

2. 活動内容は？

先程も話したように、基本的には同じ趣味の人が集まったコミュニティなので普段は作業会という形で活動しています。

作業会とは言いますが、これは活動に参加したい人だけが同じ部屋に来て、雑談したり、開発したり、議論したり、ゲームしたり、ボードゲームしたりします。

何をしても良いですし、みんなでまとまってやる必要も無いです。

お祭りのような特別なイベントとして、あまり顔を出さない計算研究会のメンツも集まるものが3つあります。

  • ICPC(大学対抗国際プログラミングコンテスト)　競技プログラミングという分野で、3人1組のチームを組んで参加します。 一大学から複数チームが参加出来るので、普段は来ない人々も集まってワイワイと出場しています。(当然参加は自由です)

  • 学祭コンテンツ制作　毎年私達は学祭にコンテンツを出していて、2019年度はVRゲームを制作しました。Unityを用いて1から作っていきましたが、とても楽しかったですし、とても楽しんでいただけました。(最後はデスマーチと化しましたが……)(これも参加は自由ですし、自分で勝手に作って来て展示しても良いです、それはプロですが)

  • 式年遷宮 これは多くの人が集まるわけではありませんが、今見ているこの計算研究会のホームページを始めとするサービスについて、計算研究会で保有するサーバーを構築し直します。伊勢神宮で20年に一度行われる社などの建て替えになぞらえてこの名前がついています。

3. 活動の強制の具合と、費用は？

集まっている人が数学/情報好きのオタクということもあって、当然朝は弱いですし、みんな強制されたくありません。

なので、ほぼ活動を強制することはありませんし、会費なども今の所ありません。というのも、サーバーの維持に月々1500円くらいかかるのですが、たまに投げ銭をするだけでまかなえているので、強制はしていません。もし余裕があったら投げ銭のときに数百円くらい投げてくれれば嬉しいです。

4. このサークルに入ると何が嬉しいかというと

「先輩や同期が頭良い！」ってなったり、同じ趣味の人と話が合うので楽しいですよ！

また、意識が高い(褒め言葉)人たちとお話が出来ます。(さてここで自分を顧みましょう……)

あと先輩には頭の良い人などが多いので、1を質問すると100を答えてもらえます。

1年生「flowさんー！自然数構成してくださいー！」 3年生「まずですね～」 1年生「ヾ(´∀｀)ﾉｷｬｯｷｬ」 みたいなことが出来ます。(だいぶ誇張しました)

誰かが何か質問すると、数時間そこから生える疑問や教えたいことのお話が続くのでとても楽しい時間を過ごせます。(頭は疲れますが)

また、本当にどうでもいいことについてどうでも良い議論をしたりします。最近では「エモい」を超真面目に考察していました。

多くの人がコンピュータ関連の幅広い知識や高い知的好奇心を持っているので、1年生からここに来ていれば、より多くの「専門」的なことを知ることが出来ます。(私がそうでした)

それに、このサークルでは来る必要もありません。というか毎回作業会に来る人は会員の3割もいない気がします。 しかしそこは情報系サークルです。みんなTwitterでつながっていて、ICPCなどのイベントで顔を合わせたりします。(いつ来ても良いですよ～)

また、それぞれの分野でそれぞれが好きなことをしているので、そのお話を聞くだけで知らなかった世界に触れることができます。例えば、このサークルに入るまで競技プログラミングという世界を知りませんでしたが、初めて見ると楽しいものでした。(まだまだ初心者ですが)

それと、学部1年から院生まで幅広くいるので、いろんな機会で研究室にお邪魔したり出来ます。実はわたしは電気電子工学ですが、情報工学の研究室にお邪魔することの方が数十倍多いです。

サークル内で「こんなサービス作りたいです！」っていうのを考えて、一緒にやりましょうっていう人がいれば色々な分野のことを始められます。

最近ではCTF(Capture the Flag)という情報セキュリティの分野について何人かが始めたりしています。(私も始めましたがまだまだ初心者です)

5. どうやって入ればいいの？

正直これ、わかりません。(サークル自体の存在がふわっとしているので)

正式な「加入」はサークルの名簿届けの時に名簿に記入すればOKです。

っていうか、いつでも、新入生じゃなくても来てください。さっきも言ったように趣味を共通する人のコミュニティなので。

パソコンに詳しくなくても大丈夫ですよ～、ここにいるだけで詳しくなってしまいますから……。

また、活動情報についてはTwitterを確認してください。

今のところ申し訳ないのが、作業会はあくまで作業会なので、やることを持ってきていないと手持ち無沙汰になってしまうかもしれません……。議論が熱くなり数学を教えてもらう会などになっている時は、作業なんてほっぽかしてお話をしていますが。

この「作業することない問題」については計算研でもたびたび議論があり、「みんなで何かをするプロジェクトを稼働させたいね」っていうお話が上がっています。具体的には「みんなでウェブページ作ったりしてみたいね」といった感じです。

2020/04/21 追記 また、2020/04/21現在、新型コロナウイルスの感染拡大を防ぐ意図で、サークルの新歓活動等の中止が通達されていますので、私達から新歓活動を行うことはありません、ごめんね！

感染症を封じ込め、活発的に活動出来るようになった時にきっと勧誘をさせて頂くので、今はじっと家にこもって勉強をしましょう…！

6. 実際に作業会って何してんの？

実際にみんな何をしてのかなっていうのを紹介しておきます。

  • AtCoder(競技プログラミング) 今サークルにおいて一番の勢力を持つ分野がこれです。競技プログラミング、最初は私も名前に圧倒されてしていなかったのですが、これはやってよかったと思っています。「データ構造とアルゴリズム」という情報工学の非常に重要な1分野を体得でき、またプログラミング力がぐっと上がります。強い先輩も多いので、指南を受けられます。

  • Unity(学祭) 学祭になるとだいたいゲーム開発プロジェクトが立ち上がります。複数人でのチーム開発を通じて設計などを学べたらしいです。(院生1年の先輩が設計・開発を主導しました)

  • 数学 定期的にお話しています。数学基礎論に興味がある先輩がいたりしています。

  • CTF (Capture The Flag) 情報セキュリティに関する分野で、どこかに隠されたflag文字列をあの手この手を使って探します。 リアル謎解きゲームや高度ななぞなぞをしている感じです。初心者しかいませんが「たのし～」って言って最近やったりしています。

  • ボードゲームとか遊ぶやつ 具体的にはホワイトボードを使った「リアルお絵かきの森」とか、「ハイパーロボット」とか色々やったりしています。実質計算研ボードゲーム支部かもしれません。(後述) リアルお絵かきの森では、絶対サークル外の友達には伝わらないだろうお題がバンバン飛んできました。難題「乱数調整」は解き切るのに20分くらいかかりました。

  • Linuxで遊ぶ人 Arch Linuxを推す人々がいます。(これは最も基本的で、自分で構成しないといけないLinuxの一つです。) 正直このLinuxを入れて遊んでる人々を楽しそうだなあと尊敬していますが、苦手な分野なので変態(褒め言葉)だなあと思ってみています。

  • 化学 たまにやっています。人が多くはありませんが、詳しい人がいて議論していることがあります。

おまけ、支部って何

計算研究会はコミュニティなのですが、このなかで更に小さい特定の趣味を持つ人の集まりを支部ってよんだりしています。(特に意味はありません) 活動の一部としてご紹介しておきます。

  • 計算研発声支部 むちゃくちゃカラオケがうまい人達がカラオケに行くことです。より高い得点を取るためにたまにカラオケに遊びに行ってるみたいです。(実は私はこの人達のカラオケを聞いたことが無いので聞いてみたいです)

  • 計算研プリパラ支部 オタクサークル計算研にはプリパラというアニメが好きな人が一定数います。この人達がプリパラについて話しているときは実質この支部です。別に特段な活動はしていませんが、なぜかプリパラ支部と呼ばれています。(ある意味研究室で院生の人々がプリパラを見ているのをこう呼んでいるかもしれません)

  • 計算研三頭勉強会支部 「専門書を読むのは辛い、そうだ、人に読ませて教わればいいんだ！」っていう発想のもと、3分野について3人がそれぞれ勉強してきて教え合いましょうという勉強会をやってみました。 「統計用プログラミング言語 R」「群論入門」「有限オートマトン(計算理論)」について完全初心者の3人が勉強してきて、毎週上辺だけですが紹介していました。 来年度もやっていくかは未定ですが、勉強会はしたいなと思っています。

7. どんなひとがやってるのか(2020年度)

計算研究会は往々にして外から見えにくい場所で活動しており、内情が見通しづらいサークルなので、ここでは計算研究会のコミュニティを一部紹介します。

  • 計算研究会公式@calc_mie まずは公式のTwitterです。サークルの情報発信をしています。

  • ふくぶちょー@__DielsAlder__ 2019年度会長、「ふくぶちょー」さんです。 化学徒ですが、数学や競技プログラミングなどを主にされています。

  • さからっしゅ@sakaiine この記事を書いた人です。電気電子工学生ですが、情報と法律に興味がある人です。 関数型言語をかじったり、マイクラのサーバーを建てたり、少しだけ競技プログラミングをしたりしています。気軽に絡んで貰えれば…！

8. どこで活動してるのか

Discord:

  • 2019年学祭のVRゲーム開発のために作成したDiscordサーバーが主な活動場所となっています。

Slack

  • Slackも利用しています。情報工学科のSlackを間借りしているものと、独自で作ったものがあります。近いうちに整理しそうです。というかしたいです。

最後に

今回は「敷居が高い」と敬遠されやすく、誤解の生みやすい計算研究会の活動を紹介しました！

私達の活動に、少しでも興味や関心を持っていただければ幸いです。

勧誘についてですが、新型コロナウイルスが収束し、活動が出来るようになれば私達”らしい”勧誘イベントをするかもしれません。しないかもしれません。(怠惰ですごめんなさい)

活動については計算研究会のツイッターで紹介しますので、是非ご確認ください～。

新型コロナウイルスが怖い所ですが、幸い私達の分野は家である程度勉強が出来そうです、一緒に「#STAY HOME」で精進をしていきましょう！

]]>sakarushICPC2019に出場しました2019-07-23T00:00:00+00:002019-07-23T00:00:00+00:00https://www.calc.mie.jp/2019/07/23/icpc20192019年7月12日に<a href=https://icpc.iisf.or.jp/>ICPC(国際大学対抗プログラミングコンテスト)</a>に出場しました。

unlimited nya-nがアジア大会に出場します!<a href=http://www.info.mie-u.ac.jp/news/2019-1.html>三重大学の記事</a>

]]>管理者calc-tweetの使い方2019-05-17T00:00:00+00:002019-05-17T00:00:00+00:00https://www.calc.mie.jp/2019/05/17/calc-tweet-guide計算研究会の連絡は主にslackとtwitterで行われています.これらの連携やcalc-webの投稿を二つのSNSに連絡,告知するアプリを作成しました.使用言語はHaskellです.

ソースコード

twitterのcalc_mieというアカウントにDMで以下のコマンドを送ります.ただし権限が必要です(権限の付与については後述).

連絡内容をセットする

入力形式
 $notice 「連絡したい内容」

[連絡]「連絡したい内容」という文字列がメッセージの先頭に配置されます.

日付,時間,場所をセットする

入力形式
 $date [-(数字)] 「日付」
 $time [-(数字)] 「時間」
 $locale [-(数字)] 「場所」

第一引数の数字の一致するもので「日付」 「時間」＠.「場所」という文字列が配置されます. 入力されない場合は空白になり,場所の後に空白が入ります. [-(数字)]がない場合は1とされます. 入力が重複された場合は最新のデータを採用します(入力例を参照してください).

また,日付と時間がセットされた場合,一番早く始まる時間にtwitter側で一時間前にリツイートされます.

連絡内容をPOSTする

入力形式
 $post

セットした文字列をtwitterとslackにpostします.$noticeをしていないとpostされません.

今までの入力をリセットする

入力形式
 $clear

セットした文字列を一からの状態に戻します.

calc-webの更新の通知をPOSTする

入力形式
 $post-calc-web

calc-webを投稿して完成したらこれを送ってください(もしくは権限を持っている人にお願いしてください).

利用権限を渡す

入力形式
 $useradd 「アカウント(twitterのid)」

引数にしたアカウントに使用権限を与えます.

プレビューをDMに出力する

入力形式
 $print

$postしたときにどのような出力になるかをDMで確認できます.

入力例

$notice post test
$date 5/15(水)
$notice これはテストです.
$time 10:30~11:30
$locale 電算
$time -2 10:40
$locale -3 電算
$date -2 5/16(木)
$date 5/16(木)
$post

出力例

[連絡]
これはテストです.
5/15(木) 10:30~11:30 ＠.電算
5/16(木) 10:40
 ＠.電算

つくってみて

つらかった. 先人の知恵をたくさん借りて作成したので与えられる側になれたらいいなぁと思います.

参考文献

]]>flow_6852