Hokkaido Seminars on Special Functions：Congruence relations and transformation formulas of p-adic hypergeometric functions（王 崇亘）