2012年度

活動報告

• 第11回関数型および論理型プログラミングに関する国際シンポジウム (FLOPS 2012)
• Maple16講習会
• 神戸大学　情報基盤センターシンポジウム2012